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 (14901 MiB free)
memory of node 1: 16384 MiB (13134 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398931-1568695345/watcher-4398931-1568695345 -o /tmp/evaluation-result-4398931-1568695345/solver-4398931-1568695345 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568694133-19867 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 639662593 HOME/instance-4398931-1568695345.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
solver pid=21642, runsolver pid=21639
Current StackSize limit: 8192 KiB
[startup+0.100126 s]*
/proc/loadavg: 8.68 8.43 6.29 6/233 21658
/proc/meminfo: memFree=28692352/32770624 swapFree=66922404/67108860
[pid=21642] ppid=21639 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21642/stat : 21642 (xcsp3-exec) S 21639 21642 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445472422 115843072 362 33554432000 4194304 5098028 140725633876752 140725633874856 139785639305852 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39911424 140725633885051 140725633885293 140725633885293 140725633888202 0
/proc/21642/statm: 28282 362 304 221 0 87 0
[pid=21644] ppid=21642 vsize=15144776 memory=28860 CPUtime=0.13 cores=0,2,4,6
/proc/21644/stat : 21644 (java) S 21642 21642 19836 0 -1 1077944320 5642 0 0 0 11 2 0 0 20 0 15 0 445472422 15508250624 7215 33554432000 4194304 4196468 140725523198576 140725523181120 140137046904567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
/proc/21644/statm: 3786194 7215 3156 1 0 3748377 0
[pid=21644/tid=21645] ppid=21642 vsize=15144776 memory=7100839878744900722 CPUtime=0.09 cores=0,2,4,6
/proc/21644/task/21645/stat : 21645 (java) R 21642 21642 19836 0 -1 4202560 3558 0 0 0 8 1 0 0 20 0 15 0 445472422 15508250624 7215 33554432000 4194304 4196468 140725523198576 140137051138048 140137030985054 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21646] ppid=21642 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21646/stat : 21646 (java) S 21642 21642 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445472423 15508250624 7215 33554432000 4194304 4196468 140725523198576 140136999525008 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21647] ppid=21642 vsize=15144776 memory=140556653307520 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21647/stat : 21647 (java) S 21642 21642 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445472423 15508250624 7215 33554432000 4194304 4196468 140725523198576 140136638503440 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21648] ppid=21642 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21648/stat : 21648 (java) S 21642 21642 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445472423 15508250624 7215 33554432000 4194304 4196468 140725523198576 140136637450640 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21649] ppid=21642 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21649/stat : 21649 (java) S 21642 21642 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445472423 15508250624 7215 33554432000 4194304 4196468 140725523198576 140136636397840 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21650] ppid=21642 vsize=15144776 memory=140556653307520 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21650/stat : 21650 (java) S 21642 21642 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445472424 15508250624 7215 33554432000 4194304 4196468 140725523198576 140136515435376 140137046915714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21651] ppid=21642 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21651/stat : 21651 (java) S 21642 21642 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445472425 15508250624 7215 33554432000 4194304 4196468 140725523198576 140136514381344 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21652] ppid=21642 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21652/stat : 21652 (java) S 21642 21642 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445472425 15508250624 7215 33554432000 4194304 4196468 140725523198576 140136513328496 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21653] ppid=21642 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21653/stat : 21653 (java) S 21642 21642 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445472428 15508250624 7215 33554432000 4194304 4196468 140725523198576 140136512276816 140137046923163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21654] ppid=21642 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21654/stat : 21654 (java) S 21642 21642 19836 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 15 0 445472428 15508250624 7215 33554432000 4194304 4196468 140725523198576 140136511224176 140137046915714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21655] ppid=21642 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21655/stat : 21655 (java) S 21642 21642 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445472428 15508250624 7215 33554432000 4194304 4196468 140725523198576 140136510171376 140137046915714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21656] ppid=21642 vsize=15144776 memory=140556653307520 CPUtime=0.02 cores=0,2,4,6
/proc/21644/task/21656/stat : 21656 (java) R 21642 21642 19836 0 -1 4202560 367 0 0 0 2 0 0 0 20 0 15 0 445472428 15508250624 7215 33554432000 4194304 4196468 140725523198576 140136509118576 140137046925914 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21657] ppid=21642 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21657/stat : 21657 (java) S 21642 21642 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445472428 15508250624 7215 33554432000 4194304 4196468 140725523198576 140136508066016 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21658] ppid=21642 vsize=15144776 memory=140556653307520 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21658/stat : 21658 (java) S 21642 21642 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445472428 15508250624 7215 33554432000 4194304 4196468 140725523198576 140136507014320 140137046915714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30308 KiB
[startup+0.210896 s]*
/proc/loadavg: 8.68 8.43 6.29 8/233 21658
/proc/meminfo: memFree=28679020/32770624 swapFree=66922404/67108860
[pid=21642] ppid=21639 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21642/stat : 21642 (xcsp3-exec) S 21639 21642 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445472422 115843072 362 33554432000 4194304 5098028 140725633876752 140725633874856 139785639305852 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39911424 140725633885051 140725633885293 140725633885293 140725633888202 0
/proc/21642/statm: 28282 362 304 221 0 87 0
[pid=21644] ppid=21642 vsize=15144776 memory=40608 CPUtime=0.33 cores=0,2,4,6
/proc/21644/stat : 21644 (java) S 21642 21642 19836 0 -1 1077944320 9324 0 0 0 30 3 0 0 20 0 15 0 445472422 15508250624 10152 33554432000 4194304 4196468 140725523198576 140725523181120 140137046904567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
/proc/21644/statm: 3786194 10152 3318 1 0 3748377 0
[pid=21644/tid=21645] ppid=21642 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/21644/task/21645/stat : 21645 (java) R 21642 21642 19836 0 -1 4202560 6570 0 0 0 18 2 0 0 20 0 15 0 445472422 15508250624 10152 33554432000 4194304 4196468 140725523198576 140137051137296 140136679567573 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21646] ppid=21642 vsize=15144776 memory=2810770 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21646/stat : 21646 (java) S 21642 21642 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445472423 15508250624 10152 33554432000 4194304 4196468 140725523198576 140136999525008 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21647] ppid=21642 vsize=15144776 memory=4049780665852896928 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21647/stat : 21647 (java) S 21642 21642 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445472423 15508250624 10152 33554432000 4194304 4196468 140725523198576 140136638503440 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21648] ppid=21642 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21648/stat : 21648 (java) S 21642 21642 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445472423 15508250624 10152 33554432000 4194304 4196468 140725523198576 140136637450640 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21649] ppid=21642 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21649/stat : 21649 (java) S 21642 21642 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445472423 15508250624 10152 33554432000 4194304 4196468 140725523198576 140136636397840 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21650] ppid=21642 vsize=15144776 memory=140556653307520 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21650/stat : 21650 (java) S 21642 21642 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445472424 15508250624 10152 33554432000 4194304 4196468 140725523198576 140136515435376 140137046915714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21651] ppid=21642 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21651/stat : 21651 (java) S 21642 21642 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445472425 15508250624 10152 33554432000 4194304 4196468 140725523198576 140136514381344 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21652] ppid=21642 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21652/stat : 21652 (java) S 21642 21642 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445472425 15508250624 10152 33554432000 4194304 4196468 140725523198576 140136513328496 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21653] ppid=21642 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21653/stat : 21653 (java) S 21642 21642 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445472428 15508250624 10152 33554432000 4194304 4196468 140725523198576 140136512276816 140137046923163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21654] ppid=21642 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21644/task/21654/stat : 21654 (java) S 21642 21642 19836 0 -1 1077944384 472 0 0 0 2 0 0 0 20 0 15 0 445472428 15508250624 10152 33554432000 4194304 4196468 140725523198576 140136511224176 140137046915714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21655] ppid=21642 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/21644/task/21655/stat : 21655 (java) S 21642 21642 19836 0 -1 1077944384 160 0 0 0 2 0 0 0 20 0 15 0 445472428 15508250624 10152 33554432000 4194304 4196468 140725523198576 140136510171376 140137046915714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21656] ppid=21642 vsize=15144776 memory=140556653307520 CPUtime=0.07 cores=0,2,4,6
/proc/21644/task/21656/stat : 21656 (java) S 21642 21642 19836 0 -1 1077944384 816 0 0 0 7 0 0 0 20 0 15 0 445472428 15508250624 10152 33554432000 4194304 4196468 140725523198576 140136509118576 140137046915714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21657] ppid=21642 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21657/stat : 21657 (java) S 21642 21642 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445472428 15508250624 10152 33554432000 4194304 4196468 140725523198576 140136508066016 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21658] ppid=21642 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21658/stat : 21658 (java) S 21642 21642 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445472428 15508250624 10152 33554432000 4194304 4196468 140725523198576 140136507014320 140137046915714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42056 KiB
[startup+0.310857 s]*
/proc/loadavg: 8.68 8.43 6.29 6/233 21658
/proc/meminfo: memFree=28674156/32770624 swapFree=66922404/67108860
[pid=21642] ppid=21639 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21642/stat : 21642 (xcsp3-exec) S 21639 21642 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445472422 115843072 362 33554432000 4194304 5098028 140725633876752 140725633874856 139785639305852 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39911424 140725633885051 140725633885293 140725633885293 140725633888202 0
/proc/21642/statm: 28282 362 304 221 0 87 0
[pid=21644] ppid=21642 vsize=15149032 memory=49348 CPUtime=0.52 cores=0,2,4,6
/proc/21644/stat : 21644 (java) S 21642 21642 19836 0 -1 1077944320 10619 0 0 0 48 4 0 0 20 0 15 0 445472422 15512608768 12337 33554432000 4194304 4196468 140725523198576 140725523181120 140137046904567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
/proc/21644/statm: 3787258 12337 3367 1 0 3748377 0
[pid=21644/tid=21645] ppid=21642 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/21644/task/21645/stat : 21645 (java) R 21642 21642 19836 0 -1 4202560 7643 0 0 0 27 3 0 0 20 0 15 0 445472422 15512608768 12337 33554432000 4194304 4196468 140725523198576 140137051135680 140137026429855 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21646] ppid=21642 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21646/stat : 21646 (java) S 21642 21642 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445472423 15512608768 12337 33554432000 4194304 4196468 140725523198576 140136999525008 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21647] ppid=21642 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21647/stat : 21647 (java) S 21642 21642 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445472423 15512608768 12337 33554432000 4194304 4196468 140725523198576 140136638503440 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21648] ppid=21642 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21648/stat : 21648 (java) S 21642 21642 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445472423 15512608768 12337 33554432000 4194304 4196468 140725523198576 140136637450640 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21649] ppid=21642 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21649/stat : 21649 (java) S 21642 21642 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445472423 15512608768 12337 33554432000 4194304 4196468 140725523198576 140136636397840 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21650] ppid=21642 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21650/stat : 21650 (java) S 21642 21642 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445472424 15512608768 12337 33554432000 4194304 4196468 140725523198576 140136515435376 140137046915714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21651] ppid=21642 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21651/stat : 21651 (java) S 21642 21642 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445472425 15512608768 12337 33554432000 4194304 4196468 140725523198576 140136514381344 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21652] ppid=21642 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21652/stat : 21652 (java) S 21642 21642 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445472425 15512608768 12337 33554432000 4194304 4196468 140725523198576 140136513328496 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21653] ppid=21642 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21653/stat : 21653 (java) S 21642 21642 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445472428 15512608768 12337 33554432000 4194304 4196468 140725523198576 140136512276816 140137046923163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21654] ppid=21642 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/21644/task/21654/stat : 21654 (java) R 21642 21642 19836 0 -1 4202560 534 0 0 0 4 0 0 0 20 0 15 0 445472428 15512608768 12337 33554432000 4194304 4196468 140725523198576 140136511224176 140137031804063 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21655] ppid=21642 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21644/task/21655/stat : 21655 (java) S 21642 21642 19836 0 -1 1077944384 172 0 0 0 3 0 0 0 20 0 15 0 445472428 15512608768 12337 33554432000 4194304 4196468 140725523198576 140136510171376 140137046915714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21656] ppid=21642 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/21644/task/21656/stat : 21656 (java) S 21642 21642 19836 0 -1 1077944384 967 0 0 0 12 0 0 0 20 0 15 0 445472428 15512608768 12337 33554432000 4194304 4196468 140725523198576 140136509118576 140137046915714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21657] ppid=21642 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21657/stat : 21657 (java) S 21642 21642 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445472428 15512608768 12337 33554432000 4194304 4196468 140725523198576 140136508066016 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21658] ppid=21642 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21658/stat : 21658 (java) S 21642 21642 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445472428 15512608768 12337 33554432000 4194304 4196468 140725523198576 140136507014320 140137046915714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50796 KiB
[startup+0.700829 s]
/proc/loadavg: 8.68 8.43 6.29 7/233 21658
/proc/meminfo: memFree=28655048/32770624 swapFree=66922404/67108860
[pid=21642] ppid=21639 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21642/stat : 21642 (xcsp3-exec) S 21639 21642 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445472422 115843072 362 33554432000 4194304 5098028 140725633876752 140725633874856 139785639305852 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39911424 140725633885051 140725633885293 140725633885293 140725633888202 0
/proc/21642/statm: 28282 362 304 221 0 87 0
[pid=21644] ppid=21642 vsize=15417412 memory=84636 CPUtime=1.59 cores=0,2,4,6
/proc/21644/stat : 21644 (java) S 21642 21642 19836 0 -1 1077944320 14916 0 0 0 153 6 0 0 20 0 19 0 445472422 15787429888 21159 33554432000 4194304 4196468 140725523198576 140725523181120 140137046904567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
/proc/21644/statm: 3854353 21159 3456 1 0 3815453 0
[pid=21644/tid=21645] ppid=21642 vsize=15417412 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/21644/task/21645/stat : 21645 (java) S 21642 21642 19836 0 -1 1077944384 9076 0 0 0 54 4 0 0 20 0 19 0 445472422 15787429888 21159 33554432000 4194304 4196468 140725523198576 140137051145344 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21646] ppid=21642 vsize=15417412 memory=32664 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21646/stat : 21646 (java) S 21642 21642 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445472423 15787429888 21159 33554432000 4194304 4196468 140725523198576 140136999525008 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21647] ppid=21642 vsize=15417412 memory=988 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21647/stat : 21647 (java) S 21642 21642 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445472423 15787429888 21159 33554432000 4194304 4196468 140725523198576 140136638503440 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21648] ppid=21642 vsize=15417412 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21648/stat : 21648 (java) S 21642 21642 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445472423 15787429888 21159 33554432000 4194304 4196468 140725523198576 140136637450640 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21649] ppid=21642 vsize=15417412 memory=1324 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21649/stat : 21649 (java) S 21642 21642 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445472423 15787429888 21159 33554432000 4194304 4196468 140725523198576 140136636397840 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21650] ppid=21642 vsize=15417412 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21650/stat : 21650 (java) S 21642 21642 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 445472424 15787429888 21159 33554432000 4194304 4196468 140725523198576 140136515435376 140137046915714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21651] ppid=21642 vsize=15417412 memory=5972 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21651/stat : 21651 (java) S 21642 21642 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445472425 15787429888 21159 33554432000 4194304 4196468 140725523198576 140136514381344 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21652] ppid=21642 vsize=15417412 memory=588 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21652/stat : 21652 (java) S 21642 21642 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445472425 15787429888 21159 33554432000 4194304 4196468 140725523198576 140136513328496 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21653] ppid=21642 vsize=15417412 memory=780 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21653/stat : 21653 (java) S 21642 21642 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445472428 15787429888 21224 33554432000 4194304 4196468 140725523198576 140136512276816 140137046923163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21654] ppid=21642 vsize=15417412 memory=1056 CPUtime=0.24 cores=0,2,4,6
/proc/21644/task/21654/stat : 21654 (java) R 21642 21642 19836 0 -1 4202560 1328 0 0 0 24 0 0 0 20 0 19 0 445472428 15787429888 21224 33554432000 4194304 4196468 140725523198576 140136511207008 140137024499584 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21655] ppid=21642 vsize=15417412 memory=11620 CPUtime=0.22 cores=0,2,4,6
/proc/21644/task/21655/stat : 21655 (java) R 21642 21642 19836 0 -1 4202560 891 0 0 0 22 0 0 0 20 0 19 0 445472428 15787429888 21224 33554432000 4194304 4196468 140725523198576 140136510157944 140137039194016 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21656] ppid=21642 vsize=15417412 memory=3992 CPUtime=0.36 cores=0,2,4,6
/proc/21644/task/21656/stat : 21656 (java) S 21642 21642 19836 0 -1 1077944384 2150 0 0 0 36 0 0 0 20 0 19 0 445472428 15787429888 21224 33554432000 4194304 4196468 140725523198576 140136509118576 140137046915714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21657] ppid=21642 vsize=15417412 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21657/stat : 21657 (java) S 21642 21642 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445472428 15787429888 21224 33554432000 4194304 4196468 140725523198576 140136508066016 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21658] ppid=21642 vsize=15417412 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21658/stat : 21658 (java) S 21642 21642 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445472428 15787429888 21224 33554432000 4194304 4196468 140725523198576 140136507014320 140137046915714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 86084 KiB
[startup+1.50088 s]
/proc/loadavg: 8.68 8.43 6.29 12/237 21662
/proc/meminfo: memFree=28627644/32770624 swapFree=66922404/67108860
[pid=21642] ppid=21639 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21642/stat : 21642 (xcsp3-exec) S 21639 21642 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445472422 115843072 362 33554432000 4194304 5098028 140725633876752 140725633874856 139785639305852 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39911424 140725633885051 140725633885293 140725633885293 140725633888202 0
/proc/21642/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/21644/task/21658/stat : 21658 (java) S 21642 21642 19836 0 -1 1077944384 475 0 0 0 0 0 0 0 20 0 19 0 445472428 15787429888 51752 33554432000 4194304 4196468 140725523198576 140136507014320 140137046915714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 27 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21659] ppid=21642 vsize=15417412 memory=0 CPUtime=17.43 cores=0,2,4,6
/proc/21644/task/21659/stat : 21659 (java) R 21642 21642 19836 0 -1 4202560 413 0 0 0 1743 0 0 0 20 0 19 0 445472483 15787429888 51752 33554432000 4194304 4196468 140725523198576 140136497794744 140136684834370 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21660] ppid=21642 vsize=15417412 memory=0 CPUtime=17.55 cores=0,2,4,6
/proc/21644/task/21660/stat : 21660 (java) R 21642 21642 19836 0 -1 4202560 936 0 0 0 1754 1 0 0 20 0 19 0 445472483 15787429888 51752 33554432000 4194304 4196468 140725523198576 140136496742592 140136684683328 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21661] ppid=21642 vsize=15417412 memory=793 CPUtime=17.79 cores=0,2,4,6
/proc/21644/task/21661/stat : 21661 (java) R 21642 21642 19836 0 -1 4202560 453 0 0 0 1779 0 0 0 20 0 19 0 445472483 15787429888 51752 33554432000 4194304 4196468 140725523198576 140136495689400 140136683804248 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21662] ppid=21642 vsize=15417412 memory=803 CPUtime=17.41 cores=0,2,4,6
/proc/21644/task/21662/stat : 21662 (java) R 21642 21642 19836 0 -1 4202560 761 0 0 0 1740 1 0 0 20 0 19 0 445472483 15787429888 51752 33554432000 4194304 4196468 140725523198576 140136494636904 140136683754876 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
Current children cumulated CPU time: 75.2 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 208456 KiB
[startup+20.0008 s]*
/proc/loadavg: 8.68 8.45 6.34 9/237 21662
/proc/meminfo: memFree=28573324/32770624 swapFree=66922404/67108860
[pid=21642] ppid=21639 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21642/stat : 21642 (xcsp3-exec) S 21639 21642 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445472422 115843072 362 33554432000 4194304 5098028 140725633876752 140725633874856 139785639305852 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39911424 140725633885051 140725633885293 140725633885293 140725633888202 0
/proc/21642/statm: 28282 362 304 221 0 87 0
[pid=21644] ppid=21642 vsize=15417412 memory=207032 CPUtime=78.42 cores=0,2,4,6
/proc/21644/stat : 21644 (java) S 21642 21642 19836 0 -1 1077944320 37282 0 0 0 7830 12 0 0 20 0 19 0 445472422 15787429888 51758 33554432000 4194304 4196468 140725523198576 140725523181120 140137046904567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
/proc/21644/statm: 3854353 51758 3516 1 0 3815453 0
[pid=21644/tid=21645] ppid=21642 vsize=15417412 memory=8317482817917895235 CPUtime=0.58 cores=0,2,4,6
/proc/21644/task/21645/stat : 21645 (java) S 21642 21642 19836 0 -1 1077944384 9076 0 0 0 54 4 0 0 20 0 19 0 445472422 15787429888 51758 33554432000 4194304 4196468 140725523198576 140137051145344 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21646] ppid=21642 vsize=15417412 memory=4872558044660077418 CPUtime=0.01 cores=0,2,4,6
/proc/21644/task/21646/stat : 21646 (java) S 21642 21642 19836 0 -1 1077944384 1067 0 0 0 1 0 0 0 20 0 19 0 445472423 15787429888 51758 33554432000 4194304 4196468 140725523198576 140136999525008 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21647] ppid=21642 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21647/stat : 21647 (java) S 21642 21642 19836 0 -1 1077944384 786 0 0 0 0 0 0 0 20 0 19 0 445472423 15787429888 51758 33554432000 4194304 4196468 140725523198576 140136638503440 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21648] ppid=21642 vsize=15417412 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21644/task/21648/stat : 21648 (java) S 21642 21642 19836 0 -1 1077944384 540 0 0 0 1 0 0 0 20 0 19 0 445472423 15787429888 51758 33554432000 4194304 4196468 140725523198576 140136637450640 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21649] ppid=21642 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21649/stat : 21649 (java) S 21642 21642 19836 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 19 0 445472423 15787429888 51758 33554432000 4194304 4196468 140725523198576 140136636397840 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21650] ppid=21642 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21650/stat : 21650 (java) S 21642 21642 19836 0 -1 1077944384 631 0 0 0 0 0 0 0 20 0 19 0 445472424 15787429888 51758 33554432000 4194304 4196468 140725523198576 140136515435376 140137046915714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21651] ppid=21642 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21651/stat : 21651 (java) S 21642 21642 19836 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 445472425 15787429888 51758 33554432000 4194304 4196468 140725523198576 140136514381408 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21652] ppid=21642 vsize=15417412 memory=2319389225255450928 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21652/stat : 21652 (java) S 21642 21642 19836 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 445472425 15787429888 51758 33554432000 4194304 4196468 140725523198576 140136513328512 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21653] ppid=21642 vsize=15417412 memory=3683999703556436534 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21653/stat : 21653 (java) S 21642 21642 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445472428 15787429888 51758 33554432000 4194304 4196468 140725523198576 140136512276816 140137046923163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21654] ppid=21642 vsize=15417412 memory=0 CPUtime=1.9 cores=0,2,4,6
/proc/21644/task/21654/stat : 21654 (java) S 21642 21642 19836 0 -1 1077944384 7339 0 0 0 189 1 0 0 20 0 19 0 445472428 15787429888 51758 33554432000 4194304 4196468 140725523198576 140136511224176 140137046915714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21655] ppid=21642 vsize=15417412 memory=0 CPUtime=1.86 cores=0,2,4,6
/proc/21644/task/21655/stat : 21655 (java) S 21642 21642 19836 0 -1 1077944384 7602 0 0 0 186 0 0 0 20 0 19 0 445472428 15787429888 51758 33554432000 4194304 4196468 140725523198576 140136510171376 140137046915714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21656] ppid=21642 vsize=15417412 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/21644/task/21656/stat : 21656 (java) S 21642 21642 19836 0 -1 1077944384 5701 0 0 0 57 0 0 0 20 0 19 0 445472428 15787429888 51758 33554432000 4194304 4196468 140725523198576 140136509118576 140137046915714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21657] ppid=21642 vsize=15417412 memory=188 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21657/stat : 21657 (java) S 21642 21642 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445472428 15787429888 51758 33554432000 4194304 4196468 140725523198576 140136508066016 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21658] ppid=21642 vsize=15417412 memory=183 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21658/stat : 21658 (java) S 21642 21642 19836 0 -1 1077944384 475 0 0 0 0 0 0 0 20 0 19 0 445472428 15787429888 51758 33554432000 4194304 4196468 140725523198576 140136507014320 140137046915714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 27 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21659] ppid=21642 vsize=15417412 memory=57 CPUtime=18.24 cores=0,2,4,6
/proc/21644/task/21659/stat : 21659 (java) R 21642 21642 19836 0 -1 4202560 413 0 0 0 1824 0 0 0 20 0 19 0 445472483 15787429888 51758 33554432000 4194304 4196468 140725523198576 140136497794744 140136685295890 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21660] ppid=21642 vsize=15417412 memory=0 CPUtime=18.34 cores=0,2,4,6
/proc/21644/task/21660/stat : 21660 (java) R 21642 21642 19836 0 -1 4202560 938 0 0 0 1833 1 0 0 20 0 19 0 445472483 15787429888 51758 33554432000 4194304 4196468 140725523198576 140136496742840 140136683804027 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21661] ppid=21642 vsize=15417412 memory=0 CPUtime=18.59 cores=0,2,4,6
/proc/21644/task/21661/stat : 21661 (java) R 21642 21642 19836 0 -1 4202560 453 0 0 0 1859 0 0 0 20 0 19 0 445472483 15787429888 51758 33554432000 4194304 4196468 140725523198576 140136495689400 140136684683960 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21662] ppid=21642 vsize=15417412 memory=1686 CPUtime=18.2 cores=0,2,4,6
/proc/21644/task/21662/stat : 21662 (java) R 21642 21642 19836 0 -1 4202560 762 0 0 0 1819 1 0 0 20 0 19 0 445472483 15787429888 51758 33554432000 4194304 4196468 140725523198576 140136494636840 140136683753905 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
Current children cumulated CPU time: 78.42 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 208480 KiB
[startup+20.8008 s]
/proc/loadavg: 8.68 8.45 6.34 9/237 21662
/proc/meminfo: memFree=28573324/32770624 swapFree=66922404/67108860
[pid=21642] ppid=21639 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21642/stat : 21642 (xcsp3-exec) S 21639 21642 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445472422 115843072 362 33554432000 4194304 5098028 140725633876752 140725633874856 139785639305852 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39911424 140725633885051 140725633885293 140725633885293 140725633888202 0
/proc/21642/statm: 28282 362 304 221 0 87 0
[pid=21644] ppid=21642 vsize=15417412 memory=203932 CPUtime=81.57 cores=0,2,4,6
/proc/21644/stat : 21644 (java) S 21642 21642 19836 0 -1 1077944320 37879 0 0 0 8145 12 0 0 20 0 19 0 445472422 15787429888 50983 33554432000 4194304 4196468 140725523198576 140725523181120 140137046904567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
/proc/21644/statm: 3854353 50983 3516 1 0 3815453 0
[pid=21644/tid=21645] ppid=21642 vsize=15417412 memory=1560 CPUtime=0.58 cores=0,2,4,6
/proc/21644/task/21645/stat : 21645 (java) S 21642 21642 19836 0 -1 1077944384 9076 0 0 0 54 4 0 0 20 0 19 0 445472422 15787429888 50983 33554432000 4194304 4196468 140725523198576 140137051145344 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21646] ppid=21642 vsize=15417412 memory=1172 CPUtime=0.01 cores=0,2,4,6
/proc/21644/task/21646/stat : 21646 (java) S 21642 21642 19836 0 -1 1077944384 1067 0 0 0 1 0 0 0 20 0 19 0 445472423 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136999525008 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21647] ppid=21642 vsize=15417412 memory=1695 CPUtime=0.01 cores=0,2,4,6
/proc/21644/task/21647/stat : 21647 (java) S 21642 21642 19836 0 -1 1077944384 786 0 0 0 1 0 0 0 20 0 19 0 445472423 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136638503440 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21648] ppid=21642 vsize=15417412 memory=1719 CPUtime=0.01 cores=0,2,4,6
/proc/21644/task/21648/stat : 21648 (java) S 21642 21642 19836 0 -1 1077944384 540 0 0 0 1 0 0 0 20 0 19 0 445472423 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136637450640 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21649] ppid=21642 vsize=15417412 memory=140556496469629 CPUtime=0.01 cores=0,2,4,6
/proc/21644/task/21649/stat : 21649 (java) S 21642 21642 19836 0 -1 1077944384 118 0 0 0 1 0 0 0 20 0 19 0 445472423 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136636397840 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21650] ppid=21642 vsize=15417412 memory=281112993028080 CPUtime=0.01 cores=0,2,4,6
/proc/21644/task/21650/stat : 21650 (java) S 21642 21642 19836 0 -1 1077944384 631 0 0 0 1 0 0 0 20 0 19 0 445472424 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136515435376 140137046915714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21651] ppid=21642 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21651/stat : 21651 (java) S 21642 21642 19836 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 445472425 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136514381408 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21652] ppid=21642 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21652/stat : 21652 (java) S 21642 21642 19836 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 445472425 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136513328512 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21653] ppid=21642 vsize=15417412 memory=206996 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21653/stat : 21653 (java) S 21642 21642 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445472428 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136512276816 140137046923163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21654] ppid=21642 vsize=15417412 memory=2116 CPUtime=1.92 cores=0,2,4,6
/proc/21644/task/21654/stat : 21654 (java) S 21642 21642 19836 0 -1 1077944384 7546 0 0 0 191 1 0 0 20 0 19 0 445472428 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136511224176 140137046915714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21655] ppid=21642 vsize=15417412 memory=13004 CPUtime=1.89 cores=0,2,4,6
/proc/21644/task/21655/stat : 21655 (java) S 21642 21642 19836 0 -1 1077944384 7890 0 0 0 189 0 0 0 20 0 19 0 445472428 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136510171376 140137046915714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21656] ppid=21642 vsize=15417412 memory=528 CPUtime=0.57 cores=0,2,4,6
/proc/21644/task/21656/stat : 21656 (java) S 21642 21642 19836 0 -1 1077944384 5789 0 0 0 57 0 0 0 20 0 19 0 445472428 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136509118576 140137046915714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21657] ppid=21642 vsize=15417412 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21657/stat : 21657 (java) S 21642 21642 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445472428 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136508066016 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21658] ppid=21642 vsize=15417412 memory=932 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21658/stat : 21658 (java) S 21642 21642 19836 0 -1 1077944384 478 0 0 0 0 0 0 0 20 0 19 0 445472428 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136507014320 140137046915714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21659] ppid=21642 vsize=15417412 memory=1492 CPUtime=19.02 cores=0,2,4,6
/proc/21644/task/21659/stat : 21659 (java) R 21642 21642 19836 0 -1 4202560 414 0 0 0 1902 0 0 0 20 0 19 0 445472483 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136497794408 140136684834600 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21660] ppid=21642 vsize=15417412 memory=6791534058613427641 CPUtime=19.08 cores=0,2,4,6
/proc/21644/task/21660/stat : 21660 (java) R 21642 21642 19836 0 -1 4202560 939 0 0 0 1907 1 0 0 20 0 19 0 445472483 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136496742392 140136685489829 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21661] ppid=21642 vsize=15417412 memory=206804 CPUtime=19.36 cores=0,2,4,6
/proc/21644/task/21661/stat : 21661 (java) R 21642 21642 19836 0 -1 4202560 453 0 0 0 1936 0 0 0 20 0 19 0 445472483 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136495689928 140136684956286 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21662] ppid=21642 vsize=15417412 memory=3616 CPUtime=18.98 cores=0,2,4,6
/proc/21644/task/21662/stat : 21662 (java) R 21642 21642 19836 0 -1 4202560 762 0 0 0 1897 1 0 0 20 0 19 0 445472483 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136494636840 140136683755103 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
Current children cumulated CPU time: 81.57 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 205380 KiB
[startup+21.2008 s]
/proc/loadavg: 8.68 8.45 6.34 9/237 21662
/proc/meminfo: memFree=28575868/32770624 swapFree=66922404/67108860
[pid=21642] ppid=21639 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21642/stat : 21642 (xcsp3-exec) S 21639 21642 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445472422 115843072 362 33554432000 4194304 5098028 140725633876752 140725633874856 139785639305852 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39911424 140725633885051 140725633885293 140725633885293 140725633888202 0
/proc/21642/statm: 28282 362 304 221 0 87 0
[pid=21644] ppid=21642 vsize=15417412 memory=203932 CPUtime=83.15 cores=0,2,4,6
/proc/21644/stat : 21644 (java) S 21642 21642 19836 0 -1 1077944320 37879 0 0 0 8303 12 0 0 20 0 19 0 445472422 15787429888 50983 33554432000 4194304 4196468 140725523198576 140725523181120 140137046904567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
/proc/21644/statm: 3854353 50983 3516 1 0 3815453 0
[pid=21644/tid=21645] ppid=21642 vsize=15417412 memory=6944656592455097440 CPUtime=0.58 cores=0,2,4,6
/proc/21644/task/21645/stat : 21645 (java) S 21642 21642 19836 0 -1 1077944384 9076 0 0 0 54 4 0 0 20 0 19 0 445472422 15787429888 50983 33554432000 4194304 4196468 140725523198576 140137051145344 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21646] ppid=21642 vsize=15417412 memory=7234030490512353113 CPUtime=0.01 cores=0,2,4,6
/proc/21644/task/21646/stat : 21646 (java) S 21642 21642 19836 0 -1 1077944384 1067 0 0 0 1 0 0 0 20 0 19 0 445472423 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136999525008 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21647] ppid=21642 vsize=15417412 memory=7588671304909280615 CPUtime=0.01 cores=0,2,4,6
/proc/21644/task/21647/stat : 21647 (java) S 21642 21642 19836 0 -1 1077944384 786 0 0 0 1 0 0 0 20 0 19 0 445472423 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136638503440 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21648] ppid=21642 vsize=15417412 memory=7588671304909280615 CPUtime=0.01 cores=0,2,4,6
/proc/21644/task/21648/stat : 21648 (java) S 21642 21642 19836 0 -1 1077944384 540 0 0 0 1 0 0 0 20 0 19 0 445472423 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136637450640 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21649] ppid=21642 vsize=15417412 memory=5791726317272917849 CPUtime=0.01 cores=0,2,4,6
/proc/21644/task/21649/stat : 21649 (java) S 21642 21642 19836 0 -1 1077944384 118 0 0 0 1 0 0 0 20 0 19 0 445472423 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136636397840 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21650] ppid=21642 vsize=15417412 memory=7588671304909280615 CPUtime=0.01 cores=0,2,4,6
/proc/21644/task/21650/stat : 21650 (java) S 21642 21642 19836 0 -1 1077944384 631 0 0 0 1 0 0 0 20 0 19 0 445472424 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136515435376 140137046915714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21651] ppid=21642 vsize=15417412 memory=5937828319052457572 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21651/stat : 21651 (java) S 21642 21642 19836 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 445472425 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136514381408 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21652] ppid=21642 vsize=15417412 memory=7660741083804557669 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21652/stat : 21652 (java) S 21642 21642 19836 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 445472425 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136513328512 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21653] ppid=21642 vsize=15417412 memory=7735057074742455384 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21653/stat : 21653 (java) S 21642 21642 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445472428 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136512276816 140137046923163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21654] ppid=21642 vsize=15417412 memory=56 CPUtime=1.92 cores=0,2,4,6
/proc/21644/task/21654/stat : 21654 (java) S 21642 21642 19836 0 -1 1077944384 7546 0 0 0 191 1 0 0 20 0 19 0 445472428 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136511224176 140137046915714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21655] ppid=21642 vsize=15417412 memory=0 CPUtime=1.89 cores=0,2,4,6
/proc/21644/task/21655/stat : 21655 (java) S 21642 21642 19836 0 -1 1077944384 7890 0 0 0 189 0 0 0 20 0 19 0 445472428 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136510171376 140137046915714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21656] ppid=21642 vsize=15417412 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/21644/task/21656/stat : 21656 (java) S 21642 21642 19836 0 -1 1077944384 5789 0 0 0 57 0 0 0 20 0 19 0 445472428 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136509118576 140137046915714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21657] ppid=21642 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21657/stat : 21657 (java) S 21642 21642 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445472428 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136508066016 140137046914773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21658] ppid=21642 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21644/task/21658/stat : 21658 (java) S 21642 21642 19836 0 -1 1077944384 478 0 0 0 0 0 0 0 20 0 19 0 445472428 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136507014320 140137046915714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21659] ppid=21642 vsize=15417412 memory=576461256482450691 CPUtime=19.42 cores=0,2,4,6
/proc/21644/task/21659/stat : 21659 (java) R 21642 21642 19836 0 -1 4202560 414 0 0 0 1942 0 0 0 20 0 19 0 445472483 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136497794408 140136684957017 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21660] ppid=21642 vsize=15417412 memory=2811648 CPUtime=19.48 cores=0,2,4,6
/proc/21644/task/21660/stat : 21660 (java) R 21642 21642 19836 0 -1 4202560 939 0 0 0 1947 1 0 0 20 0 19 0 445472483 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136496742392 140136683291076 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21661] ppid=21642 vsize=15417412 memory=2843033 CPUtime=19.75 cores=0,2,4,6
/proc/21644/task/21661/stat : 21661 (java) R 21642 21642 19836 0 -1 4202560 453 0 0 0 1975 0 0 0 20 0 19 0 445472483 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136495689928 140136684498221 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
[pid=21644/tid=21662] ppid=21642 vsize=15417412 memory=0 CPUtime=19.38 cores=0,2,4,6
/proc/21644/task/21662/stat : 21662 (java) R 21642 21642 19836 0 -1 4202560 762 0 0 0 1937 1 0 0 20 0 19 0 445472483 15787429888 50983 33554432000 4194304 4196468 140725523198576 140136494636840 140136684836947 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725523207151 140725523207322 140725523207322 140725523210191 0
Current children cumulated CPU time: 83.15 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 205380 KiB
Child status: 0
Real time (s): 21.2416
CPU time (s): 83.3101
CPU user time (s): 83.1751
CPU system time (s): 0.135039
CPU usage (%): 392.202
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 208484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83.1751
system time used= 0.135039
maximum resident set size= 207036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38936
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= 3111
involuntary context switches= 2394
# summary of solver processes directly reported to runsolver:
# pid: 21642
# total CPU time (s): 83.3101
# total CPU user time (s): 83.1751
# total CPU system time (s): 0.135039
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.15971 second user time and 0.265233 second system time
The end