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 (14900 MiB free)
memory of node 1: 16384 MiB (15578 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269640-1502788894/watcher-4269640-1502788894 -o /tmp/evaluation-result-4269640-1502788894/solver-4269640-1502788894 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 158617980 HOME/instance-4269640-1502788894.xml
running on 4 cores: 1,3,5,7
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=5636, runsolver pid=5633
[startup+0.100089 s]*
/proc/loadavg: 2.00 1.99 1.97 3/197 5638
/proc/meminfo: memFree=31210232/32770624 swapFree=67108860/67108860
[pid=5636] ppid=5633 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5636/stat : 5636 (xcsp3-exec) S 5633 5636 11586 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 67230014 9740288 344 18446744073709551615 4194304 5098028 140733985266752 140733985264856 140529225429628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 17575936 140733985272185 140733985272389 140733985272389 140733985275883 0
/proc/5636/statm: 2378 344 289 221 0 87 0
[pid=5638] ppid=5636 vsize=11657624 memory=9288 CPUtime=0 cores=1,3,5,7
/proc/5638/stat : 5638 (java) S 5636 5636 11586 0 -1 1077944320 2083 0 0 0 0 0 0 0 20 0 2 0 67230024 11937406976 2322 18446744073709551615 4194304 4196468 140730339293712 140730339276256 140584749506295 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
/proc/5638/statm: 2914406 2322 1151 1 0 2904376 0
[pid=5638/tid=5639] ppid=5636 vsize=13356504 memory=1404226546251833994 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5639/stat : 5639 (java) R 5636 5636 11586 0 -1 4202560 1161 0 0 0 0 0 0 0 20 0 6 0 67230025 13677060096 2599 18446744073709551615 4194304 4196468 140730339293712 140584753748072 140584731299840 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5640] ppid=5636 vsize=13356504 memory=3691042058319900680 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5640/stat : 5640 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 67230025 13677060096 2664 18446744073709551615 4194304 4196468 140730339293712 140584683940240 140584749516501 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5641] ppid=5636 vsize=13356504 memory=139821428782720 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5641/stat : 5641 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 67230025 13677060096 2664 18446744073709551615 4194304 4196468 140730339293712 140584682887440 140584749516501 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5642] ppid=5636 vsize=13356504 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5642/stat : 5642 (java) S 5636 5636 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 67230025 13677060096 2664 18446744073709551615 4194304 4196468 140730339293712 140584347679376 140584749516501 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5643] ppid=5636 vsize=13356504 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5643/stat : 5643 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 67230025 13677060096 2664 18446744073709551615 4194304 4196468 140730339293712 140584346626576 140584749516501 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 11667136 KiB
Current children cumulated memory: 10664 KiB
[startup+0.216319 s]*
/proc/loadavg: 2.00 1.99 1.97 3/211 5652
/proc/meminfo: memFree=31197984/32770624 swapFree=67108860/67108860
[pid=5636] ppid=5633 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5636/stat : 5636 (xcsp3-exec) S 5633 5636 11586 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 67230014 9740288 344 18446744073709551615 4194304 5098028 140733985266752 140733985264856 140529225429628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 17575936 140733985272185 140733985272389 140733985272389 140733985275883 0
/proc/5636/statm: 2378 344 289 221 0 87 0
[pid=5638] ppid=5636 vsize=13974352 memory=25400 CPUtime=0.08 cores=1,3,5,7
/proc/5638/stat : 5638 (java) S 5636 5636 11586 0 -1 1077944320 4779 0 0 0 7 1 0 0 20 0 15 0 67230024 14309736448 6350 18446744073709551615 4194304 4196468 140730339293712 140730339276256 140584749506295 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
/proc/5638/statm: 3493588 6350 2722 1 0 3482964 0
[pid=5638/tid=5639] ppid=5636 vsize=13974352 memory=7022364594140610616 CPUtime=0.06 cores=1,3,5,7
/proc/5638/task/5639/stat : 5639 (java) R 5636 5636 11586 0 -1 4202560 2941 0 0 0 6 0 0 0 20 0 15 0 67230025 14309736448 6350 18446744073709551615 4194304 4196468 140730339293712 140584753731984 140584363816818 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5640] ppid=5636 vsize=13974352 memory=4294968654 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5640/stat : 5640 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230025 14309736448 6350 18446744073709551615 4194304 4196468 140730339293712 140584683940240 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5641] ppid=5636 vsize=13974352 memory=139821429161025 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5641/stat : 5641 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230025 14309736448 6350 18446744073709551615 4194304 4196468 140730339293712 140584682887440 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5642] ppid=5636 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5642/stat : 5642 (java) S 5636 5636 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67230025 14309736448 6350 18446744073709551615 4194304 4196468 140730339293712 140584347679376 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5643] ppid=5636 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5643/stat : 5643 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230025 14309736448 6350 18446744073709551615 4194304 4196468 140730339293712 140584346626576 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5644] ppid=5636 vsize=13974352 memory=139821428782720 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5644/stat : 5644 (java) S 5636 5636 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67230027 14309736448 6350 18446744073709551615 4194304 4196468 140730339293712 140584295209584 140584749517442 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5645] ppid=5636 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5645/stat : 5645 (java) S 5636 5636 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67230027 14309736448 6350 18446744073709551615 4194304 4196468 140730339293712 140584294155552 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5646] ppid=5636 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5646/stat : 5646 (java) S 5636 5636 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67230027 14309736448 6350 18446744073709551615 4194304 4196468 140730339293712 140584293103216 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5647] ppid=5636 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5647/stat : 5647 (java) S 5636 5636 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67230030 14309736448 6350 18446744073709551615 4194304 4196468 140730339293712 140584292051536 140584749524891 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5648] ppid=5636 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5648/stat : 5648 (java) S 5636 5636 11586 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 67230030 14309736448 6350 18446744073709551615 4194304 4196468 140730339293712 140584290998384 140584749517442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5649] ppid=5636 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5649/stat : 5649 (java) S 5636 5636 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67230030 14309736448 6350 18446744073709551615 4194304 4196468 140730339293712 140584289945584 140584749517442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5650] ppid=5636 vsize=13974352 memory=139821428782720 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5650/stat : 5650 (java) R 5636 5636 11586 0 -1 4202560 234 0 0 0 0 0 0 0 20 0 15 0 67230030 14309736448 6350 18446744073709551615 4194304 4196468 140730339293712 140584288893296 140584729848256 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5651] ppid=5636 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5651/stat : 5651 (java) S 5636 5636 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67230030 14309736448 6350 18446744073709551615 4194304 4196468 140730339293712 140584287840736 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5652] ppid=5636 vsize=13974352 memory=139821428782720 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5652/stat : 5652 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230035 14309736448 6350 18446744073709551615 4194304 4196468 140730339293712 140584286788528 140584749517442 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 26776 KiB
[startup+0.310192 s]*
/proc/loadavg: 2.00 1.99 1.97 3/211 5652
/proc/meminfo: memFree=31186928/32770624 swapFree=67108860/67108860
[pid=5636] ppid=5633 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5636/stat : 5636 (xcsp3-exec) S 5633 5636 11586 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 67230014 9740288 344 18446744073709551615 4194304 5098028 140733985266752 140733985264856 140529225429628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 17575936 140733985272185 140733985272389 140733985272389 140733985275883 0
/proc/5636/statm: 2378 344 289 221 0 87 0
[pid=5638] ppid=5636 vsize=13975376 memory=37824 CPUtime=0.25 cores=1,3,5,7
/proc/5638/stat : 5638 (java) S 5636 5636 11586 0 -1 1077944320 8082 0 0 0 23 2 0 0 20 0 15 0 67230024 14310785024 9456 18446744073709551615 4194304 4196468 140730339293712 140730339276256 140584749506295 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
/proc/5638/statm: 3493844 9456 2941 1 0 3483220 0
[pid=5638/tid=5639] ppid=5636 vsize=13975376 memory=6933928925625698159 CPUtime=0.15 cores=1,3,5,7
/proc/5638/task/5639/stat : 5639 (java) R 5636 5636 11586 0 -1 4202560 5658 0 0 0 14 1 0 0 20 0 15 0 67230025 14310785024 9456 18446744073709551615 4194304 4196468 140730339293712 140584753717536 140584742186013 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5640] ppid=5636 vsize=13975376 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5640/stat : 5640 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230025 14310785024 9456 18446744073709551615 4194304 4196468 140730339293712 140584683940240 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5641] ppid=5636 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5641/stat : 5641 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230025 14310785024 9456 18446744073709551615 4194304 4196468 140730339293712 140584682887440 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5642] ppid=5636 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5642/stat : 5642 (java) S 5636 5636 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67230025 14310785024 9456 18446744073709551615 4194304 4196468 140730339293712 140584347679376 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5643] ppid=5636 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5643/stat : 5643 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230025 14310785024 9456 18446744073709551615 4194304 4196468 140730339293712 140584346626576 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5644] ppid=5636 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5644/stat : 5644 (java) S 5636 5636 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67230027 14310785024 9456 18446744073709551615 4194304 4196468 140730339293712 140584295209584 140584749517442 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5645] ppid=5636 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5645/stat : 5645 (java) S 5636 5636 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67230027 14310785024 9456 18446744073709551615 4194304 4196468 140730339293712 140584294155552 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5646] ppid=5636 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5646/stat : 5646 (java) S 5636 5636 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67230027 14310785024 9456 18446744073709551615 4194304 4196468 140730339293712 140584293103216 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5647] ppid=5636 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5647/stat : 5647 (java) S 5636 5636 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67230030 14310785024 9456 18446744073709551615 4194304 4196468 140730339293712 140584292051536 140584749524891 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5648] ppid=5636 vsize=13975376 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5638/task/5648/stat : 5648 (java) S 5636 5636 11586 0 -1 1077944384 375 0 0 0 1 0 0 0 20 0 15 0 67230030 14310785024 9456 18446744073709551615 4194304 4196468 140730339293712 140584290998384 140584749517442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5649] ppid=5636 vsize=13975376 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/5638/task/5649/stat : 5649 (java) S 5636 5636 11586 0 -1 1077944384 317 0 0 0 1 0 0 0 20 0 15 0 67230030 14310785024 9456 18446744073709551615 4194304 4196468 140730339293712 140584289945584 140584749517442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5650] ppid=5636 vsize=13975376 memory=139821428782720 CPUtime=0.05 cores=1,3,5,7
/proc/5638/task/5650/stat : 5650 (java) S 5636 5636 11586 0 -1 1077944384 684 0 0 0 5 0 0 0 20 0 15 0 67230030 14310785024 9456 18446744073709551615 4194304 4196468 140730339293712 140584288893296 140584749517442 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5651] ppid=5636 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5651/stat : 5651 (java) S 5636 5636 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67230030 14310785024 9456 18446744073709551615 4194304 4196468 140730339293712 140584287840736 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5652] ppid=5636 vsize=13975376 memory=139821428782720 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5652/stat : 5652 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230035 14310785024 9456 18446744073709551615 4194304 4196468 140730339293712 140584286788528 140584749517442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13984888 KiB
Current children cumulated memory: 39200 KiB
[startup+0.700798 s]
/proc/loadavg: 2.00 1.99 1.97 5/211 5652
/proc/meminfo: memFree=31165900/32770624 swapFree=67108860/67108860
[pid=5636] ppid=5633 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5636/stat : 5636 (xcsp3-exec) S 5633 5636 11586 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 67230014 9740288 344 18446744073709551615 4194304 5098028 140733985266752 140733985264856 140529225429628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 17575936 140733985272185 140733985272389 140733985272389 140733985275883 0
/proc/5636/statm: 2378 344 289 221 0 87 0
[pid=5638] ppid=5636 vsize=13978684 memory=85320 CPUtime=1.32 cores=1,3,5,7
/proc/5638/stat : 5638 (java) S 5636 5636 11586 0 -1 1077944320 13022 0 0 0 127 5 0 0 20 0 15 0 67230024 14314172416 21330 18446744073709551615 4194304 4196468 140730339293712 140730339276256 140584749506295 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
/proc/5638/statm: 3494671 21330 3162 1 0 3482964 0
[pid=5638/tid=5639] ppid=5636 vsize=13978684 memory=310 CPUtime=0.53 cores=1,3,5,7
/proc/5638/task/5639/stat : 5639 (java) R 5636 5636 11586 0 -1 4202560 7422 0 0 0 50 3 0 0 20 0 15 0 67230025 14314172416 21330 18446744073709551615 4194304 4196468 140730339293712 140584753742832 140584366103952 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5640] ppid=5636 vsize=13978684 memory=434 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5640/stat : 5640 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230025 14314172416 21330 18446744073709551615 4194304 4196468 140730339293712 140584683940240 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5641] ppid=5636 vsize=13978684 memory=962 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5641/stat : 5641 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230025 14314172416 21330 18446744073709551615 4194304 4196468 140730339293712 140584682887440 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5642] ppid=5636 vsize=13978684 memory=139821318284048 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5642/stat : 5642 (java) S 5636 5636 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67230025 14314172416 21330 18446744073709551615 4194304 4196468 140730339293712 140584347679376 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5643] ppid=5636 vsize=13978684 memory=8514726395714825875 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5643/stat : 5643 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230025 14314172416 21330 18446744073709551615 4194304 4196468 140730339293712 140584346626576 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5644] ppid=5636 vsize=13978684 memory=-8412658754298548083 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5644/stat : 5644 (java) S 5636 5636 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67230027 14314172416 21330 18446744073709551615 4194304 4196468 140730339293712 140584295209584 140584749517442 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5645] ppid=5636 vsize=13978684 memory=-7522837583045875833 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5645/stat : 5645 (java) S 5636 5636 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67230027 14314172416 21330 18446744073709551615 4194304 4196468 140730339293712 140584294155552 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5646] ppid=5636 vsize=13978684 memory=6944656592452807323 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5646/stat : 5646 (java) S 5636 5636 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67230027 14314172416 21330 18446744073709551615 4194304 4196468 140730339293712 140584293103216 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5647] ppid=5636 vsize=13978684 memory=2721 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5647/stat : 5647 (java) S 5636 5636 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67230030 14314172416 21330 18446744073709551615 4194304 4196468 140730339293712 140584292051536 140584749524891 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5648] ppid=5636 vsize=13978684 memory=139821318278592 CPUtime=0.25 cores=1,3,5,7
/proc/5638/task/5648/stat : 5648 (java) R 5636 5636 11586 0 -1 4202560 1288 0 0 0 25 0 0 0 20 0 15 0 67230030 14314172416 21330 18446744073709551615 4194304 4196468 140730339293712 140584290985408 140584733003079 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5649] ppid=5636 vsize=13978684 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/5638/task/5649/stat : 5649 (java) R 5636 5636 11586 0 -1 4202560 1467 0 0 0 24 0 0 0 20 0 15 0 67230030 14314172416 21330 18446744073709551615 4194304 4196468 140730339293712 140584289935056 140584731050880 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5650] ppid=5636 vsize=13978684 memory=2760 CPUtime=0.26 cores=1,3,5,7
/proc/5638/task/5650/stat : 5650 (java) R 5636 5636 11586 0 -1 1077944384 1538 0 0 0 26 0 0 0 20 0 15 0 67230030 14314172416 21330 18446744073709551615 4194304 4196468 140730339293712 140584288893296 140584749517442 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5651] ppid=5636 vsize=13978684 memory=6933928925625698159 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5651/stat : 5651 (java) S 5636 5636 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67230030 14314172416 21330 18446744073709551615 4194304 4196468 140730339293712 140584287840736 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5652] ppid=5636 vsize=13978684 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5652/stat : 5652 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230035 14314172416 21330 18446744073709551615 4194304 4196468 140730339293712 140584286788528 140584749517442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 86696 KiB
[startup+1.50071 s]
/proc/loadavg: 2.00 1.99 1.97 5/211 5652
/proc/meminfo: memFree=31094788/32770624 swapFree=67108860/67108860
[pid=5636] ppid=5633 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5636/stat : 5636 (xcsp3-exec) S 5633 5636 11586 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 67230014 9740288 344 18446744073709551615 4194304 5098028 140733985266752 140733985264856 140529225429628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 17575936 140733985272185 140733985272389 140733985272389 140733985275883 0
/proc/5636/statm: 2378 344 289 221 0 87 0
[pid=5638] ppid=5636 vsize=13980732 memory=154140 CPUtime=3.29 cores=1,3,5,7
/proc/5638/stat : 5638 (java) S 5636 5636 11586 0 -1 1077944320 17625 0 0 0 323 6 0 0 20 0 15 0 67230024 14316269568 38535 18446744073709551615 4194304 4196468 140730339293712 140730339276256 140584749506295 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
/proc/5638/statm: 3495183 38535 3198 1 0 3483476 0
[pid=5638/tid=5639] ppid=5636 vsize=13980732 memory=63838831 CPUtime=1.33 cores=1,3,5,7
/proc/5638/task/5639/stat : 5639 (java) R 5636 5636 11586 0 -1 4202560 8339 0 0 0 129 4 0 0 20 0 15 0 67230025 14316269568 38535 18446744073709551615 4194304 4196468 140730339293712 140584753743680 140584368325696 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5640] ppid=5636 vsize=13980732 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5640/stat : 5640 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230025 14316269568 38535 18446744073709551615 4194304 4196468 140730339293712 140584683940240 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5641] ppid=5636 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5641/stat : 5641 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230025 14316269568 38535 18446744073709551615 4194304 4196468 140730339293712 140584682887440 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5642] ppid=5636 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5642/stat : 5642 (java) S 5636 5636 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67230025 14316269568 38535 18446744073709551615 4194304 4196468 140730339293712 140584347679376 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5643] ppid=5636 vsize=13980732 memory=85320 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5643/stat : 5643 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230025 14316269568 38535 18446744073709551615 4194304 4196468 140730339293712 140584346626576 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5644] ppid=5636 vsize=13980732 memory=310 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5644/stat : 5644 (java) S 5636 5636 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67230027 14316269568 38535 18446744073709551615 4194304 4196468 140730339293712 140584295209584 140584749517442 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5645] ppid=5636 vsize=13980732 memory=434 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5645/stat : 5645 (java) S 5636 5636 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67230027 14316269568 38535 18446744073709551615 4194304 4196468 140730339293712 140584294155552 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5646] ppid=5636 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/5636/stat : 5636 (xcsp3-exec) S 5633 5636 11586 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 67230014 9740288 344 18446744073709551615 4194304 5098028 140733985266752 140733985264856 140529225429628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 17575936 140733985272185 140733985272389 140733985272389 140733985275883 0
/proc/5636/statm: 2378 344 289 221 0 87 0
[pid=5638] ppid=5636 vsize=13980732 memory=156188 CPUtime=5.8 cores=1,3,5,7
/proc/5638/stat : 5638 (java) S 5636 5636 11586 0 -1 1077944320 17771 0 0 0 574 6 0 0 20 0 15 0 67230024 14316269568 39047 18446744073709551615 4194304 4196468 140730339293712 140730339276256 140584749506295 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
/proc/5638/statm: 3495183 39047 3198 1 0 3483476 0
[pid=5638/tid=5639] ppid=5636 vsize=13980732 memory=6933928925625698159 CPUtime=3.84 cores=1,3,5,7
/proc/5638/task/5639/stat : 5639 (java) R 5636 5636 11586 0 -1 4202560 8406 0 0 0 380 4 0 0 20 0 15 0 67230025 14316269568 39047 18446744073709551615 4194304 4196468 140730339293712 140584753743088 140584368325423 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5640] ppid=5636 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5640/stat : 5640 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230025 14316269568 39047 18446744073709551615 4194304 4196468 140730339293712 140584683940240 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5641] ppid=5636 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5641/stat : 5641 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230025 14316269568 39047 18446744073709551615 4194304 4196468 140730339293712 140584682887440 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5642] ppid=5636 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5642/stat : 5642 (java) S 5636 5636 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67230025 14316269568 39047 18446744073709551615 4194304 4196468 140730339293712 140584347679376 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5643] ppid=5636 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5643/stat : 5643 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230025 14316269568 39047 18446744073709551615 4194304 4196468 140730339293712 140584346626576 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5644] ppid=5636 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5644/stat : 5644 (java) S 5636 5636 11586 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 67230027 14316269568 39047 18446744073709551615 4194304 4196468 140730339293712 140584295209584 140584749517442 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5645] ppid=5636 vsize=13980732 memory=3472328296227670329 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5645/stat : 5645 (java) S 5636 5636 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67230027 14316269568 39047 18446744073709551615 4194304 4196468 140730339293712 140584294155552 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5646] ppid=5636 vsize=13980732 memory=6944656425123094137 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5646/stat : 5646 (java) S 5636 5636 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67230027 14316269568 39047 18446744073709551615 4194304 4196468 140730339293712 140584293103216 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5647] ppid=5636 vsize=13980732 memory=4137287014106042739 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5647/stat : 5647 (java) S 5636 5636 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67230030 14316269568 39047 18446744073709551615 4194304 4196468 140730339293712 140584292051536 140584749524891 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5648] ppid=5636 vsize=13980732 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/5638/task/5648/stat : 5648 (java) S 5636 5636 11586 0 -1 1077944384 2761 0 0 0 74 0 0 0 20 0 15 0 67230030 14316269568 39047 18446744073709551615 4194304 4196468 140730339293712 140584290998384 140584749517442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5649] ppid=5636 vsize=13980732 memory=3472285459133384047 CPUtime=0.71 cores=1,3,5,7
/proc/5638/task/5649/stat : 5649 (java) S 5636 5636 11586 0 -1 1077944384 3075 0 0 0 71 0 0 0 20 0 15 0 67230030 14316269568 39047 18446744073709551615 4194304 4196468 140730339293712 140584289945584 140584749517442 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5650] ppid=5636 vsize=13980732 memory=7008596468630841008 CPUtime=0.48 cores=1,3,5,7
/proc/5638/task/5650/stat : 5650 (java) S 5636 5636 11586 0 -1 1077944384 2137 0 0 0 47 1 0 0 20 0 15 0 67230030 14316269568 39047 18446744073709551615 4194304 4196468 140730339293712 140584288893296 140584749517442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5651] ppid=5636 vsize=13980732 memory=3472285459133384047 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5651/stat : 5651 (java) S 5636 5636 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67230030 14316269568 39047 18446744073709551615 4194304 4196468 140730339293712 140584287840736 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5652] ppid=5636 vsize=13980732 memory=3472425280529135856 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5652/stat : 5652 (java) S 5636 5636 11586 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 67230035 14316269568 39047 18446744073709551615 4194304 4196468 140730339293712 140584286788528 140584749517442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
Current children cumulated CPU time: 5.8 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 157564 KiB
[startup+4.80071 s]
/proc/loadavg: 2.00 1.99 1.97 3/211 5652
/proc/meminfo: memFree=31066556/32770624 swapFree=67108860/67108860
[pid=5636] ppid=5633 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5636/stat : 5636 (xcsp3-exec) S 5633 5636 11586 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 67230014 9740288 344 18446744073709551615 4194304 5098028 140733985266752 140733985264856 140529225429628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 17575936 140733985272185 140733985272389 140733985272389 140733985275883 0
/proc/5636/statm: 2378 344 289 221 0 87 0
[pid=5638] ppid=5636 vsize=13980732 memory=156208 CPUtime=6.6 cores=1,3,5,7
/proc/5638/stat : 5638 (java) S 5636 5636 11586 0 -1 1077944320 18169 0 0 0 654 6 0 0 20 0 15 0 67230024 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140730339276256 140584749506295 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
/proc/5638/statm: 3495183 39052 3202 1 0 3483476 0
[pid=5638/tid=5639] ppid=5636 vsize=13980732 memory=0 CPUtime=4.63 cores=1,3,5,7
/proc/5638/task/5639/stat : 5639 (java) R 5636 5636 11586 0 -1 4202560 8424 0 0 0 459 4 0 0 20 0 15 0 67230025 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584753743296 140584368330912 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5640] ppid=5636 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5640/stat : 5640 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230025 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584683940240 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5641] ppid=5636 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5641/stat : 5641 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230025 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584682887440 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5642] ppid=5636 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5642/stat : 5642 (java) S 5636 5636 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67230025 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584347679376 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5643] ppid=5636 vsize=13980732 memory=279642636867584 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5643/stat : 5643 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230025 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584346626576 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5644] ppid=5636 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5644/stat : 5644 (java) S 5636 5636 11586 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 15 0 67230027 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584295209584 140584749517442 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5645] ppid=5636 vsize=13980732 memory=154140 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5645/stat : 5645 (java) S 5636 5636 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67230027 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584294155552 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5646] ppid=5636 vsize=13980732 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5646/stat : 5646 (java) S 5636 5636 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67230027 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584293103216 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5647] ppid=5636 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5647/stat : 5647 (java) S 5636 5636 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67230030 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584292051536 140584749524891 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5648] ppid=5636 vsize=13980732 memory=279642636659504 CPUtime=0.74 cores=1,3,5,7
/proc/5638/task/5648/stat : 5648 (java) S 5636 5636 11586 0 -1 1077944384 2761 0 0 0 74 0 0 0 20 0 15 0 67230030 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584290998384 140584749517442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5649] ppid=5636 vsize=13980732 memory=139821318230708 CPUtime=0.71 cores=1,3,5,7
/proc/5638/task/5649/stat : 5649 (java) S 5636 5636 11586 0 -1 1077944384 3075 0 0 0 71 0 0 0 20 0 15 0 67230030 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584289945584 140584749517442 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5650] ppid=5636 vsize=13980732 memory=1008 CPUtime=0.48 cores=1,3,5,7
/proc/5638/task/5650/stat : 5650 (java) S 5636 5636 11586 0 -1 1077944384 2137 0 0 0 47 1 0 0 20 0 15 0 67230030 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584288893296 140584749517442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5651] ppid=5636 vsize=13980732 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5651/stat : 5651 (java) S 5636 5636 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67230030 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584287840736 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5652] ppid=5636 vsize=13980732 memory=8964 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5652/stat : 5652 (java) S 5636 5636 11586 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 67230035 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584286788528 140584749517442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
Current children cumulated CPU time: 6.6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 157584 KiB
[startup+5.20061 s]
/proc/loadavg: 2.00 1.99 1.97 3/211 5652
/proc/meminfo: memFree=31066104/32770624 swapFree=67108860/67108860
[pid=5636] ppid=5633 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5636/stat : 5636 (xcsp3-exec) S 5633 5636 11586 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 67230014 9740288 344 18446744073709551615 4194304 5098028 140733985266752 140733985264856 140529225429628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 17575936 140733985272185 140733985272389 140733985272389 140733985275883 0
/proc/5636/statm: 2378 344 289 221 0 87 0
[pid=5638] ppid=5636 vsize=13980732 memory=156208 CPUtime=7 cores=1,3,5,7
/proc/5638/stat : 5638 (java) S 5636 5636 11586 0 -1 1077944320 18169 0 0 0 694 6 0 0 20 0 15 0 67230024 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140730339276256 140584749506295 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
/proc/5638/statm: 3495183 39052 3202 1 0 3483476 0
[pid=5638/tid=5639] ppid=5636 vsize=13980732 memory=-7533522213388100735 CPUtime=5.03 cores=1,3,5,7
/proc/5638/task/5639/stat : 5639 (java) R 5636 5636 11586 0 -1 4202560 8424 0 0 0 499 4 0 0 20 0 15 0 67230025 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584753743296 140584368349089 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5640] ppid=5636 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5640/stat : 5640 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230025 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584683940240 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5641] ppid=5636 vsize=13980732 memory=7666090220775172691 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5641/stat : 5641 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230025 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584682887440 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5642] ppid=5636 vsize=13980732 memory=6010725970072921706 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5642/stat : 5642 (java) S 5636 5636 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67230025 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584347679376 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5643] ppid=5636 vsize=13980732 memory=5787213827130549604 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5643/stat : 5643 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230025 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584346626576 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5644] ppid=5636 vsize=13980732 memory=6082510880898509416 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5644/stat : 5644 (java) S 5636 5636 11586 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 15 0 67230027 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584295209584 140584749517442 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5645] ppid=5636 vsize=13980732 memory=8027778865698335594 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5645/stat : 5645 (java) S 5636 5636 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67230027 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584294155552 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5646] ppid=5636 vsize=13980732 memory=6442213889342267998 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5646/stat : 5646 (java) S 5636 5636 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67230027 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584293103216 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5647] ppid=5636 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5647/stat : 5647 (java) S 5636 5636 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67230030 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584292051536 140584749524891 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5648] ppid=5636 vsize=13980732 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/5638/task/5648/stat : 5648 (java) S 5636 5636 11586 0 -1 1077944384 2761 0 0 0 74 0 0 0 20 0 15 0 67230030 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584290998384 140584749517442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5649] ppid=5636 vsize=13980732 memory=279642637131328 CPUtime=0.71 cores=1,3,5,7
/proc/5638/task/5649/stat : 5649 (java) S 5636 5636 11586 0 -1 1077944384 3075 0 0 0 71 0 0 0 20 0 15 0 67230030 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584289945584 140584749517442 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5650] ppid=5636 vsize=13980732 memory=139821318568640 CPUtime=0.48 cores=1,3,5,7
/proc/5638/task/5650/stat : 5650 (java) S 5636 5636 11586 0 -1 1077944384 2137 0 0 0 47 1 0 0 20 0 15 0 67230030 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584288893296 140584749517442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5651] ppid=5636 vsize=13980732 memory=8747226831578988619 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5651/stat : 5651 (java) S 5636 5636 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67230030 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584287840736 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5652] ppid=5636 vsize=13980732 memory=288289961105699161 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5652/stat : 5652 (java) S 5636 5636 11586 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 67230035 14316269568 39052 18446744073709551615 4194304 4196468 140730339293712 140584286788528 140584749517442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
Current children cumulated CPU time: 7 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 157584 KiB
[startup+5.30061 s]
/proc/loadavg: 2.00 1.99 1.97 3/211 5652
/proc/meminfo: memFree=31066104/32770624 swapFree=67108860/67108860
[pid=5636] ppid=5633 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5636/stat : 5636 (xcsp3-exec) S 5633 5636 11586 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 67230014 9740288 344 18446744073709551615 4194304 5098028 140733985266752 140733985264856 140529225429628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 17575936 140733985272185 140733985272389 140733985272389 140733985275883 0
/proc/5636/statm: 2378 344 289 221 0 87 0
[pid=5638] ppid=5636 vsize=13980732 memory=156212 CPUtime=7.09 cores=1,3,5,7
/proc/5638/stat : 5638 (java) S 5636 5636 11586 0 -1 1077944320 18537 0 0 0 703 6 0 0 20 0 15 0 67230024 14316269568 39053 18446744073709551615 4194304 4196468 140730339293712 140730339276256 140584749506295 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
/proc/5638/statm: 3495183 39053 3202 1 0 3483476 0
[pid=5638/tid=5639] ppid=5636 vsize=13980732 memory=0 CPUtime=5.13 cores=1,3,5,7
/proc/5638/task/5639/stat : 5639 (java) R 5636 5636 11586 0 -1 4202560 8424 0 0 0 509 4 0 0 20 0 15 0 67230025 14316269568 39053 18446744073709551615 4194304 4196468 140730339293712 140584753743296 140584368330821 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5640] ppid=5636 vsize=13980732 memory=156208 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5640/stat : 5640 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230025 14316269568 39053 18446744073709551615 4194304 4196468 140730339293712 140584683940240 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5641] ppid=5636 vsize=13980732 memory=539 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5641/stat : 5641 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230025 14316269568 39053 18446744073709551615 4194304 4196468 140730339293712 140584682887440 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5642] ppid=5636 vsize=13980732 memory=156208 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5642/stat : 5642 (java) S 5636 5636 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67230025 14316269568 39053 18446744073709551615 4194304 4196468 140730339293712 140584347679376 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5643] ppid=5636 vsize=13980732 memory=156188 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5643/stat : 5643 (java) S 5636 5636 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67230025 14316269568 39053 18446744073709551615 4194304 4196468 140730339293712 140584346626576 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5644] ppid=5636 vsize=13980732 memory=279642636917568 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5644/stat : 5644 (java) S 5636 5636 11586 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 15 0 67230027 14316269568 39053 18446744073709551615 4194304 4196468 140730339293712 140584295209584 140584749517442 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5645] ppid=5636 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5645/stat : 5645 (java) S 5636 5636 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67230027 14316269568 39053 18446744073709551615 4194304 4196468 140730339293712 140584294155552 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5646] ppid=5636 vsize=13980732 memory=3472328128895280708 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5646/stat : 5646 (java) S 5636 5636 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67230027 14316269568 39053 18446744073709551615 4194304 4196468 140730339293712 140584293103216 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5647] ppid=5636 vsize=13980732 memory=-7384994778349281184 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5647/stat : 5647 (java) S 5636 5636 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67230030 14316269568 39053 18446744073709551615 4194304 4196468 140730339293712 140584292051536 140584749524891 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5648] ppid=5636 vsize=13980732 memory=6656426216303648864 CPUtime=0.74 cores=1,3,5,7
/proc/5638/task/5648/stat : 5648 (java) S 5636 5636 11586 0 -1 1077944384 2761 0 0 0 74 0 0 0 20 0 15 0 67230030 14316269568 39053 18446744073709551615 4194304 4196468 140730339293712 140584290998384 140584749517442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5649] ppid=5636 vsize=13980732 memory=0 CPUtime=0.71 cores=1,3,5,7
/proc/5638/task/5649/stat : 5649 (java) S 5636 5636 11586 0 -1 1077944384 3075 0 0 0 71 0 0 0 20 0 15 0 67230030 14316269568 39053 18446744073709551615 4194304 4196468 140730339293712 140584289945584 140584749517442 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5650] ppid=5636 vsize=13980732 memory=1585 CPUtime=0.48 cores=1,3,5,7
/proc/5638/task/5650/stat : 5650 (java) S 5636 5636 11586 0 -1 1077944384 2137 0 0 0 47 1 0 0 20 0 15 0 67230030 14316269568 39053 18446744073709551615 4194304 4196468 140730339293712 140584288893296 140584749517442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5651] ppid=5636 vsize=13980732 memory=27325 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5651/stat : 5651 (java) S 5636 5636 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67230030 14316269568 39053 18446744073709551615 4194304 4196468 140730339293712 140584287840736 140584749516501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
[pid=5638/tid=5652] ppid=5636 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5638/task/5652/stat : 5652 (java) S 5636 5636 11586 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 67230035 14316269568 39053 18446744073709551615 4194304 4196468 140730339293712 140584286788528 140584749517442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23150592 140730339299761 140730339299937 140730339299937 140730339303375 0
Current children cumulated CPU time: 7.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 157588 KiB
Child status: 0
Real time (s): 5.32535
CPU time (s): 7.14439
CPU user time (s): 7.06996
CPU system time (s): 0.074436
CPU usage (%): 134.158
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 157588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.06996
system time used= 0.074436
maximum resident set size= 156632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20435
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1702
involuntary context switches= 16
# summary of solver processes directly reported to runsolver:
# pid: 5636
# total CPU time (s): 7.14439
# total CPU user time (s): 7.06996
# total CPU system time (s): 0.074436
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.057547 second user time and 0.088534 second system time
The end