runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14960 MiB free)
memory of node 1: 16384 MiB (15244 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281758-1503150237/watcher-4281758-1503150237 -o /tmp/evaluation-result-4281758-1503150237/solver-4281758-1503150237 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503095799-28950 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1756231640 HOME/instance-4281758-1503150237.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5902, runsolver pid=5899
[startup+0.100084 s]*
/proc/loadavg: 1.45 1.49 1.53 3/197 5904
/proc/meminfo: memFree=30930720/32770624 swapFree=67108860/67108860
[pid=5902] ppid=5899 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5902/stat : 5902 (xcsp3-exec) S 5899 5902 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117216731 9740288 345 18446744073709551615 4194304 5098028 140736995729376 140736995727480 140339569619580 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 17817600 140736995733880 140736995734085 140736995734085 140736995737579 0
/proc/5902/statm: 2378 345 289 221 0 87 0
[pid=5904] ppid=5902 vsize=11642956 memory=8044 CPUtime=0 cores=0,2,4,6
/proc/5904/stat : 5904 (java) S 5902 5902 28892 0 -1 1077944320 1776 0 0 0 0 0 0 0 20 0 2 0 117216741 11922386944 2011 18446744073709551615 4194304 4196468 140729044742384 140729044724928 140104105737975 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
/proc/5904/statm: 2910739 2011 1142 1 0 2900709 0
[pid=5904/tid=5905] ppid=5902 vsize=13355668 memory=1404226546252096138 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5905/stat : 5905 (java) R 5902 5902 28892 0 -1 4202560 1002 0 0 0 0 0 0 0 20 0 6 0 117216741 13676204032 2468 18446744073709551615 4194304 4196468 140729044742384 140104109979752 140104091818951 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5906] ppid=5902 vsize=13355668 memory=4122819170707441977 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5906/stat : 5906 (java) S 5902 5902 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 117216742 13676204032 2468 18446744073709551615 4194304 4196468 140729044742384 140104062704784 140104105748181 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5907] ppid=5902 vsize=13356504 memory=140590025799296 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5907/stat : 5907 (java) S 5902 5902 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 117216742 13677060096 2468 18446744073709551615 4194304 4196468 140729044742384 140104061651984 140104105748181 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5908] ppid=5902 vsize=13356504 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5908/stat : 5908 (java) S 5902 5902 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 117216742 13677060096 2533 18446744073709551615 4194304 4196468 140729044742384 140104060599184 140104105748181 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5909] ppid=5902 vsize=13356504 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5909/stat : 5909 (java) S 5902 5902 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 117216742 13677060096 2533 18446744073709551615 4194304 4196468 140729044742384 140104059546384 140104105748181 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 11652468 KiB
Current children cumulated memory: 9424 KiB
[startup+0.209868 s]*
/proc/loadavg: 1.45 1.49 1.53 4/211 5918
/proc/meminfo: memFree=30918400/32770624 swapFree=67108860/67108860
[pid=5902] ppid=5899 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5902/stat : 5902 (xcsp3-exec) S 5899 5902 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117216731 9740288 345 18446744073709551615 4194304 5098028 140736995729376 140736995727480 140339569619580 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 17817600 140736995733880 140736995734085 140736995734085 140736995737579 0
/proc/5902/statm: 2378 345 289 221 0 87 0
[pid=5904] ppid=5902 vsize=13974352 memory=23188 CPUtime=0.06 cores=0,2,4,6
/proc/5904/stat : 5904 (java) S 5902 5902 28892 0 -1 1077944320 5259 0 0 0 6 0 0 0 20 0 15 0 117216741 14309736448 5797 18446744073709551615 4194304 4196468 140729044742384 140729044724928 140104105737975 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
/proc/5904/statm: 3493588 5797 2700 1 0 3482964 0
[pid=5904/tid=5905] ppid=5902 vsize=13974352 memory=7022364594140610616 CPUtime=0.05 cores=0,2,4,6
/proc/5904/task/5905/stat : 5905 (java) R 5902 5902 28892 0 -1 4202560 3431 0 0 0 5 0 0 0 20 0 15 0 117216741 14309736448 5863 18446744073709551615 4194304 4196468 140729044742384 140104109963664 140104091806094 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5906] ppid=5902 vsize=13974352 memory=4294981025 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5906/stat : 5906 (java) S 5902 5902 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117216742 14309736448 5863 18446744073709551615 4194304 4196468 140729044742384 140104062704784 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5907] ppid=5902 vsize=13974352 memory=140590025862839 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5907/stat : 5907 (java) S 5902 5902 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117216742 14309736448 5863 18446744073709551615 4194304 4196468 140729044742384 140104061651984 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5908] ppid=5902 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5908/stat : 5908 (java) S 5902 5902 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117216742 14309736448 5863 18446744073709551615 4194304 4196468 140729044742384 140104060599184 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5909] ppid=5902 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5909/stat : 5909 (java) S 5902 5902 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117216742 14309736448 5863 18446744073709551615 4194304 4196468 140729044742384 140104059546384 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5910] ppid=5902 vsize=13974352 memory=140590025799296 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5910/stat : 5910 (java) S 5902 5902 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117216743 14309736448 5863 18446744073709551615 4194304 4196468 140729044742384 140103651207536 140104105749122 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5911] ppid=5902 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5911/stat : 5911 (java) S 5902 5902 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117216743 14309736448 5863 18446744073709551615 4194304 4196468 140729044742384 140103650153504 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5912] ppid=5902 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5912/stat : 5912 (java) S 5902 5902 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117216744 14309736448 5863 18446744073709551615 4194304 4196468 140729044742384 140103649100656 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5913] ppid=5902 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5913/stat : 5913 (java) S 5902 5902 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117216746 14309736448 5863 18446744073709551615 4194304 4196468 140729044742384 140103648048976 140104105756571 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5914] ppid=5902 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5914/stat : 5914 (java) S 5902 5902 28892 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 117216746 14309736448 5863 18446744073709551615 4194304 4196468 140729044742384 140103646997360 140104105749122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5915] ppid=5902 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5915/stat : 5915 (java) S 5902 5902 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117216746 14309736448 5863 18446744073709551615 4194304 4196468 140729044742384 140103578020592 140104105749122 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5916] ppid=5902 vsize=13974352 memory=140590025799296 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5916/stat : 5916 (java) S 5902 5902 28892 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 15 0 117216746 14309736448 5863 18446744073709551615 4194304 4196468 140729044742384 140103576967792 140104105749122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5917] ppid=5902 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5917/stat : 5917 (java) S 5902 5902 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117216746 14309736448 5863 18446744073709551615 4194304 4196468 140729044742384 140103575915232 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5918] ppid=5902 vsize=13974352 memory=140590025799296 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5918/stat : 5918 (java) S 5902 5902 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117216751 14309736448 5863 18446744073709551615 4194304 4196468 140729044742384 140103574862512 140104105749122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24568 KiB
[startup+0.310115 s]*
/proc/loadavg: 1.45 1.49 1.53 4/211 5918
/proc/meminfo: memFree=30903540/32770624 swapFree=67108860/67108860
[pid=5902] ppid=5899 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5902/stat : 5902 (xcsp3-exec) S 5899 5902 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117216731 9740288 345 18446744073709551615 4194304 5098028 140736995729376 140736995727480 140339569619580 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 17817600 140736995733880 140736995734085 140736995734085 140736995737579 0
/proc/5902/statm: 2378 345 289 221 0 87 0
[pid=5904] ppid=5902 vsize=13974352 memory=36756 CPUtime=0.25 cores=0,2,4,6
/proc/5904/stat : 5904 (java) S 5902 5902 28892 0 -1 1077944320 8769 0 0 0 23 2 0 0 20 0 15 0 117216741 14309736448 9189 18446744073709551615 4194304 4196468 140729044742384 140729044724928 140104105737975 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
/proc/5904/statm: 3493588 9189 2966 1 0 3482964 0
[pid=5904/tid=5905] ppid=5902 vsize=13974352 memory=6933928925625698159 CPUtime=0.15 cores=0,2,4,6
/proc/5904/task/5905/stat : 5905 (java) R 5902 5902 28892 0 -1 4202560 6110 0 0 0 14 1 0 0 20 0 15 0 117216741 14309736448 9189 18446744073709551615 4194304 4196468 140729044742384 140104109954304 140104089818462 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5906] ppid=5902 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5906/stat : 5906 (java) S 5902 5902 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117216742 14309736448 9189 18446744073709551615 4194304 4196468 140729044742384 140104062704784 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5907] ppid=5902 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5907/stat : 5907 (java) S 5902 5902 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117216742 14309736448 9189 18446744073709551615 4194304 4196468 140729044742384 140104061651984 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5908] ppid=5902 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5908/stat : 5908 (java) S 5902 5902 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117216742 14309736448 9189 18446744073709551615 4194304 4196468 140729044742384 140104060599184 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5909] ppid=5902 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5909/stat : 5909 (java) S 5902 5902 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117216742 14309736448 9189 18446744073709551615 4194304 4196468 140729044742384 140104059546384 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5910] ppid=5902 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5910/stat : 5910 (java) S 5902 5902 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117216743 14309736448 9189 18446744073709551615 4194304 4196468 140729044742384 140103651207536 140104105749122 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5911] ppid=5902 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5911/stat : 5911 (java) S 5902 5902 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117216743 14309736448 9189 18446744073709551615 4194304 4196468 140729044742384 140103650153504 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5912] ppid=5902 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5912/stat : 5912 (java) S 5902 5902 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117216744 14309736448 9189 18446744073709551615 4194304 4196468 140729044742384 140103649100656 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5913] ppid=5902 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5913/stat : 5913 (java) S 5902 5902 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117216746 14309736448 9189 18446744073709551615 4194304 4196468 140729044742384 140103648048976 140104105756571 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5914] ppid=5902 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5904/task/5914/stat : 5914 (java) S 5902 5902 28892 0 -1 1077944384 303 0 0 0 1 0 0 0 20 0 15 0 117216746 14309736448 9189 18446744073709551615 4194304 4196468 140729044742384 140103646997360 140104105749122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5915] ppid=5902 vsize=13974352 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5904/task/5915/stat : 5915 (java) S 5902 5902 28892 0 -1 1077944384 380 0 0 0 2 0 0 0 20 0 15 0 117216746 14309736448 9189 18446744073709551615 4194304 4196468 140729044742384 140103578020592 140104105749122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5916] ppid=5902 vsize=13974352 memory=140590025799296 CPUtime=0.05 cores=0,2,4,6
/proc/5904/task/5916/stat : 5916 (java) S 5902 5902 28892 0 -1 1077944384 679 0 0 0 5 0 0 0 20 0 15 0 117216746 14309736448 9189 18446744073709551615 4194304 4196468 140729044742384 140103576967792 140104105749122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5917] ppid=5902 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5917/stat : 5917 (java) S 5902 5902 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117216746 14309736448 9189 18446744073709551615 4194304 4196468 140729044742384 140103575915232 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5918] ppid=5902 vsize=13974352 memory=140590025799296 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5918/stat : 5918 (java) S 5902 5902 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117216751 14309736448 9189 18446744073709551615 4194304 4196468 140729044742384 140103574862512 140104105749122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38136 KiB
[startup+0.701068 s]
/proc/loadavg: 1.45 1.49 1.53 3/211 5918
/proc/meminfo: memFree=30895128/32770624 swapFree=67108860/67108860
[pid=5902] ppid=5899 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5902/stat : 5902 (xcsp3-exec) S 5899 5902 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117216731 9740288 345 18446744073709551615 4194304 5098028 140736995729376 140736995727480 140339569619580 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 17817600 140736995733880 140736995734085 140736995734085 140736995737579 0
/proc/5902/statm: 2378 345 289 221 0 87 0
[pid=5904] ppid=5902 vsize=13978684 memory=77208 CPUtime=1.22 cores=0,2,4,6
/proc/5904/stat : 5904 (java) S 5902 5902 28892 0 -1 1077944320 12991 0 0 0 118 4 0 0 20 0 15 0 117216741 14314172416 19302 18446744073709551615 4194304 4196468 140729044742384 140729044724928 140104105737975 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
/proc/5904/statm: 3494671 19302 3162 1 0 3482964 0
[pid=5904/tid=5905] ppid=5902 vsize=13978684 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/5904/task/5905/stat : 5905 (java) R 5902 5902 28892 0 -1 4202560 7986 0 0 0 51 2 0 0 20 0 15 0 117216741 14314172416 19302 18446744073709551615 4194304 4196468 140729044742384 140104109975264 140103732316236 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5906] ppid=5902 vsize=13978684 memory=40 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5906/stat : 5906 (java) S 5902 5902 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117216742 14314172416 19302 18446744073709551615 4194304 4196468 140729044742384 140104062704784 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5907] ppid=5902 vsize=13978684 memory=754 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5907/stat : 5907 (java) S 5902 5902 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117216742 14314172416 19302 18446744073709551615 4194304 4196468 140729044742384 140104061651984 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5908] ppid=5902 vsize=13978684 memory=439 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5908/stat : 5908 (java) S 5902 5902 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117216742 14314172416 19302 18446744073709551615 4194304 4196468 140729044742384 140104060599184 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5909] ppid=5902 vsize=13978684 memory=3998 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5909/stat : 5909 (java) S 5902 5902 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117216742 14314172416 19302 18446744073709551615 4194304 4196468 140729044742384 140104059546384 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5910] ppid=5902 vsize=13978684 memory=281179832065512 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5910/stat : 5910 (java) S 5902 5902 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117216743 14314172416 19302 18446744073709551615 4194304 4196468 140729044742384 140103651207536 140104105749122 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5911] ppid=5902 vsize=13978684 memory=281179832172432 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5911/stat : 5911 (java) S 5902 5902 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117216743 14314172416 19302 18446744073709551615 4194304 4196468 140729044742384 140103650153504 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5912] ppid=5902 vsize=13978684 memory=4596 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5912/stat : 5912 (java) S 5902 5902 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117216744 14314172416 19302 18446744073709551615 4194304 4196468 140729044742384 140103649100656 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5913] ppid=5902 vsize=13978684 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5913/stat : 5913 (java) S 5902 5902 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117216746 14314172416 19302 18446744073709551615 4194304 4196468 140729044742384 140103648048976 140104105756571 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5914] ppid=5902 vsize=13978684 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/5904/task/5914/stat : 5914 (java) R 5902 5902 28892 0 -1 4202560 1011 0 0 0 20 0 0 0 20 0 15 0 117216746 14314172416 19302 18446744073709551615 4194304 4196468 140729044742384 140103646983824 140104086373859 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5915] ppid=5902 vsize=13978684 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/5904/task/5915/stat : 5915 (java) R 5902 5902 28892 0 -1 4202560 1211 0 0 0 20 0 0 0 20 0 15 0 117216746 14314172416 19302 18446744073709551615 4194304 4196468 140729044742384 140103577998128 140104087282464 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5916] ppid=5902 vsize=13978684 memory=8708 CPUtime=0.24 cores=0,2,4,6
/proc/5904/task/5916/stat : 5916 (java) S 5902 5902 28892 0 -1 1077944384 1476 0 0 0 24 0 0 0 20 0 15 0 117216746 14314172416 19302 18446744073709551615 4194304 4196468 140729044742384 140103576967792 140104105749122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5917] ppid=5902 vsize=13978684 memory=-1891255765032775953 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5917/stat : 5917 (java) S 5902 5902 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117216746 14314172416 19302 18446744073709551615 4194304 4196468 140729044742384 140103575915232 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5918] ppid=5902 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5918/stat : 5918 (java) S 5902 5902 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117216751 14314172416 19302 18446744073709551615 4194304 4196468 140729044742384 140103574862512 140104105749122 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 78588 KiB
[startup+1.50086 s]
/proc/loadavg: 1.45 1.49 1.53 4/211 5918
/proc/meminfo: memFree=30852812/32770624 swapFree=67108860/67108860
[pid=5902] ppid=5899 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5902/stat : 5902 (xcsp3-exec) S 5899 5902 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117216731 9740288 345 18446744073709551615 4194304 5098028 140736995729376 140736995727480 140339569619580 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 17817600 140736995733880 140736995734085 140736995734085 140736995737579 0
/proc/5902/statm: 2378 345 289 221 0 87 0
[pid=5904] ppid=5902 vsize=13980732 memory=93188 CPUtime=2.73 cores=0,2,4,6
/proc/5904/stat : 5904 (java) S 5902 5902 28892 0 -1 1077944320 17109 0 0 0 268 5 0 0 20 0 15 0 117216741 14316269568 23297 18446744073709551615 4194304 4196468 140729044742384 140729044724928 140104105737975 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
/proc/5904/statm: 3495183 23297 3175 1 0 3483476 0
[pid=5904/tid=5905] ppid=5902 vsize=13980732 memory=165990352594995 CPUtime=1.33 cores=0,2,4,6
/proc/5904/task/5905/stat : 5905 (java) R 5902 5902 28892 0 -1 4202560 8988 0 0 0 130 3 0 0 20 0 15 0 117216741 14316269568 23297 18446744073709551615 4194304 4196468 140729044742384 140104109972608 140103733043370 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5906] ppid=5902 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5906/stat : 5906 (java) S 5902 5902 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117216742 14316269568 23297 18446744073709551615 4194304 4196468 140729044742384 140104062704784 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5907] ppid=5902 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5907/stat : 5907 (java) S 5902 5902 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117216742 14316269568 23297 18446744073709551615 4194304 4196468 140729044742384 140104061651984 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5908] ppid=5902 vsize=13980732 memory=3546949985758163559 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5908/stat : 5908 (java) S 5902 5902 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117216742 14316269568 23297 18446744073709551615 4194304 4196468 140729044742384 140104060599184 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5909] ppid=5902 vsize=13980732 memory=281179831995120 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5909/stat : 5909 (java) S 5902 5902 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117216742 14316269568 23297 18446744073709551615 4194304 4196468 140729044742384 140104059546384 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5910] ppid=5902 vsize=13980732 memory=281179831995184 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5910/stat : 5910 (java) S 5902 5902 28892 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 15 0 117216743 14316269568 23297 18446744073709551615 4194304 4196468 140729044742384 140103651207536 140104105749122 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5911] ppid=5902 vsize=13980732 memory=40 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5911/stat : 5911 (java) S 5902 5902 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117216743 14316269568 23297 18446744073709551615 4194304 4196468 140729044742384 140103650153504 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5912] ppid=5902 vsize=13980732 memory=754 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/5904/task/5912/stat : 5912 (java) S 5902 5902 28892 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 117216744 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103649100656 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5913] ppid=5902 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5913/stat : 5913 (java) S 5902 5902 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117216746 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103648048976 140104105756571 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5914] ppid=5902 vsize=13980732 memory=1380 CPUtime=2.09 cores=0,2,4,6
/proc/5904/task/5914/stat : 5914 (java) S 5902 5902 28892 0 -1 1077944384 17451 0 0 0 207 2 0 0 20 0 15 0 117216746 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103646997360 140104105749122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5915] ppid=5902 vsize=13980732 memory=1380 CPUtime=2.19 cores=0,2,4,6
/proc/5904/task/5915/stat : 5915 (java) S 5902 5902 28892 0 -1 1077944384 16075 0 0 0 217 2 0 0 20 0 15 0 117216746 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103578020592 140104105749122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5916] ppid=5902 vsize=13980732 memory=225288 CPUtime=0.53 cores=0,2,4,6
/proc/5904/task/5916/stat : 5916 (java) S 5902 5902 28892 0 -1 1077944384 7848 0 0 0 51 2 0 0 20 0 15 0 117216746 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103576967792 140104105749122 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5917] ppid=5902 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5917/stat : 5917 (java) S 5902 5902 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117216746 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103575915232 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5918] ppid=5902 vsize=13980732 memory=225288 CPUtime=0.71 cores=0,2,4,6
/proc/5904/task/5918/stat : 5918 (java) S 5902 5902 28892 0 -1 1077944384 1816 0 0 0 31 40 0 0 20 0 15 0 117216751 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103574862512 140104105749122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
Current children cumulated CPU time: 2447.59 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 226668 KiB
[startup+2502.3 s]
/proc/loadavg: 1.83 1.75 1.78 3/215 6204
/proc/meminfo: memFree=30178344/32770624 swapFree=67108860/67108860
[pid=5902] ppid=5899 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5902/stat : 5902 (xcsp3-exec) S 5899 5902 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117216731 9740288 345 18446744073709551615 4194304 5098028 140736995729376 140736995727480 140339569619580 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 17817600 140736995733880 140736995734085 140736995734085 140736995737579 0
/proc/5902/statm: 2378 345 289 221 0 87 0
[pid=5904] ppid=5902 vsize=13980732 memory=225288 CPUtime=2507.6 cores=0,2,4,6
/proc/5904/stat : 5904 (java) S 5902 5902 28892 0 -1 1077944320 69771 0 0 0 250722 38 0 0 20 0 15 0 117216741 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140729044724928 140104105737975 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
/proc/5904/statm: 3495183 56322 3215 1 0 3483476 0
[pid=5904/tid=5905] ppid=5902 vsize=13980732 memory=225288 CPUtime=2501.88 cores=0,2,4,6
/proc/5904/task/5905/stat : 5905 (java) R 5902 5902 28892 0 -1 4202560 20986 0 0 0 250183 5 0 0 20 0 15 0 117216741 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140104109976664 140103733043433 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5906] ppid=5902 vsize=13980732 memory=225288 CPUtime=0.01 cores=0,2,4,6
/proc/5904/task/5906/stat : 5906 (java) S 5902 5902 28892 0 -1 1077944384 682 0 0 0 1 0 0 0 20 0 15 0 117216742 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140104062704784 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5907] ppid=5902 vsize=13980732 memory=225288 CPUtime=0.01 cores=0,2,4,6
/proc/5904/task/5907/stat : 5907 (java) S 5902 5902 28892 0 -1 1077944384 381 0 0 0 1 0 0 0 20 0 15 0 117216742 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140104061651984 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5908] ppid=5902 vsize=13980732 memory=225288 CPUtime=0.01 cores=0,2,4,6
/proc/5904/task/5908/stat : 5908 (java) S 5902 5902 28892 0 -1 1077944384 752 0 0 0 1 0 0 0 20 0 15 0 117216742 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140104060599184 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5909] ppid=5902 vsize=13980732 memory=7680170660397595203 CPUtime=0.01 cores=0,2,4,6
/proc/5904/task/5909/stat : 5909 (java) S 5902 5902 28892 0 -1 1077944384 518 0 0 0 1 0 0 0 20 0 15 0 117216742 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140104059546384 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5910] ppid=5902 vsize=13980732 memory=1296 CPUtime=0.04 cores=0,2,4,6
/proc/5904/task/5910/stat : 5910 (java) S 5902 5902 28892 0 -1 1077944384 1873 0 0 0 3 1 0 0 20 0 15 0 117216743 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103651207536 140104105749122 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5911] ppid=5902 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5911/stat : 5911 (java) S 5902 5902 28892 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 117216743 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103650153504 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5912] ppid=5902 vsize=13980732 memory=225288 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5912/stat : 5912 (java) S 5902 5902 28892 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 117216744 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103649100656 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5913] ppid=5902 vsize=13980732 memory=225288 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5913/stat : 5913 (java) S 5902 5902 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117216746 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103648048976 140104105756571 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5914] ppid=5902 vsize=13980732 memory=1380 CPUtime=2.09 cores=0,2,4,6
/proc/5904/task/5914/stat : 5914 (java) S 5902 5902 28892 0 -1 1077944384 17454 0 0 0 207 2 0 0 20 0 15 0 117216746 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103646997360 140104105749122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5915] ppid=5902 vsize=13980732 memory=1380 CPUtime=2.19 cores=0,2,4,6
/proc/5904/task/5915/stat : 5915 (java) S 5902 5902 28892 0 -1 1077944384 16077 0 0 0 217 2 0 0 20 0 15 0 117216746 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103578020592 140104105749122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5916] ppid=5902 vsize=13980732 memory=225288 CPUtime=0.53 cores=0,2,4,6
/proc/5904/task/5916/stat : 5916 (java) S 5902 5902 28892 0 -1 1077944384 7850 0 0 0 51 2 0 0 20 0 15 0 117216746 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103576967792 140104105749122 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5917] ppid=5902 vsize=13980732 memory=225288 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5917/stat : 5917 (java) S 5902 5902 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117216746 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103575915232 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5918] ppid=5902 vsize=13980732 memory=1380 CPUtime=0.72 cores=0,2,4,6
/proc/5904/task/5918/stat : 5918 (java) S 5902 5902 28892 0 -1 1077944384 1848 0 0 0 32 40 0 0 20 0 15 0 117216751 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103574862512 140104105749122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
Current children cumulated CPU time: 2507.6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 226668 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2514.7 s]
/proc/loadavg: 1.79 1.74 1.78 3/215 6204
/proc/meminfo: memFree=30178344/32770624 swapFree=67108860/67108860
[pid=5902] ppid=5899 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5902/stat : 5902 (xcsp3-exec) S 5899 5902 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117216731 9740288 345 18446744073709551615 4194304 5098028 140736995729376 140736995727480 140339569619580 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 17817600 140736995733880 140736995734085 140736995734085 140736995737579 0
/proc/5902/statm: 2378 345 289 221 0 87 0
[pid=5904] ppid=5902 vsize=13980732 memory=225288 CPUtime=2520 cores=0,2,4,6
/proc/5904/stat : 5904 (java) S 5902 5902 28892 0 -1 1077944320 69776 0 0 0 251962 38 0 0 20 0 15 0 117216741 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140729044724928 140104105737975 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
/proc/5904/statm: 3495183 56322 3215 1 0 3483476 0
[pid=5904/tid=5905] ppid=5902 vsize=13980732 memory=225288 CPUtime=2514.28 cores=0,2,4,6
/proc/5904/task/5905/stat : 5905 (java) R 5902 5902 28892 0 -1 4202560 20991 0 0 0 251423 5 0 0 20 0 15 0 117216741 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140104109976664 140103733043930 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5906] ppid=5902 vsize=13980732 memory=225288 CPUtime=0.01 cores=0,2,4,6
/proc/5904/task/5906/stat : 5906 (java) S 5902 5902 28892 0 -1 1077944384 682 0 0 0 1 0 0 0 20 0 15 0 117216742 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140104062704784 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5907] ppid=5902 vsize=13980732 memory=225288 CPUtime=0.01 cores=0,2,4,6
/proc/5904/task/5907/stat : 5907 (java) S 5902 5902 28892 0 -1 1077944384 381 0 0 0 1 0 0 0 20 0 15 0 117216742 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140104061651984 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5908] ppid=5902 vsize=13980732 memory=225288 CPUtime=0.01 cores=0,2,4,6
/proc/5904/task/5908/stat : 5908 (java) S 5902 5902 28892 0 -1 1077944384 752 0 0 0 1 0 0 0 20 0 15 0 117216742 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140104060599184 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5909] ppid=5902 vsize=13980732 memory=225288 CPUtime=0.01 cores=0,2,4,6
/proc/5904/task/5909/stat : 5909 (java) S 5902 5902 28892 0 -1 1077944384 518 0 0 0 1 0 0 0 20 0 15 0 117216742 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140104059546384 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5910] ppid=5902 vsize=13980732 memory=225288 CPUtime=0.04 cores=0,2,4,6
/proc/5904/task/5910/stat : 5910 (java) S 5902 5902 28892 0 -1 1077944384 1873 0 0 0 3 1 0 0 20 0 15 0 117216743 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103651207536 140104105749122 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5911] ppid=5902 vsize=13980732 memory=225288 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5911/stat : 5911 (java) S 5902 5902 28892 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 117216743 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103650153504 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5912] ppid=5902 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5912/stat : 5912 (java) S 5902 5902 28892 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 117216744 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103649100656 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5913] ppid=5902 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5913/stat : 5913 (java) S 5902 5902 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117216746 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103648048976 140104105756571 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5914] ppid=5902 vsize=13980732 memory=225288 CPUtime=2.09 cores=0,2,4,6
/proc/5904/task/5914/stat : 5914 (java) S 5902 5902 28892 0 -1 1077944384 17454 0 0 0 207 2 0 0 20 0 15 0 117216746 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103646997360 140104105749122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5915] ppid=5902 vsize=13980732 memory=225288 CPUtime=2.19 cores=0,2,4,6
/proc/5904/task/5915/stat : 5915 (java) S 5902 5902 28892 0 -1 1077944384 16077 0 0 0 217 2 0 0 20 0 15 0 117216746 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103578020592 140104105749122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5916] ppid=5902 vsize=13980732 memory=4 CPUtime=0.53 cores=0,2,4,6
/proc/5904/task/5916/stat : 5916 (java) S 5902 5902 28892 0 -1 1077944384 7850 0 0 0 51 2 0 0 20 0 15 0 117216746 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103576967792 140104105749122 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5917] ppid=5902 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5917/stat : 5917 (java) S 5902 5902 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117216746 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103575915232 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5918] ppid=5902 vsize=13980732 memory=739944 CPUtime=0.73 cores=0,2,4,6
/proc/5904/task/5918/stat : 5918 (java) S 5902 5902 28892 0 -1 1077944384 1848 0 0 0 32 41 0 0 20 0 15 0 117216751 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103574862512 140104105749122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 226668 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2514.71 s]
# the end of solver process 5902 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000922 s, system=0.000922 s
[startup+2514.72 s]
# the end of solver process 5904 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.65 s, system=0.391967 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2514.7 s]
/proc/loadavg: 1.79 1.74 1.78 3/215 6204
/proc/meminfo: memFree=30178344/32770624 swapFree=67108860/67108860
[pid=5902] ppid=5899 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5902/stat : 5902 (xcsp3-exec) S 5899 5902 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117216731 9740288 345 18446744073709551615 4194304 5098028 140736995729376 140736995727480 140339569619580 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 17817600 140736995733880 140736995734085 140736995734085 140736995737579 0
/proc/5902/statm: 2378 345 289 221 0 87 0
[pid=5904] ppid=5902 vsize=13980732 memory=225288 CPUtime=2520 cores=0,2,4,6
/proc/5904/stat : 5904 (java) S 5902 5902 28892 0 -1 1077944320 69776 0 0 0 251962 38 0 0 20 0 15 0 117216741 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140729044724928 140104105737975 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
/proc/5904/statm: 3495183 56322 3215 1 0 3483476 0
[pid=5904/tid=5905] ppid=5902 vsize=13980732 memory=225288 CPUtime=2514.28 cores=0,2,4,6
/proc/5904/task/5905/stat : 5905 (java) R 5902 5902 28892 0 -1 4202560 20991 0 0 0 251423 5 0 0 20 0 15 0 117216741 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140104109976664 140103733043930 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5906] ppid=5902 vsize=13980732 memory=225288 CPUtime=0.01 cores=0,2,4,6
/proc/5904/task/5906/stat : 5906 (java) S 5902 5902 28892 0 -1 1077944384 682 0 0 0 1 0 0 0 20 0 15 0 117216742 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140104062704784 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5907] ppid=5902 vsize=13980732 memory=225288 CPUtime=0.01 cores=0,2,4,6
/proc/5904/task/5907/stat : 5907 (java) S 5902 5902 28892 0 -1 1077944384 381 0 0 0 1 0 0 0 20 0 15 0 117216742 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140104061651984 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5908] ppid=5902 vsize=13980732 memory=225288 CPUtime=0.01 cores=0,2,4,6
/proc/5904/task/5908/stat : 5908 (java) S 5902 5902 28892 0 -1 1077944384 752 0 0 0 1 0 0 0 20 0 15 0 117216742 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140104060599184 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5909] ppid=5902 vsize=13980732 memory=225288 CPUtime=0.01 cores=0,2,4,6
/proc/5904/task/5909/stat : 5909 (java) S 5902 5902 28892 0 -1 1077944384 518 0 0 0 1 0 0 0 20 0 15 0 117216742 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140104059546384 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5910] ppid=5902 vsize=13980732 memory=225288 CPUtime=0.04 cores=0,2,4,6
/proc/5904/task/5910/stat : 5910 (java) S 5902 5902 28892 0 -1 1077944384 1873 0 0 0 3 1 0 0 20 0 15 0 117216743 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103651207536 140104105749122 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5911] ppid=5902 vsize=13980732 memory=225288 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5911/stat : 5911 (java) S 5902 5902 28892 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 117216743 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103650153504 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5912] ppid=5902 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5912/stat : 5912 (java) S 5902 5902 28892 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 117216744 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103649100656 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5913] ppid=5902 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5913/stat : 5913 (java) S 5902 5902 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117216746 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103648048976 140104105756571 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5914] ppid=5902 vsize=13980732 memory=225288 CPUtime=2.09 cores=0,2,4,6
/proc/5904/task/5914/stat : 5914 (java) S 5902 5902 28892 0 -1 1077944384 17454 0 0 0 207 2 0 0 20 0 15 0 117216746 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103646997360 140104105749122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5915] ppid=5902 vsize=13980732 memory=225288 CPUtime=2.19 cores=0,2,4,6
/proc/5904/task/5915/stat : 5915 (java) S 5902 5902 28892 0 -1 1077944384 16077 0 0 0 217 2 0 0 20 0 15 0 117216746 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103578020592 140104105749122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5916] ppid=5902 vsize=13980732 memory=4 CPUtime=0.53 cores=0,2,4,6
/proc/5904/task/5916/stat : 5916 (java) S 5902 5902 28892 0 -1 1077944384 7850 0 0 0 51 2 0 0 20 0 15 0 117216746 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103576967792 140104105749122 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5917] ppid=5902 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/5904/task/5917/stat : 5917 (java) S 5902 5902 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117216746 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103575915232 140104105748181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
[pid=5904/tid=5918] ppid=5902 vsize=13980732 memory=739944 CPUtime=0.73 cores=0,2,4,6
/proc/5904/task/5918/stat : 5918 (java) S 5902 5902 28892 0 -1 1077944384 1848 0 0 0 32 41 0 0 20 0 15 0 117216751 14316269568 56322 18446744073709551615 4194304 4196468 140729044742384 140103574862512 140104105749122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 7393280 140729044746673 140729044746849 140729044746849 140729044750287 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 226668 KiB
Child status: 143
Real time (s): 2514.72
CPU time (s): 2520.04
CPU user time (s): 2519.65
CPU system time (s): 0.391967
CPU usage (%): 100.212
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 226668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.65
system time used= 0.391967
maximum resident set size= 229492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71072
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56915
involuntary context switches= 2782
# summary of solver processes directly reported to runsolver:
# pid: 5902,5904
# total CPU time (s): 2520.04
# total CPU user time (s): 2519.65
# total CPU system time (s): 0.391967
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2189 second user time and 22.0183 second system time
The end