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 (15174 MiB free)
memory of node 1: 16384 MiB (15686 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281874-1503140015/watcher-4281874-1503140015 -o /tmp/evaluation-result-4281874-1503140015/solver-4281874-1503140015 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503095823-17351 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1675922286 HOME/instance-4281874-1503140015.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
solver pid=26282, runsolver pid=26279
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.40 1.25 1.30 3/198 26285
/proc/meminfo: memFree=31600628/32770624 swapFree=67108860/67108860
[pid=26282] ppid=26279 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/26282/stat : 26282 (xcsp3-exec) S 26279 26282 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 12410606 9740288 344 18446744073709551615 4194304 5098028 140727795453360 140727795451464 139841372299900 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 17723392 140727795454329 140727795454534 140727795454534 140727795458027 0
/proc/26282/statm: 2378 344 289 221 0 87 0
[pid=26284] ppid=26282 vsize=13358712 memory=11464 CPUtime=0 cores=1,3,5,7
/proc/26284/stat : 26284 (java) S 26282 26282 17292 0 -1 1077944320 2655 0 0 0 0 0 0 0 20 0 6 0 12410616 13679321088 2866 18446744073709551615 4194304 4196468 140722990620544 140722990603088 140468610694903 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
/proc/26284/statm: 3339678 2866 1350 1 0 3329175 0
[pid=26284/tid=26285] ppid=26282 vsize=13358712 memory=-8713483618642852700 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26285/stat : 26285 (java) R 26282 26282 17292 0 -1 4202560 1445 0 0 0 0 0 0 0 20 0 6 0 12410616 13679321088 2932 18446744073709551615 4194304 4196468 140722990620544 140468614931024 140468571676227 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26286] ppid=26282 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26286/stat : 26286 (java) S 26282 26282 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 12410616 13679321088 2932 18446744073709551615 4194304 4196468 140722990620544 140468530109072 140468610705109 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26287] ppid=26282 vsize=13358712 memory=140594073089664 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26287/stat : 26287 (java) S 26282 26282 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 12410616 13679321088 2932 18446744073709551615 4194304 4196468 140722990620544 140468529056272 140468610705109 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26288] ppid=26282 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26288/stat : 26288 (java) S 26282 26282 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 12410616 13679321088 2932 18446744073709551615 4194304 4196468 140722990620544 140468528003472 140468610705109 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26289] ppid=26282 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26289/stat : 26289 (java) S 26282 26282 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 12410616 13679321088 2932 18446744073709551615 4194304 4196468 140722990620544 140468526950672 140468610705109 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 12840 KiB
[startup+0.214618 s]*
/proc/loadavg: 1.40 1.25 1.30 3/211 26298
/proc/meminfo: memFree=31587952/32770624 swapFree=67108860/67108860
[pid=26282] ppid=26279 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/26282/stat : 26282 (xcsp3-exec) S 26279 26282 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 12410606 9740288 344 18446744073709551615 4194304 5098028 140727795453360 140727795451464 139841372299900 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 17723392 140727795454329 140727795454534 140727795454534 140727795458027 0
/proc/26282/statm: 2378 344 289 221 0 87 0
[pid=26284] ppid=26282 vsize=13974352 memory=26696 CPUtime=0.09 cores=1,3,5,7
/proc/26284/stat : 26284 (java) S 26282 26282 17292 0 -1 1077944320 5068 0 0 0 8 1 0 0 20 0 15 0 12410616 14309736448 6674 18446744073709551615 4194304 4196468 140722990620544 140722990603088 140468610694903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
/proc/26284/statm: 3493588 6674 2747 1 0 3482964 0
[pid=26284/tid=26285] ppid=26282 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=1,3,5,7
/proc/26284/task/26285/stat : 26285 (java) R 26282 26282 17292 0 -1 4202560 3215 0 0 0 7 0 0 0 20 0 15 0 12410616 14309736448 6674 18446744073709551615 4194304 4196468 140722990620544 140468614924144 140468603372917 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26286] ppid=26282 vsize=13974352 memory=10613 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26286/stat : 26286 (java) S 26282 26282 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12410616 14309736448 6674 18446744073709551615 4194304 4196468 140722990620544 140468530109072 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26287] ppid=26282 vsize=13974352 memory=3617154733532034720 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26287/stat : 26287 (java) S 26282 26282 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12410616 14309736448 6674 18446744073709551615 4194304 4196468 140722990620544 140468529056272 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26288] ppid=26282 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26288/stat : 26288 (java) S 26282 26282 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12410616 14309736448 6674 18446744073709551615 4194304 4196468 140722990620544 140468528003472 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26289] ppid=26282 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26289/stat : 26289 (java) S 26282 26282 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12410616 14309736448 6674 18446744073709551615 4194304 4196468 140722990620544 140468526950672 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26290] ppid=26282 vsize=13974352 memory=140594073089664 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26290/stat : 26290 (java) S 26282 26282 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12410618 14309736448 6674 18446744073709551615 4194304 4196468 140722990620544 140468088736624 140468610706050 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26291] ppid=26282 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26291/stat : 26291 (java) S 26282 26282 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12410618 14309736448 6674 18446744073709551615 4194304 4196468 140722990620544 140468087682592 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26292] ppid=26282 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26292/stat : 26292 (java) S 26282 26282 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12410618 14309736448 6674 18446744073709551615 4194304 4196468 140722990620544 140468086629744 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26293] ppid=26282 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26293/stat : 26293 (java) S 26282 26282 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12410621 14309736448 6674 18446744073709551615 4194304 4196468 140722990620544 140468085578064 140468610713499 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26294] ppid=26282 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26294/stat : 26294 (java) R 26282 26282 17292 0 -1 4202560 296 0 0 0 0 0 0 0 20 0 15 0 12410621 14309736448 6674 18446744073709551615 4194304 4196468 140722990620544 140468084525424 140468610716250 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26295] ppid=26282 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26295/stat : 26295 (java) S 26282 26282 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12410621 14309736448 6674 18446744073709551615 4194304 4196468 140722990620544 140468083472624 140468610706050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26296] ppid=26282 vsize=13974352 memory=140594073089664 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26296/stat : 26296 (java) R 26282 26282 17292 0 -1 4202560 249 0 0 0 0 0 0 0 20 0 15 0 12410621 14309736448 6674 18446744073709551615 4194304 4196468 140722990620544 140468082419824 140468610706838 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26297] ppid=26282 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26297/stat : 26297 (java) S 26282 26282 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12410621 14309736448 6674 18446744073709551615 4194304 4196468 140722990620544 140468081367264 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26298] ppid=26282 vsize=13974352 memory=140594073089664 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26298/stat : 26298 (java) S 26282 26282 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12410625 14309736448 6674 18446744073709551615 4194304 4196468 140722990620544 140468080315568 140468610706050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28072 KiB
[startup+0.310267 s]*
/proc/loadavg: 1.40 1.25 1.30 3/211 26298
/proc/meminfo: memFree=31574224/32770624 swapFree=67108860/67108860
[pid=26282] ppid=26279 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/26282/stat : 26282 (xcsp3-exec) S 26279 26282 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 12410606 9740288 344 18446744073709551615 4194304 5098028 140727795453360 140727795451464 139841372299900 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 17723392 140727795454329 140727795454534 140727795454534 140727795458027 0
/proc/26282/statm: 2378 344 289 221 0 87 0
[pid=26284] ppid=26282 vsize=13974352 memory=37352 CPUtime=0.27 cores=1,3,5,7
/proc/26284/stat : 26284 (java) S 26282 26282 17292 0 -1 1077944320 8874 0 0 0 25 2 0 0 20 0 15 0 12410616 14309736448 9338 18446744073709551615 4194304 4196468 140722990620544 140722990603088 140468610694903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
/proc/26284/statm: 3493588 9338 2985 1 0 3482964 0
[pid=26284/tid=26285] ppid=26282 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/26284/task/26285/stat : 26285 (java) R 26282 26282 17292 0 -1 4202560 6059 0 0 0 15 1 0 0 20 0 15 0 12410616 14309736448 9338 18446744073709551615 4194304 4196468 140722990620544 140468614928944 140468197411111 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26286] ppid=26282 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26286/stat : 26286 (java) S 26282 26282 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12410616 14309736448 9338 18446744073709551615 4194304 4196468 140722990620544 140468530109072 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26287] ppid=26282 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26287/stat : 26287 (java) S 26282 26282 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12410616 14309736448 9338 18446744073709551615 4194304 4196468 140722990620544 140468529056272 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26288] ppid=26282 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26288/stat : 26288 (java) S 26282 26282 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12410616 14309736448 9338 18446744073709551615 4194304 4196468 140722990620544 140468528003472 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26289] ppid=26282 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26289/stat : 26289 (java) S 26282 26282 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12410616 14309736448 9338 18446744073709551615 4194304 4196468 140722990620544 140468526950672 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26290] ppid=26282 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26290/stat : 26290 (java) S 26282 26282 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12410618 14309736448 9338 18446744073709551615 4194304 4196468 140722990620544 140468088736624 140468610706050 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26291] ppid=26282 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26291/stat : 26291 (java) S 26282 26282 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12410618 14309736448 9338 18446744073709551615 4194304 4196468 140722990620544 140468087682592 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26292] ppid=26282 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26292/stat : 26292 (java) S 26282 26282 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12410618 14309736448 9338 18446744073709551615 4194304 4196468 140722990620544 140468086629744 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26293] ppid=26282 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26293/stat : 26293 (java) S 26282 26282 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12410621 14309736448 9338 18446744073709551615 4194304 4196468 140722990620544 140468085578064 140468610713499 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26294] ppid=26282 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26284/task/26294/stat : 26294 (java) S 26282 26282 17292 0 -1 1077944384 557 0 0 0 1 0 0 0 20 0 15 0 12410621 14309736448 9338 18446744073709551615 4194304 4196468 140722990620544 140468084525424 140468610706050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26295] ppid=26282 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/26284/task/26295/stat : 26295 (java) S 26282 26282 17292 0 -1 1077944384 217 0 0 0 1 0 0 0 20 0 15 0 12410621 14309736448 9338 18446744073709551615 4194304 4196468 140722990620544 140468083472624 140468610706050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26296] ppid=26282 vsize=13974352 memory=140594073089664 CPUtime=0.05 cores=1,3,5,7
/proc/26284/task/26296/stat : 26296 (java) R 26282 26282 17292 0 -1 4202560 737 0 0 0 5 0 0 0 20 0 15 0 12410621 14309736448 9338 18446744073709551615 4194304 4196468 140722990620544 140468082416192 140468589818438 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26297] ppid=26282 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26297/stat : 26297 (java) S 26282 26282 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12410621 14309736448 9338 18446744073709551615 4194304 4196468 140722990620544 140468081367264 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26298] ppid=26282 vsize=13974352 memory=140594073089664 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26298/stat : 26298 (java) S 26282 26282 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12410625 14309736448 9338 18446744073709551615 4194304 4196468 140722990620544 140468080315568 140468610706050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38728 KiB
[startup+0.70077 s]
/proc/loadavg: 1.40 1.25 1.30 5/211 26298
/proc/meminfo: memFree=31562292/32770624 swapFree=67108860/67108860
[pid=26282] ppid=26279 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/26282/stat : 26282 (xcsp3-exec) S 26279 26282 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 12410606 9740288 344 18446744073709551615 4194304 5098028 140727795453360 140727795451464 139841372299900 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 17723392 140727795454329 140727795454534 140727795454534 140727795458027 0
/proc/26282/statm: 2378 344 289 221 0 87 0
[pid=26284] ppid=26282 vsize=13980732 memory=60236 CPUtime=1.21 cores=1,3,5,7
/proc/26284/stat : 26284 (java) S 26282 26282 17292 0 -1 1077944320 12856 0 0 0 117 4 0 0 20 0 15 0 12410616 14316269568 15059 18446744073709551615 4194304 4196468 140722990620544 140722990603088 140468610694903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
/proc/26284/statm: 3495183 15059 3175 1 0 3483476 0
[pid=26284/tid=26285] ppid=26282 vsize=13980732 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/26284/task/26285/stat : 26285 (java) R 26282 26282 17292 0 -1 4202560 8000 0 0 0 52 2 0 0 20 0 15 0 12410616 14316269568 15059 18446744073709551615 4194304 4196468 140722990620544 140468614932888 140468200210752 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26286] ppid=26282 vsize=13980732 memory=164 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26286/stat : 26286 (java) S 26282 26282 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12410616 14316269568 15059 18446744073709551615 4194304 4196468 140722990620544 140468530109072 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26287] ppid=26282 vsize=13980732 memory=83396 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26287/stat : 26287 (java) S 26282 26282 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12410616 14316269568 15059 18446744073709551615 4194304 4196468 140722990620544 140468529056272 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26288] ppid=26282 vsize=13980732 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26288/stat : 26288 (java) S 26282 26282 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12410616 14316269568 15059 18446744073709551615 4194304 4196468 140722990620544 140468528003472 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26289] ppid=26282 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26289/stat : 26289 (java) S 26282 26282 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12410616 14316269568 15059 18446744073709551615 4194304 4196468 140722990620544 140468526950672 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26290] ppid=26282 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26290/stat : 26290 (java) S 26282 26282 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 12410618 14316269568 15059 18446744073709551615 4194304 4196468 140722990620544 140468088736624 140468610706050 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26291] ppid=26282 vsize=13980732 memory=3041 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26291/stat : 26291 (java) S 26282 26282 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12410618 14316269568 15059 18446744073709551615 4194304 4196468 140722990620544 140468087682592 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26292] ppid=26282 vsize=13980732 memory=15457 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26292/stat : 26292 (java) S 26282 26282 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12410618 14316269568 15059 18446744073709551615 4194304 4196468 140722990620544 140468086629744 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26293] ppid=26282 vsize=13980732 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26293/stat : 26293 (java) S 26282 26282 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12410621 14316269568 15059 18446744073709551615 4194304 4196468 140722990620544 140468085578064 140468610713499 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26294] ppid=26282 vsize=13980732 memory=6628 CPUtime=0.21 cores=1,3,5,7
/proc/26284/task/26294/stat : 26294 (java) R 26282 26282 17292 0 -1 4202560 1171 0 0 0 21 0 0 0 20 0 15 0 12410621 14316269568 15059 18446744073709551615 4194304 4196468 140722990620544 140468084511992 140468595574470 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26295] ppid=26282 vsize=13980732 memory=8836 CPUtime=0.22 cores=1,3,5,7
/proc/26284/task/26295/stat : 26295 (java) R 26282 26282 17292 0 -1 4202560 1119 0 0 0 22 0 0 0 20 0 15 0 12410621 14316269568 15059 18446744073709551615 4194304 4196468 140722990620544 140468083460144 140468589938982 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26296] ppid=26282 vsize=13980732 memory=11044 CPUtime=0.22 cores=1,3,5,7
/proc/26284/task/26296/stat : 26296 (java) R 26282 26282 17292 0 -1 1077944384 1258 0 0 0 22 0 0 0 20 0 15 0 12410621 14316269568 15059 18446744073709551615 4194304 4196468 140722990620544 140468082419824 140468610706050 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26297] ppid=26282 vsize=13980732 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26297/stat : 26297 (java) S 26282 26282 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12410621 14316269568 15059 18446744073709551615 4194304 4196468 140722990620544 140468081367264 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26298] ppid=26282 vsize=13980732 memory=15460 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26298/stat : 26298 (java) S 26282 26282 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12410625 14316269568 15059 18446744073709551615 4194304 4196468 140722990620544 140468080315568 140468610706050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 61612 KiB
[startup+1.50075 s]
/proc/loadavg: 1.40 1.25 1.30 5/211 26298
/proc/meminfo: memFree=31508964/32770624 swapFree=67108860/67108860
[pid=26282] ppid=26279 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/26282/stat : 26282 (xcsp3-exec) S 26279 26282 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 12410606 9740288 344 18446744073709551615 4194304 5098028 140727795453360 140727795451464 139841372299900 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 17723392 140727795454329 140727795454534 140727795454534 140727795458027 0
/proc/26282/statm: 2378 344 289 221 0 87 0
[pid=26284] ppid=26282 vsize=13980732 memory=119592 CPUtime=3.64 cores=1,3,5,7
/proc/26284/stat : 26284 (java) S 26282 26282 17292 0 -1 1077944320 38516 0 0 0 357 7 0 0 20 0 15 0 12410616 14316269568 29898 18446744073709551615 4194304 4196468 140722990620544 140722990603088 140468610694903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
/proc/26284/statm: 3495183 29898 3187 1 0 3483476 0
[pid=26284/tid=26285] ppid=26282 vsize=13980732 memory=1767714588161 CPUtime=1.33 cores=1,3,5,7
/proc/26284/task/26285/stat : 26285 (java) R 26282 26282 17292 0 -1 4202560 8104 0 0 0 131 2 0 0 20 0 15 0 12410616 14316269568 29898 18446744073709551615 4194304 4196468 140722990620544 140468614930768 140468201012566 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26286] ppid=26282 vsize=13980732 memory=1879383736321 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26286/stat : 26286 (java) S 26282 26282 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12410616 14316269568 29898 18446744073709551615 4194304 4196468 140722990620544 140468530109072 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26287] ppid=26282 vsize=13980732 memory=114764 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26287/stat : 26287 (java) S 26282 26282 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12410616 14316269568 29898 18446744073709551615 4194304 4196468 140722990620544 140468529056272 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26288] ppid=26282 vsize=13980732 memory=114788 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26288/stat : 26288 (java) S 26282 26282 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12410616 14316269568 29898 18446744073709551615 4194304 4196468 140722990620544 140468528003472 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26289] ppid=26282 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26289/stat : 26289 (java) S 26282 26282 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12410616 14316269568 29898 18446744073709551615 4194304 4196468 140722990620544 140468526950672 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26290] ppid=26282 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26290/stat : 26290 (java) S 26282 26282 17292 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 12410618 14316269568 29898 18446744073709551615 4194304 4196468 140722990620544 140468088736624 140468610706050 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26291] ppid=26282 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26291/stat : 26291 (java) S 26282 26282 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12410618 14316269568 29898 18446744073709551615 4194304 4196468 140722990620544 140468087682592 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26292] ppid=26282 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/26282/stat : 26282 (xcsp3-exec) S 26279 26282 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 12410606 9740288 344 18446744073709551615 4194304 5098028 140727795453360 140727795451464 139841372299900 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 17723392 140727795454329 140727795454534 140727795454534 140727795458027 0
/proc/26282/statm: 2378 344 289 221 0 87 0
[pid=26284] ppid=26282 vsize=13980732 memory=277412 CPUtime=187.21 cores=1,3,5,7
/proc/26284/stat : 26284 (java) S 26282 26282 17292 0 -1 1077944320 64433 0 0 0 18684 37 0 0 20 0 15 0 12410616 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140722990603088 140468610694903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
/proc/26284/statm: 3495183 69353 3223 1 0 3483476 0
[pid=26284/tid=26285] ppid=26282 vsize=13980732 memory=1376 CPUtime=181.19 cores=1,3,5,7
/proc/26284/task/26285/stat : 26285 (java) R 26282 26282 17292 0 -1 4202560 15867 0 0 0 18112 7 0 0 20 0 15 0 12410616 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468614934288 140468200904499 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26286] ppid=26282 vsize=13980732 memory=276244 CPUtime=0.52 cores=1,3,5,7
/proc/26284/task/26286/stat : 26286 (java) S 26282 26282 17292 0 -1 1077944384 1403 0 0 0 48 4 0 0 20 0 15 0 12410616 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468530109072 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26287] ppid=26282 vsize=13980732 memory=-8774313645642428999 CPUtime=0.52 cores=1,3,5,7
/proc/26284/task/26287/stat : 26287 (java) S 26282 26282 17292 0 -1 1077944384 2049 0 0 0 47 5 0 0 20 0 15 0 12410616 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468529056272 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26288] ppid=26282 vsize=13980732 memory=277928 CPUtime=0.51 cores=1,3,5,7
/proc/26284/task/26288/stat : 26288 (java) S 26282 26282 17292 0 -1 1077944384 1591 0 0 0 47 4 0 0 20 0 15 0 12410616 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468528003472 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26289] ppid=26282 vsize=13980732 memory=1200 CPUtime=0.5 cores=1,3,5,7
/proc/26284/task/26289/stat : 26289 (java) S 26282 26282 17292 0 -1 1077944384 2317 0 0 0 44 6 0 0 20 0 15 0 12410616 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468526950672 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26290] ppid=26282 vsize=13980732 memory=15876 CPUtime=0.37 cores=1,3,5,7
/proc/26284/task/26290/stat : 26290 (java) S 26282 26282 17292 0 -1 1077944384 1690 0 0 0 34 3 0 0 20 0 15 0 12410618 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468088736624 140468610706050 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26291] ppid=26282 vsize=13980732 memory=792 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26291/stat : 26291 (java) S 26282 26282 17292 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 12410618 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468087682592 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26292] ppid=26282 vsize=13980732 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26292/stat : 26292 (java) S 26282 26282 17292 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 12410618 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468086629744 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26293] ppid=26282 vsize=13980732 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26293/stat : 26293 (java) S 26282 26282 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12410621 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468085578064 140468610713499 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26294] ppid=26282 vsize=13980732 memory=6788 CPUtime=1.55 cores=1,3,5,7
/proc/26284/task/26294/stat : 26294 (java) S 26282 26282 17292 0 -1 1077944384 13656 0 0 0 153 2 0 0 20 0 15 0 12410621 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468084525424 140468610706050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26295] ppid=26282 vsize=13980732 memory=12980 CPUtime=1.59 cores=1,3,5,7
/proc/26284/task/26295/stat : 26295 (java) S 26282 26282 17292 0 -1 1077944384 20357 0 0 0 157 2 0 0 20 0 15 0 12410621 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468083472624 140468610706050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26296] ppid=26282 vsize=13980732 memory=1440 CPUtime=0.3 cores=1,3,5,7
/proc/26284/task/26296/stat : 26296 (java) S 26282 26282 17292 0 -1 1077944384 3490 0 0 0 29 1 0 0 20 0 15 0 12410621 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468082419824 140468610706050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26297] ppid=26282 vsize=13980732 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26297/stat : 26297 (java) S 26282 26282 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12410621 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468081367264 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26298] ppid=26282 vsize=13980732 memory=5404 CPUtime=0.07 cores=1,3,5,7
/proc/26284/task/26298/stat : 26298 (java) S 26282 26282 17292 0 -1 1077944384 664 0 0 0 3 4 0 0 20 0 15 0 12410625 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468080315568 140468610706050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
Current children cumulated CPU time: 187.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 278788 KiB
[startup+184.001 s]*
/proc/loadavg: 1.28 1.27 1.31 3/212 26319
/proc/meminfo: memFree=31115304/32770624 swapFree=67108860/67108860
[pid=26282] ppid=26279 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/26282/stat : 26282 (xcsp3-exec) S 26279 26282 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 12410606 9740288 344 18446744073709551615 4194304 5098028 140727795453360 140727795451464 139841372299900 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 17723392 140727795454329 140727795454534 140727795454534 140727795458027 0
/proc/26282/statm: 2378 344 289 221 0 87 0
[pid=26284] ppid=26282 vsize=13980732 memory=277412 CPUtime=188.82 cores=1,3,5,7
/proc/26284/stat : 26284 (java) S 26282 26282 17292 0 -1 1077944320 64439 0 0 0 18845 37 0 0 20 0 15 0 12410616 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140722990603088 140468610694903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
/proc/26284/statm: 3495183 69353 3223 1 0 3483476 0
[pid=26284/tid=26285] ppid=26282 vsize=13980732 memory=-8774313645642428999 CPUtime=182.79 cores=1,3,5,7
/proc/26284/task/26285/stat : 26285 (java) R 26282 26282 17292 0 -1 4202560 15868 0 0 0 18272 7 0 0 20 0 15 0 12410616 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468614934160 140468200905766 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26286] ppid=26282 vsize=13980732 memory=4126316290023845779 CPUtime=0.52 cores=1,3,5,7
/proc/26284/task/26286/stat : 26286 (java) S 26282 26282 17292 0 -1 1077944384 1403 0 0 0 48 4 0 0 20 0 15 0 12410616 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468530109072 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26287] ppid=26282 vsize=13980732 memory=5404 CPUtime=0.52 cores=1,3,5,7
/proc/26284/task/26287/stat : 26287 (java) S 26282 26282 17292 0 -1 1077944384 2050 0 0 0 47 5 0 0 20 0 15 0 12410616 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468529056272 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26288] ppid=26282 vsize=13980732 memory=1704 CPUtime=0.52 cores=1,3,5,7
/proc/26284/task/26288/stat : 26288 (java) S 26282 26282 17292 0 -1 1077944384 1591 0 0 0 48 4 0 0 20 0 15 0 12410616 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468528003472 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26289] ppid=26282 vsize=13980732 memory=4616 CPUtime=0.5 cores=1,3,5,7
/proc/26284/task/26289/stat : 26289 (java) S 26282 26282 17292 0 -1 1077944384 2317 0 0 0 44 6 0 0 20 0 15 0 12410616 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468526950672 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26290] ppid=26282 vsize=13980732 memory=1004 CPUtime=0.37 cores=1,3,5,7
/proc/26284/task/26290/stat : 26290 (java) S 26282 26282 17292 0 -1 1077944384 1692 0 0 0 34 3 0 0 20 0 15 0 12410618 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468088736624 140468610706050 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26291] ppid=26282 vsize=13980732 memory=8696 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26291/stat : 26291 (java) S 26282 26282 17292 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 12410618 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468087682592 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26292] ppid=26282 vsize=13980732 memory=792 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26292/stat : 26292 (java) S 26282 26282 17292 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 12410618 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468086629744 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26293] ppid=26282 vsize=13980732 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26293/stat : 26293 (java) S 26282 26282 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12410621 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468085578064 140468610713499 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26294] ppid=26282 vsize=13980732 memory=15876 CPUtime=1.55 cores=1,3,5,7
/proc/26284/task/26294/stat : 26294 (java) S 26282 26282 17292 0 -1 1077944384 13656 0 0 0 153 2 0 0 20 0 15 0 12410621 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468084525424 140468610706050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26295] ppid=26282 vsize=13980732 memory=6788 CPUtime=1.59 cores=1,3,5,7
/proc/26284/task/26295/stat : 26295 (java) S 26282 26282 17292 0 -1 1077944384 20357 0 0 0 157 2 0 0 20 0 15 0 12410621 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468083472624 140468610706050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26296] ppid=26282 vsize=13980732 memory=16444 CPUtime=0.3 cores=1,3,5,7
/proc/26284/task/26296/stat : 26296 (java) S 26282 26282 17292 0 -1 1077944384 3490 0 0 0 29 1 0 0 20 0 15 0 12410621 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468082419824 140468610706050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26297] ppid=26282 vsize=13980732 memory=4012 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26297/stat : 26297 (java) S 26282 26282 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12410621 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468081367264 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26298] ppid=26282 vsize=13980732 memory=288230574492221466 CPUtime=0.07 cores=1,3,5,7
/proc/26284/task/26298/stat : 26298 (java) S 26282 26282 17292 0 -1 1077944384 666 0 0 0 3 4 0 0 20 0 15 0 12410625 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468080315568 140468610706050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
Current children cumulated CPU time: 188.82 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 278788 KiB
[startup+184.801 s]
/proc/loadavg: 1.28 1.27 1.31 3/212 26319
/proc/meminfo: memFree=31115304/32770624 swapFree=67108860/67108860
[pid=26282] ppid=26279 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/26282/stat : 26282 (xcsp3-exec) S 26279 26282 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 12410606 9740288 344 18446744073709551615 4194304 5098028 140727795453360 140727795451464 139841372299900 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 17723392 140727795454329 140727795454534 140727795454534 140727795458027 0
/proc/26282/statm: 2378 344 289 221 0 87 0
[pid=26284] ppid=26282 vsize=13980732 memory=277412 CPUtime=189.61 cores=1,3,5,7
/proc/26284/stat : 26284 (java) S 26282 26282 17292 0 -1 1077944320 64439 0 0 0 18924 37 0 0 20 0 15 0 12410616 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140722990603088 140468610694903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
/proc/26284/statm: 3495183 69353 3223 1 0 3483476 0
[pid=26284/tid=26285] ppid=26282 vsize=13980732 memory=277412 CPUtime=183.58 cores=1,3,5,7
/proc/26284/task/26285/stat : 26285 (java) R 26282 26282 17292 0 -1 4202560 15868 0 0 0 18351 7 0 0 20 0 15 0 12410616 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468614934160 140468200685234 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26286] ppid=26282 vsize=13980732 memory=2432 CPUtime=0.52 cores=1,3,5,7
/proc/26284/task/26286/stat : 26286 (java) S 26282 26282 17292 0 -1 1077944384 1403 0 0 0 48 4 0 0 20 0 15 0 12410616 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468530109072 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26287] ppid=26282 vsize=13980732 memory=1728 CPUtime=0.52 cores=1,3,5,7
/proc/26284/task/26287/stat : 26287 (java) S 26282 26282 17292 0 -1 1077944384 2050 0 0 0 47 5 0 0 20 0 15 0 12410616 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468529056272 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26288] ppid=26282 vsize=13980732 memory=1228 CPUtime=0.52 cores=1,3,5,7
/proc/26284/task/26288/stat : 26288 (java) S 26282 26282 17292 0 -1 1077944384 1591 0 0 0 48 4 0 0 20 0 15 0 12410616 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468528003472 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26289] ppid=26282 vsize=13980732 memory=12980 CPUtime=0.5 cores=1,3,5,7
/proc/26284/task/26289/stat : 26289 (java) S 26282 26282 17292 0 -1 1077944384 2317 0 0 0 44 6 0 0 20 0 15 0 12410616 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468526950672 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26290] ppid=26282 vsize=13980732 memory=1440 CPUtime=0.37 cores=1,3,5,7
/proc/26284/task/26290/stat : 26290 (java) S 26282 26282 17292 0 -1 1077944384 1692 0 0 0 34 3 0 0 20 0 15 0 12410618 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468088736624 140468610706050 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26291] ppid=26282 vsize=13980732 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26291/stat : 26291 (java) S 26282 26282 17292 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 12410618 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468087682592 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26292] ppid=26282 vsize=13980732 memory=5404 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26292/stat : 26292 (java) S 26282 26282 17292 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 12410618 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468086629744 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26293] ppid=26282 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26293/stat : 26293 (java) S 26282 26282 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12410621 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468085578064 140468610713499 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26294] ppid=26282 vsize=13980732 memory=-8774313645642428999 CPUtime=1.55 cores=1,3,5,7
/proc/26284/task/26294/stat : 26294 (java) S 26282 26282 17292 0 -1 1077944384 13656 0 0 0 153 2 0 0 20 0 15 0 12410621 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468084525424 140468610706050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26295] ppid=26282 vsize=13980732 memory=1792 CPUtime=1.59 cores=1,3,5,7
/proc/26284/task/26295/stat : 26295 (java) S 26282 26282 17292 0 -1 1077944384 20357 0 0 0 157 2 0 0 20 0 15 0 12410621 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468083472624 140468610706050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26296] ppid=26282 vsize=13980732 memory=277412 CPUtime=0.3 cores=1,3,5,7
/proc/26284/task/26296/stat : 26296 (java) S 26282 26282 17292 0 -1 1077944384 3490 0 0 0 29 1 0 0 20 0 15 0 12410621 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468082419824 140468610706050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26297] ppid=26282 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26297/stat : 26297 (java) S 26282 26282 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12410621 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468081367264 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26298] ppid=26282 vsize=13980732 memory=12980 CPUtime=0.07 cores=1,3,5,7
/proc/26284/task/26298/stat : 26298 (java) S 26282 26282 17292 0 -1 1077944384 666 0 0 0 3 4 0 0 20 0 15 0 12410625 14316269568 69353 18446744073709551615 4194304 4196468 140722990620544 140468080315568 140468610706050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
Current children cumulated CPU time: 189.61 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 278788 KiB
[startup+185.201 s]
/proc/loadavg: 1.28 1.27 1.31 3/212 26319
/proc/meminfo: memFree=31115564/32770624 swapFree=67108860/67108860
[pid=26282] ppid=26279 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/26282/stat : 26282 (xcsp3-exec) S 26279 26282 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 12410606 9740288 344 18446744073709551615 4194304 5098028 140727795453360 140727795451464 139841372299900 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 17723392 140727795454329 140727795454534 140727795454534 140727795458027 0
/proc/26282/statm: 2378 344 289 221 0 87 0
[pid=26284] ppid=26282 vsize=13980732 memory=276900 CPUtime=190.01 cores=1,3,5,7
/proc/26284/stat : 26284 (java) S 26282 26282 17292 0 -1 1077944320 64441 0 0 0 18964 37 0 0 20 0 15 0 12410616 14316269568 69225 18446744073709551615 4194304 4196468 140722990620544 140722990603088 140468610694903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
/proc/26284/statm: 3495183 69225 3223 1 0 3483476 0
[pid=26284/tid=26285] ppid=26282 vsize=13980732 memory=928 CPUtime=183.98 cores=1,3,5,7
/proc/26284/task/26285/stat : 26285 (java) R 26282 26282 17292 0 -1 4202560 15869 0 0 0 18391 7 0 0 20 0 15 0 12410616 14316269568 69225 18446744073709551615 4194304 4196468 140722990620544 140468614934688 140468200904499 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26286] ppid=26282 vsize=13980732 memory=1584 CPUtime=0.52 cores=1,3,5,7
/proc/26284/task/26286/stat : 26286 (java) S 26282 26282 17292 0 -1 1077944384 1403 0 0 0 48 4 0 0 20 0 15 0 12410616 14316269568 69225 18446744073709551615 4194304 4196468 140722990620544 140468530109072 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26287] ppid=26282 vsize=13980732 memory=2164 CPUtime=0.52 cores=1,3,5,7
/proc/26284/task/26287/stat : 26287 (java) S 26282 26282 17292 0 -1 1077944384 2050 0 0 0 47 5 0 0 20 0 15 0 12410616 14316269568 69225 18446744073709551615 4194304 4196468 140722990620544 140468529056272 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26288] ppid=26282 vsize=13980732 memory=844 CPUtime=0.52 cores=1,3,5,7
/proc/26284/task/26288/stat : 26288 (java) S 26282 26282 17292 0 -1 1077944384 1591 0 0 0 48 4 0 0 20 0 15 0 12410616 14316269568 69225 18446744073709551615 4194304 4196468 140722990620544 140468528003472 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26289] ppid=26282 vsize=13980732 memory=3908 CPUtime=0.5 cores=1,3,5,7
/proc/26284/task/26289/stat : 26289 (java) S 26282 26282 17292 0 -1 1077944384 2318 0 0 0 44 6 0 0 20 0 15 0 12410616 14316269568 69225 18446744073709551615 4194304 4196468 140722990620544 140468526950672 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26290] ppid=26282 vsize=13980732 memory=2760 CPUtime=0.37 cores=1,3,5,7
/proc/26284/task/26290/stat : 26290 (java) S 26282 26282 17292 0 -1 1077944384 1692 0 0 0 34 3 0 0 20 0 15 0 12410618 14316269568 69225 18446744073709551615 4194304 4196468 140722990620544 140468088736624 140468610706050 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26291] ppid=26282 vsize=13980732 memory=2760 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26291/stat : 26291 (java) S 26282 26282 17292 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 12410618 14316269568 69225 18446744073709551615 4194304 4196468 140722990620544 140468087682592 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26292] ppid=26282 vsize=13980732 memory=4060 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26292/stat : 26292 (java) S 26282 26282 17292 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 12410618 14316269568 69225 18446744073709551615 4194304 4196468 140722990620544 140468086629744 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26293] ppid=26282 vsize=13980732 memory=1152 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26293/stat : 26293 (java) S 26282 26282 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12410621 14316269568 69225 18446744073709551615 4194304 4196468 140722990620544 140468085578064 140468610713499 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26294] ppid=26282 vsize=13980732 memory=3084 CPUtime=1.55 cores=1,3,5,7
/proc/26284/task/26294/stat : 26294 (java) S 26282 26282 17292 0 -1 1077944384 13656 0 0 0 153 2 0 0 20 0 15 0 12410621 14316269568 69225 18446744073709551615 4194304 4196468 140722990620544 140468084525424 140468610706050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26295] ppid=26282 vsize=13980732 memory=3047711553219693942 CPUtime=1.59 cores=1,3,5,7
/proc/26284/task/26295/stat : 26295 (java) S 26282 26282 17292 0 -1 1077944384 20357 0 0 0 157 2 0 0 20 0 15 0 12410621 14316269568 69225 18446744073709551615 4194304 4196468 140722990620544 140468083472624 140468610706050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26296] ppid=26282 vsize=13980732 memory=4572164749098055210 CPUtime=0.3 cores=1,3,5,7
/proc/26284/task/26296/stat : 26296 (java) S 26282 26282 17292 0 -1 1077944384 3490 0 0 0 29 1 0 0 20 0 15 0 12410621 14316269568 69225 18446744073709551615 4194304 4196468 140722990620544 140468082419824 140468610706050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26297] ppid=26282 vsize=13980732 memory=4629546024076873078 CPUtime=0 cores=1,3,5,7
/proc/26284/task/26297/stat : 26297 (java) S 26282 26282 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12410621 14316269568 69225 18446744073709551615 4194304 4196468 140722990620544 140468081367264 140468610705109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
[pid=26284/tid=26298] ppid=26282 vsize=13980732 memory=7897517683652307531 CPUtime=0.07 cores=1,3,5,7
/proc/26284/task/26298/stat : 26298 (java) S 26282 26282 17292 0 -1 1077944384 666 0 0 0 3 4 0 0 20 0 15 0 12410625 14316269568 69225 18446744073709551615 4194304 4196468 140722990620544 140468080315568 140468610706050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 15294464 140722990625202 140722990625378 140722990625378 140722990628815 0
Current children cumulated CPU time: 190.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 278276 KiB
Child status: 0
Real time (s): 185.22
CPU time (s): 190.042
CPU user time (s): 189.661
CPU system time (s): 0.381596
CPU usage (%): 102.604
Max. virtual memory (cumulated for all children) (KiB): 13995060
Max. memory (cumulated for all children) (KiB): 284288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 189.661
system time used= 0.381596
maximum resident set size= 282912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65464
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15742
involuntary context switches= 343
# summary of solver processes directly reported to runsolver:
# pid: 26282
# total CPU time (s): 190.042
# total CPU user time (s): 189.661
# total CPU system time (s): 0.381596
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.37454 second user time and 1.55837 second system time
The end