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 (14796 MiB free)
memory of node 1: 16384 MiB (15347 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393251-1568313310/watcher-4393251-1568313310 -o /tmp/evaluation-result-4393251-1568313310/solver-4393251-1568313310 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14093 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 331812825 HOME/instance-4393251-1568313310.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=14114, runsolver pid=14111
Current StackSize limit: 8192 KiB
[startup+0.100129 s]*
/proc/loadavg: 0.74 0.68 0.93 4/230 14155
/proc/meminfo: memFree=30836596/32770624 swapFree=66996208/67108860
[pid=14114] ppid=14111 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14114/stat : 14114 (xcsp3-exec) S 14111 14114 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407585717 115843072 363 33554432000 4194304 5098028 140736340342544 140736340340648 140592326255228 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20570112 140736340349819 140736340350061 140736340350061 140736340352970 0
/proc/14114/statm: 28282 363 304 221 0 87 0
[pid=14116] ppid=14114 vsize=15144768 memory=27976 CPUtime=0.12 cores=0,2,4,6
/proc/14116/stat : 14116 (java) S 14114 14114 14062 0 -1 1077944320 5892 0 0 0 11 1 0 0 20 0 15 0 407585717 15508242432 6994 33554432000 4194304 4196468 140725637273552 140725637256096 140223531679479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
/proc/14116/statm: 3786192 6994 3147 1 0 3748377 0
[pid=14116/tid=14117] ppid=14114 vsize=15144768 memory=-2698087569006908830 CPUtime=0.09 cores=0,2,4,6
/proc/14116/task/14117/stat : 14117 (java) R 14114 14114 14062 0 -1 4202560 3748 0 0 0 8 1 0 0 20 0 15 0 407585717 15508242432 6994 33554432000 4194304 4196468 140725637273552 140223535912752 140223531691414 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14119] ppid=14114 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14119/stat : 14119 (java) S 14114 14114 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585718 15508242432 6994 33554432000 4194304 4196468 140725637273552 140223503522448 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14120] ppid=14114 vsize=15144768 memory=140705190311552 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14120/stat : 14120 (java) S 14114 14114 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585718 15508242432 6994 33554432000 4194304 4196468 140725637273552 140223122606608 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14121] ppid=14114 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14121/stat : 14121 (java) S 14114 14114 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585718 15508242432 6994 33554432000 4194304 4196468 140725637273552 140223121553808 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14122] ppid=14114 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14122/stat : 14122 (java) S 14114 14114 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407585718 15508242432 6994 33554432000 4194304 4196468 140725637273552 140223120501008 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14127] ppid=14114 vsize=15144768 memory=140705190311552 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14127/stat : 14127 (java) S 14114 14114 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407585719 15508242432 6994 33554432000 4194304 4196468 140725637273552 140222999853936 140223531690626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14133] ppid=14114 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14133/stat : 14133 (java) S 14114 14114 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407585720 15508242432 6994 33554432000 4194304 4196468 140725637273552 140222998799904 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14135] ppid=14114 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14135/stat : 14135 (java) S 14114 14114 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407585720 15508242432 6994 33554432000 4194304 4196468 140725637273552 140222997747056 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14142] ppid=14114 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14142/stat : 14142 (java) S 14114 14114 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407585723 15508242432 6994 33554432000 4194304 4196468 140725637273552 140222996695376 140223531698075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14143] ppid=14114 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14143/stat : 14143 (java) S 14114 14114 14062 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 407585723 15508242432 6994 33554432000 4194304 4196468 140725637273552 140222995642736 140223531690626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14144] ppid=14114 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14144/stat : 14144 (java) S 14114 14114 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407585723 15508242432 6994 33554432000 4194304 4196468 140725637273552 140222994589936 140223531690626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14145] ppid=14114 vsize=15144768 memory=140705190311552 CPUtime=0.02 cores=0,2,4,6
/proc/14116/task/14145/stat : 14145 (java) R 14114 14114 14062 0 -1 4202560 416 0 0 0 2 0 0 0 20 0 15 0 407585723 15508242432 6994 33554432000 4194304 4196468 140725637273552 140222993537136 140223510812544 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14147] ppid=14114 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14147/stat : 14147 (java) S 14114 14114 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407585723 15508242432 6994 33554432000 4194304 4196468 140725637273552 140222992484576 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14149] ppid=14114 vsize=15144768 memory=140705190311552 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14149/stat : 14149 (java) S 14114 14114 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585723 15508242432 6994 33554432000 4194304 4196468 140725637273552 140222991432880 140223531690626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 29428 KiB
[startup+0.210799 s]*
/proc/loadavg: 0.74 0.68 0.93 3/230 14155
/proc/meminfo: memFree=30809596/32770624 swapFree=66996208/67108860
[pid=14114] ppid=14111 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14114/stat : 14114 (xcsp3-exec) S 14111 14114 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407585717 115843072 363 33554432000 4194304 5098028 140736340342544 140736340340648 140592326255228 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20570112 140736340349819 140736340350061 140736340350061 140736340352970 0
/proc/14114/statm: 28282 363 304 221 0 87 0
[pid=14116] ppid=14114 vsize=15144768 memory=39444 CPUtime=0.34 cores=0,2,4,6
/proc/14116/stat : 14116 (java) S 14114 14114 14062 0 -1 1077944320 9666 0 0 0 31 3 0 0 20 0 15 0 407585717 15508242432 9861 33554432000 4194304 4196468 140725637273552 140725637256096 140223531679479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
/proc/14116/statm: 3786192 9861 3248 1 0 3748377 0
[pid=14116/tid=14117] ppid=14114 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/14116/task/14117/stat : 14117 (java) R 14114 14114 14062 0 -1 4202560 6676 0 0 0 18 2 0 0 20 0 15 0 407585717 15508242432 9861 33554432000 4194304 4196468 140725637273552 140223535917504 140223531691414 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14119] ppid=14114 vsize=15144768 memory=2670165 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14119/stat : 14119 (java) S 14114 14114 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585718 15508242432 9861 33554432000 4194304 4196468 140725637273552 140223503522448 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14120] ppid=14114 vsize=15144768 memory=2855325 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14120/stat : 14120 (java) S 14114 14114 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585718 15508242432 9861 33554432000 4194304 4196468 140725637273552 140223122606608 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14121] ppid=14114 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14121/stat : 14121 (java) S 14114 14114 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585718 15508242432 9861 33554432000 4194304 4196468 140725637273552 140223121553808 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14122] ppid=14114 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14122/stat : 14122 (java) S 14114 14114 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407585718 15508242432 9861 33554432000 4194304 4196468 140725637273552 140223120501008 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14127] ppid=14114 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14127/stat : 14127 (java) S 14114 14114 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407585719 15508242432 9861 33554432000 4194304 4196468 140725637273552 140222999853936 140223531690626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14133] ppid=14114 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14133/stat : 14133 (java) S 14114 14114 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407585720 15508242432 9861 33554432000 4194304 4196468 140725637273552 140222998799904 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14135] ppid=14114 vsize=15144768 memory=140705190311552 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14135/stat : 14135 (java) S 14114 14114 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407585720 15508242432 9861 33554432000 4194304 4196468 140725637273552 140222997747056 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14142] ppid=14114 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14142/stat : 14142 (java) S 14114 14114 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407585723 15508242432 9861 33554432000 4194304 4196468 140725637273552 140222996695376 140223531698075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14143] ppid=14114 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/14116/task/14143/stat : 14143 (java) S 14114 14114 14062 0 -1 1077944384 713 0 0 0 3 0 0 0 20 0 15 0 407585723 15508242432 9861 33554432000 4194304 4196468 140725637273552 140222995642736 140223531690626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14144] ppid=14114 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14144/stat : 14144 (java) S 14114 14114 14062 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 407585723 15508242432 9861 33554432000 4194304 4196468 140725637273552 140222994589936 140223531690626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14145] ppid=14114 vsize=15144768 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14116/task/14145/stat : 14145 (java) R 14114 14114 14062 0 -1 4202560 910 0 0 0 8 0 0 0 20 0 15 0 407585723 15508242432 9861 33554432000 4194304 4196468 140725637273552 140222993537136 140223514087519 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14147] ppid=14114 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14147/stat : 14147 (java) S 14114 14114 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407585723 15508242432 9861 33554432000 4194304 4196468 140725637273552 140222992484576 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14149] ppid=14114 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14149/stat : 14149 (java) S 14114 14114 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585723 15508242432 9861 33554432000 4194304 4196468 140725637273552 140222991432880 140223531690626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 40896 KiB
[startup+0.313231 s]*
/proc/loadavg: 0.74 0.68 0.93 5/230 14155
/proc/meminfo: memFree=30799280/32770624 swapFree=66996208/67108860
[pid=14114] ppid=14111 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14114/stat : 14114 (xcsp3-exec) S 14111 14114 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407585717 115843072 363 33554432000 4194304 5098028 140736340342544 140736340340648 140592326255228 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20570112 140736340349819 140736340350061 140736340350061 140736340352970 0
/proc/14114/statm: 28282 363 304 221 0 87 0
[pid=14116] ppid=14114 vsize=15149024 memory=48876 CPUtime=0.52 cores=0,2,4,6
/proc/14116/stat : 14116 (java) S 14114 14114 14062 0 -1 1077944320 11039 0 1 0 48 4 0 0 20 0 15 0 407585717 15512600576 12219 33554432000 4194304 4196468 140725637273552 140725637256096 140223531679479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
/proc/14116/statm: 3787256 12219 3371 1 0 3748377 0
[pid=14116/tid=14117] ppid=14114 vsize=15149024 memory=2608 CPUtime=0.29 cores=0,2,4,6
/proc/14116/task/14117/stat : 14117 (java) R 14114 14114 14062 0 -1 4202560 7763 0 1 0 27 2 0 0 20 0 15 0 407585717 15512600576 12219 33554432000 4194304 4196468 140725637273552 140223535915264 140223515759966 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14119] ppid=14114 vsize=15149024 memory=35 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14119/stat : 14119 (java) S 14114 14114 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585718 15512600576 12219 33554432000 4194304 4196468 140725637273552 140223503522448 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14120] ppid=14114 vsize=15149024 memory=140705190367264 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14120/stat : 14120 (java) S 14114 14114 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585718 15512600576 12219 33554432000 4194304 4196468 140725637273552 140223122606608 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14121] ppid=14114 vsize=15149024 memory=58084 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14121/stat : 14121 (java) S 14114 14114 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585718 15512600576 12219 33554432000 4194304 4196468 140725637273552 140223121553808 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14122] ppid=14114 vsize=15149024 memory=35 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14122/stat : 14122 (java) S 14114 14114 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407585718 15512600576 12219 33554432000 4194304 4196468 140725637273552 140223120501008 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14127] ppid=14114 vsize=15149024 memory=140705190374176 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14127/stat : 14127 (java) S 14114 14114 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407585719 15512600576 12219 33554432000 4194304 4196468 140725637273552 140222999853936 140223531690626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14133] ppid=14114 vsize=15149024 memory=35 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14133/stat : 14133 (java) S 14114 14114 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407585720 15512600576 12285 33554432000 4194304 4196468 140725637273552 140222998799904 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14135] ppid=14114 vsize=15149024 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14135/stat : 14135 (java) S 14114 14114 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407585720 15512600576 12285 33554432000 4194304 4196468 140725637273552 140222997747056 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14142] ppid=14114 vsize=15149024 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14142/stat : 14142 (java) S 14114 14114 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407585723 15512600576 12285 33554432000 4194304 4196468 140725637273552 140222996695376 140223531698075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14143] ppid=14114 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/14116/task/14143/stat : 14143 (java) S 14114 14114 14062 0 -1 1077944384 730 0 0 0 4 0 0 0 20 0 15 0 407585723 15512600576 12285 33554432000 4194304 4196468 140725637273552 140222995642736 140223531690626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14144] ppid=14114 vsize=15149024 memory=140705074901455 CPUtime=0.03 cores=0,2,4,6
/proc/14116/task/14144/stat : 14144 (java) R 14114 14114 14062 0 -1 4202560 198 0 0 0 3 0 0 0 20 0 15 0 407585723 15512600576 12285 33554432000 4194304 4196468 140725637273552 140222994580320 140223512380050 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14145] ppid=14114 vsize=15149024 memory=140705190325646 CPUtime=0.12 cores=0,2,4,6
/proc/14116/task/14145/stat : 14145 (java) S 14114 14114 14062 0 -1 1077944384 1072 0 0 0 12 0 0 0 20 0 15 0 407585723 15512600576 12285 33554432000 4194304 4196468 140725637273552 140222993537136 140223531690626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14147] ppid=14114 vsize=15149024 memory=140705074892239 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14147/stat : 14147 (java) S 14114 14114 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407585723 15512600576 12285 33554432000 4194304 4196468 140725637273552 140222992484576 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14149] ppid=14114 vsize=15149024 memory=281410265213056 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14149/stat : 14149 (java) S 14114 14114 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585723 15512600576 12285 33554432000 4194304 4196468 140725637273552 140222991432880 140223531690626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50328 KiB
[startup+0.701359 s]
/proc/loadavg: 0.74 0.68 0.93 8/230 14157
/proc/meminfo: memFree=30775860/32770624 swapFree=66996208/67108860
[pid=14114] ppid=14111 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14114/stat : 14114 (xcsp3-exec) S 14111 14114 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407585717 115843072 363 33554432000 4194304 5098028 140736340342544 140736340340648 140592326255228 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20570112 140736340349819 140736340350061 140736340350061 140736340352970 0
/proc/14114/statm: 28282 363 304 221 0 87 0
[pid=14116] ppid=14114 vsize=15417404 memory=90244 CPUtime=1.58 cores=0,2,4,6
/proc/14116/stat : 14116 (java) S 14114 14114 14062 0 -1 1077944320 15306 0 1 0 152 6 0 0 20 0 15 0 407585717 15787421696 22561 33554432000 4194304 4196468 140725637273552 140725637256096 140223531679479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
/proc/14116/statm: 3854351 22561 3453 1 0 3815453 0
[pid=14116/tid=14117] ppid=14114 vsize=15417404 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/14116/task/14117/stat : 14117 (java) R 14114 14114 14062 0 -1 4202560 9400 0 1 0 61 3 0 0 20 0 15 0 407585717 15787421696 22561 33554432000 4194304 4196468 140725637273552 140223535916432 140223167651058 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14119] ppid=14114 vsize=15417404 memory=8751464017575295029 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14119/stat : 14119 (java) S 14114 14114 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585718 15787421696 22561 33554432000 4194304 4196468 140725637273552 140223503522448 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14120] ppid=14114 vsize=15417404 memory=6008998602140045905 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14120/stat : 14120 (java) S 14114 14114 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585718 15787421696 22561 33554432000 4194304 4196468 140725637273552 140223122606608 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14121] ppid=14114 vsize=15417404 memory=7007714649526264384 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14121/stat : 14121 (java) S 14114 14114 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585718 15787421696 22561 33554432000 4194304 4196468 140725637273552 140223121553808 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14122] ppid=14114 vsize=15417404 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14122/stat : 14122 (java) S 14114 14114 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407585718 15787421696 22561 33554432000 4194304 4196468 140725637273552 140223120501008 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14127] ppid=14114 vsize=15417404 memory=9404 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14127/stat : 14127 (java) S 14114 14114 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407585719 15787421696 22561 33554432000 4194304 4196468 140725637273552 140222999853936 140223531690626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14133] ppid=14114 vsize=15417404 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14133/stat : 14133 (java) S 14114 14114 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 407585720 15787421696 22561 33554432000 4194304 4196468 140725637273552 140222998799904 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14135] ppid=14114 vsize=15417404 memory=628 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14135/stat : 14135 (java) S 14114 14114 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 407585720 15787421696 22561 33554432000 4194304 4196468 140725637273552 140222997747056 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14142] ppid=14114 vsize=15417404 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14142/stat : 14142 (java) S 14114 14114 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 407585723 15787421696 22561 33554432000 4194304 4196468 140725637273552 140222996695376 140223531698075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14143] ppid=14114 vsize=15417404 memory=1556 CPUtime=0.22 cores=0,2,4,6
/proc/14116/task/14143/stat : 14143 (java) R 14114 14114 14062 0 -1 1077944384 1256 0 0 0 22 0 0 0 20 0 16 0 407585723 15787421696 22561 33554432000 4194304 4196468 140725637273552 140222995642736 140223531690626 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14144] ppid=14114 vsize=15417404 memory=5908 CPUtime=0.22 cores=0,2,4,6
/proc/14116/task/14144/stat : 14144 (java) R 14114 14114 14062 0 -1 4202560 1156 0 0 0 22 0 0 0 20 0 16 0 407585723 15787421696 22561 33554432000 4194304 4196468 140725637273552 140222994575960 140223515067343 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14145] ppid=14114 vsize=15417404 memory=14012 CPUtime=0.4 cores=0,2,4,6
/proc/14116/task/14145/stat : 14145 (java) R 14114 14114 14062 0 -1 4202560 1986 0 0 0 40 0 0 0 20 0 16 0 407585723 15787421696 22561 33554432000 4194304 4196468 140725637273552 140222993532896 140223516845118 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14147] ppid=14114 vsize=15417404 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14147/stat : 14147 (java) S 14114 14114 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 407585723 15787421696 22561 33554432000 4194304 4196468 140725637273552 140222992484576 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14149] ppid=14114 vsize=15417404 memory=6153431502485416297 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14149/stat : 14149 (java) S 14114 14114 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 407585723 15787421696 22561 33554432000 4194304 4196468 140725637273552 140222991432880 140223531690626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 91696 KiB
[startup+1.50137 s]
/proc/loadavg: 0.74 0.68 0.93 14/237 14264
/proc/meminfo: memFree=30543900/32770624 swapFree=66996208/67108860
[pid=14114] ppid=14111 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14114/stat : 14114 (xcsp3-exec) S 14111 14114 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407585717 115843072 363 33554432000 4194304 5098028 140736340342544 140736340340648 140592326255228 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20570112 140736340349819 140736340350061 140736340350061 140736340352970 0
/proc/14114/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/14116/task/14149/stat : 14149 (java) S 14114 14114 14062 0 -1 1077944384 542 0 0 0 0 0 0 0 20 0 19 0 407585723 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222991432880 140223531690626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14282] ppid=14114 vsize=15487044 memory=1760 CPUtime=24.08 cores=0,2,4,6
/proc/14116/task/14282/stat : 14282 (java) R 14114 14114 14062 0 -1 4202560 364 0 0 0 2408 0 0 0 20 0 19 0 407586229 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222979300464 140223172474600 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14283] ppid=14114 vsize=15487044 memory=111632 CPUtime=23.93 cores=0,2,4,6
/proc/14116/task/14283/stat : 14283 (java) R 14114 14114 14062 0 -1 4202560 1130 0 0 0 2393 0 0 0 20 0 19 0 407586229 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222981407608 140223172676037 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14284] ppid=14114 vsize=15487044 memory=800 CPUtime=23.87 cores=0,2,4,6
/proc/14116/task/14284/stat : 14284 (java) R 14114 14114 14062 0 -1 4202560 1070 0 0 0 2387 0 0 0 20 0 19 0 407586229 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222977196792 140223172471749 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14285] ppid=14114 vsize=15487044 memory=4104 CPUtime=23.93 cores=0,2,4,6
/proc/14116/task/14285/stat : 14285 (java) R 14114 14114 14062 0 -1 4202560 939 0 0 0 2393 0 0 0 20 0 19 0 407586229 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222980356064 140223172112384 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
Current children cumulated CPU time: 115.9 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 159524 KiB
[startup+30.0014 s]*
/proc/loadavg: 3.95 1.47 1.19 9/238 14286
/proc/meminfo: memFree=30579664/32770624 swapFree=66996208/67108860
[pid=14114] ppid=14111 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14114/stat : 14114 (xcsp3-exec) S 14111 14114 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407585717 115843072 363 33554432000 4194304 5098028 140736340342544 140736340340648 140592326255228 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20570112 140736340349819 140736340350061 140736340350061 140736340352970 0
/proc/14114/statm: 28282 363 304 221 0 87 0
[pid=14116] ppid=14114 vsize=15487044 memory=158072 CPUtime=117.52 cores=0,2,4,6
/proc/14116/stat : 14116 (java) S 14114 14114 14062 0 -1 1077944320 44533 0 1 0 11738 14 0 0 20 0 19 0 407585717 15858733056 39518 33554432000 4194304 4196468 140725637273552 140725637256096 140223531679479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
/proc/14116/statm: 3871761 39518 3526 1 0 3832863 0
[pid=14116/tid=14117] ppid=14114 vsize=15487044 memory=8317482817917895235 CPUtime=0.66 cores=0,2,4,6
/proc/14116/task/14117/stat : 14117 (java) S 14114 14114 14062 0 -1 1077944384 9581 0 1 0 62 4 0 0 20 0 19 0 407585717 15858733056 39518 33554432000 4194304 4196468 140725637273552 140223535920256 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14119] ppid=14114 vsize=15487044 memory=4126316290023845779 CPUtime=0.06 cores=0,2,4,6
/proc/14116/task/14119/stat : 14119 (java) S 14114 14114 14062 0 -1 1077944384 827 0 0 0 6 0 0 0 20 0 19 0 407585718 15858733056 39518 33554432000 4194304 4196468 140725637273552 140223503522448 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14120] ppid=14114 vsize=15487044 memory=6 CPUtime=0.05 cores=0,2,4,6
/proc/14116/task/14120/stat : 14120 (java) S 14114 14114 14062 0 -1 1077944384 1538 0 0 0 5 0 0 0 20 0 19 0 407585718 15858733056 39518 33554432000 4194304 4196468 140725637273552 140223122606608 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14121] ppid=14114 vsize=15487044 memory=5 CPUtime=0.06 cores=0,2,4,6
/proc/14116/task/14121/stat : 14121 (java) S 14114 14114 14062 0 -1 1077944384 427 0 0 0 6 0 0 0 20 0 19 0 407585718 15858733056 39518 33554432000 4194304 4196468 140725637273552 140223121553808 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14122] ppid=14114 vsize=15487044 memory=5 CPUtime=0.05 cores=0,2,4,6
/proc/14116/task/14122/stat : 14122 (java) S 14114 14114 14062 0 -1 1077944384 1042 0 0 0 5 0 0 0 20 0 19 0 407585718 15858733056 39518 33554432000 4194304 4196468 140725637273552 140223120501008 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14127] ppid=14114 vsize=15487044 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/14116/task/14127/stat : 14127 (java) S 14114 14114 14062 0 -1 1077944384 1354 0 0 0 5 0 0 0 20 0 19 0 407585719 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222999853936 140223531690626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14133] ppid=14114 vsize=15487044 memory=2024 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14133/stat : 14133 (java) S 14114 14114 14062 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 407585720 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222998799968 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14135] ppid=14114 vsize=15487044 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14135/stat : 14135 (java) S 14114 14114 14062 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 407585720 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222997747056 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14142] ppid=14114 vsize=15487044 memory=1128 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14142/stat : 14142 (java) S 14114 14114 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407585723 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222996695376 140223531698075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14143] ppid=14114 vsize=15487044 memory=772 CPUtime=1.89 cores=0,2,4,6
/proc/14116/task/14143/stat : 14143 (java) S 14114 14114 14062 0 -1 1077944384 8378 0 0 0 189 0 0 0 20 0 19 0 407585723 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222995642736 140223531690626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14144] ppid=14114 vsize=15487044 memory=4008 CPUtime=1.87 cores=0,2,4,6
/proc/14116/task/14144/stat : 14144 (java) S 14114 14114 14062 0 -1 1077944384 7681 0 0 0 187 0 0 0 20 0 19 0 407585723 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222994589936 140223531690626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14145] ppid=14114 vsize=15487044 memory=948 CPUtime=0.71 cores=0,2,4,6
/proc/14116/task/14145/stat : 14145 (java) S 14114 14114 14062 0 -1 1077944384 6016 0 0 0 70 1 0 0 20 0 19 0 407585723 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222993537136 140223531690626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14147] ppid=14114 vsize=15487044 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14147/stat : 14147 (java) S 14114 14114 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407585723 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222992484576 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14149] ppid=14114 vsize=15487044 memory=9404 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14149/stat : 14149 (java) S 14114 14114 14062 0 -1 1077944384 542 0 0 0 0 0 0 0 20 0 19 0 407585723 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222991432880 140223531690626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14282] ppid=14114 vsize=15487044 memory=1548 CPUtime=24.49 cores=0,2,4,6
/proc/14116/task/14282/stat : 14282 (java) R 14114 14114 14062 0 -1 4202560 364 0 0 0 2449 0 0 0 20 0 19 0 407586229 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222979303712 140223172471310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14283] ppid=14114 vsize=15487044 memory=0 CPUtime=24.34 cores=0,2,4,6
/proc/14116/task/14283/stat : 14283 (java) R 14114 14114 14062 0 -1 4202560 1130 0 0 0 2434 0 0 0 20 0 19 0 407586229 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222981407568 140223172474137 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14284] ppid=14114 vsize=15487044 memory=0 CPUtime=24.28 cores=0,2,4,6
/proc/14116/task/14284/stat : 14284 (java) R 14114 14114 14062 0 -1 4202560 1070 0 0 0 2428 0 0 0 20 0 19 0 407586229 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222977196792 140223511404589 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14285] ppid=14114 vsize=15487044 memory=0 CPUtime=24.32 cores=0,2,4,6
/proc/14116/task/14285/stat : 14285 (java) R 14114 14114 14062 0 -1 4202560 940 0 0 0 2432 0 0 0 20 0 19 0 407586229 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222980354432 140223174733728 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
Current children cumulated CPU time: 117.52 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 159524 KiB
[startup+30.4014 s]
/proc/loadavg: 3.95 1.47 1.19 9/238 14286
/proc/meminfo: memFree=30579664/32770624 swapFree=66996208/67108860
[pid=14114] ppid=14111 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14114/stat : 14114 (xcsp3-exec) S 14111 14114 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407585717 115843072 363 33554432000 4194304 5098028 140736340342544 140736340340648 140592326255228 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20570112 140736340349819 140736340350061 140736340350061 140736340352970 0
/proc/14114/statm: 28282 363 304 221 0 87 0
[pid=14116] ppid=14114 vsize=15487044 memory=158072 CPUtime=119.08 cores=0,2,4,6
/proc/14116/stat : 14116 (java) S 14114 14114 14062 0 -1 1077944320 44546 0 1 0 11894 14 0 0 20 0 19 0 407585717 15858733056 39518 33554432000 4194304 4196468 140725637273552 140725637256096 140223531679479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
/proc/14116/statm: 3871761 39518 3526 1 0 3832863 0
[pid=14116/tid=14117] ppid=14114 vsize=15487044 memory=11932 CPUtime=0.66 cores=0,2,4,6
/proc/14116/task/14117/stat : 14117 (java) S 14114 14114 14062 0 -1 1077944384 9581 0 1 0 62 4 0 0 20 0 19 0 407585717 15858733056 39518 33554432000 4194304 4196468 140725637273552 140223535920256 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14119] ppid=14114 vsize=15487044 memory=6791534058613427641 CPUtime=0.06 cores=0,2,4,6
/proc/14116/task/14119/stat : 14119 (java) S 14114 14114 14062 0 -1 1077944384 827 0 0 0 6 0 0 0 20 0 19 0 407585718 15858733056 39518 33554432000 4194304 4196468 140725637273552 140223503522448 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14120] ppid=14114 vsize=15487044 memory=948 CPUtime=0.06 cores=0,2,4,6
/proc/14116/task/14120/stat : 14120 (java) S 14114 14114 14062 0 -1 1077944384 1538 0 0 0 6 0 0 0 20 0 19 0 407585718 15858733056 39518 33554432000 4194304 4196468 140725637273552 140223122606608 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14121] ppid=14114 vsize=15487044 memory=2832 CPUtime=0.06 cores=0,2,4,6
/proc/14116/task/14121/stat : 14121 (java) S 14114 14114 14062 0 -1 1077944384 428 0 0 0 6 0 0 0 20 0 19 0 407585718 15858733056 39518 33554432000 4194304 4196468 140725637273552 140223121553808 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14122] ppid=14114 vsize=15487044 memory=9404 CPUtime=0.05 cores=0,2,4,6
/proc/14116/task/14122/stat : 14122 (java) S 14114 14114 14062 0 -1 1077944384 1042 0 0 0 5 0 0 0 20 0 19 0 407585718 15858733056 39518 33554432000 4194304 4196468 140725637273552 140223120501008 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14127] ppid=14114 vsize=15487044 memory=1548 CPUtime=0.05 cores=0,2,4,6
/proc/14116/task/14127/stat : 14127 (java) S 14114 14114 14062 0 -1 1077944384 1354 0 0 0 5 0 0 0 20 0 19 0 407585719 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222999853936 140223531690626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14133] ppid=14114 vsize=15487044 memory=628 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14133/stat : 14133 (java) S 14114 14114 14062 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 407585720 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222998799968 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14135] ppid=14114 vsize=15487044 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14135/stat : 14135 (java) S 14114 14114 14062 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 407585720 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222997747056 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14142] ppid=14114 vsize=15487044 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14142/stat : 14142 (java) S 14114 14114 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407585723 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222996695376 140223531698075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14143] ppid=14114 vsize=15487044 memory=5908 CPUtime=1.89 cores=0,2,4,6
/proc/14116/task/14143/stat : 14143 (java) S 14114 14114 14062 0 -1 1077944384 8378 0 0 0 189 0 0 0 20 0 19 0 407585723 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222995642736 140223531690626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14144] ppid=14114 vsize=15487044 memory=14012 CPUtime=1.87 cores=0,2,4,6
/proc/14116/task/14144/stat : 14144 (java) S 14114 14114 14062 0 -1 1077944384 7681 0 0 0 187 0 0 0 20 0 19 0 407585723 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222994589936 140223531690626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14145] ppid=14114 vsize=15487044 memory=0 CPUtime=0.71 cores=0,2,4,6
/proc/14116/task/14145/stat : 14145 (java) S 14114 14114 14062 0 -1 1077944384 6016 0 0 0 70 1 0 0 20 0 19 0 407585723 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222993537136 140223531690626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14147] ppid=14114 vsize=15487044 memory=165 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14147/stat : 14147 (java) S 14114 14114 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407585723 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222992484576 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14149] ppid=14114 vsize=15487044 memory=169 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14149/stat : 14149 (java) S 14114 14114 14062 0 -1 1077944384 544 0 0 0 0 0 0 0 20 0 19 0 407585723 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222991432880 140223531690626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14282] ppid=14114 vsize=15487044 memory=3624 CPUtime=24.87 cores=0,2,4,6
/proc/14116/task/14282/stat : 14282 (java) R 14114 14114 14062 0 -1 4202560 366 0 0 0 2487 0 0 0 20 0 19 0 407586229 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222979301040 140223172675328 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14283] ppid=14114 vsize=15487044 memory=22880 CPUtime=24.73 cores=0,2,4,6
/proc/14116/task/14283/stat : 14283 (java) R 14114 14114 14062 0 -1 4202560 1134 0 0 0 2473 0 0 0 20 0 19 0 407586229 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222981407032 140223175832841 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14284] ppid=14114 vsize=15487044 memory=984 CPUtime=24.67 cores=0,2,4,6
/proc/14116/task/14284/stat : 14284 (java) R 14114 14114 14062 0 -1 4202560 1072 0 0 0 2467 0 0 0 20 0 19 0 407586229 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222977198752 140223170932928 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14285] ppid=14114 vsize=15487044 memory=2024 CPUtime=24.71 cores=0,2,4,6
/proc/14116/task/14285/stat : 14285 (java) R 14114 14114 14062 0 -1 4202560 942 0 0 0 2471 0 0 0 20 0 19 0 407586229 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222980353904 140223512503646 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
Current children cumulated CPU time: 119.08 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 159524 KiB
[startup+30.5014 s]
/proc/loadavg: 3.95 1.47 1.19 9/238 14286
/proc/meminfo: memFree=30579664/32770624 swapFree=66996208/67108860
[pid=14114] ppid=14111 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14114/stat : 14114 (xcsp3-exec) S 14111 14114 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407585717 115843072 363 33554432000 4194304 5098028 140736340342544 140736340340648 140592326255228 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20570112 140736340349819 140736340350061 140736340350061 140736340352970 0
/proc/14114/statm: 28282 363 304 221 0 87 0
[pid=14116] ppid=14114 vsize=15487044 memory=158072 CPUtime=119.48 cores=0,2,4,6
/proc/14116/stat : 14116 (java) S 14114 14114 14062 0 -1 1077944320 44551 0 1 0 11934 14 0 0 20 0 19 0 407585717 15858733056 39518 33554432000 4194304 4196468 140725637273552 140725637256096 140223531679479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
/proc/14116/statm: 3871761 39518 3526 1 0 3832863 0
[pid=14116/tid=14117] ppid=14114 vsize=15487044 memory=11792 CPUtime=0.66 cores=0,2,4,6
/proc/14116/task/14117/stat : 14117 (java) S 14114 14114 14062 0 -1 1077944384 9581 0 1 0 62 4 0 0 20 0 19 0 407585717 15858733056 39518 33554432000 4194304 4196468 140725637273552 140223535920256 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14119] ppid=14114 vsize=15487044 memory=158040 CPUtime=0.06 cores=0,2,4,6
/proc/14116/task/14119/stat : 14119 (java) S 14114 14114 14062 0 -1 1077944384 827 0 0 0 6 0 0 0 20 0 19 0 407585718 15858733056 39518 33554432000 4194304 4196468 140725637273552 140223503522448 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14120] ppid=14114 vsize=15487044 memory=158072 CPUtime=0.06 cores=0,2,4,6
/proc/14116/task/14120/stat : 14120 (java) S 14114 14114 14062 0 -1 1077944384 1538 0 0 0 6 0 0 0 20 0 19 0 407585718 15858733056 39518 33554432000 4194304 4196468 140725637273552 140223122606608 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14121] ppid=14114 vsize=15487044 memory=1452 CPUtime=0.06 cores=0,2,4,6
/proc/14116/task/14121/stat : 14121 (java) S 14114 14114 14062 0 -1 1077944384 428 0 0 0 6 0 0 0 20 0 19 0 407585718 15858733056 39518 33554432000 4194304 4196468 140725637273552 140223121553808 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14122] ppid=14114 vsize=15487044 memory=157964 CPUtime=0.05 cores=0,2,4,6
/proc/14116/task/14122/stat : 14122 (java) S 14114 14114 14062 0 -1 1077944384 1042 0 0 0 5 0 0 0 20 0 19 0 407585718 15858733056 39518 33554432000 4194304 4196468 140725637273552 140223120501008 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14127] ppid=14114 vsize=15487044 memory=168392 CPUtime=0.05 cores=0,2,4,6
/proc/14116/task/14127/stat : 14127 (java) S 14114 14114 14062 0 -1 1077944384 1354 0 0 0 5 0 0 0 20 0 19 0 407585719 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222999853936 140223531690626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14133] ppid=14114 vsize=15487044 memory=1164 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14133/stat : 14133 (java) S 14114 14114 14062 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 407585720 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222998799968 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14135] ppid=14114 vsize=15487044 memory=164 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14135/stat : 14135 (java) S 14114 14114 14062 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 407585720 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222997747056 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14142] ppid=14114 vsize=15487044 memory=-7173504570860347296 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14142/stat : 14142 (java) S 14114 14114 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407585723 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222996695376 140223531698075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14143] ppid=14114 vsize=15487044 memory=1804 CPUtime=1.89 cores=0,2,4,6
/proc/14116/task/14143/stat : 14143 (java) S 14114 14114 14062 0 -1 1077944384 8378 0 0 0 189 0 0 0 20 0 19 0 407585723 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222995642736 140223531690626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14144] ppid=14114 vsize=15487044 memory=0 CPUtime=1.87 cores=0,2,4,6
/proc/14116/task/14144/stat : 14144 (java) S 14114 14114 14062 0 -1 1077944384 7681 0 0 0 187 0 0 0 20 0 19 0 407585723 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222994589936 140223531690626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14145] ppid=14114 vsize=15487044 memory=281410150708864 CPUtime=0.71 cores=0,2,4,6
/proc/14116/task/14145/stat : 14145 (java) S 14114 14114 14062 0 -1 1077944384 6016 0 0 0 70 1 0 0 20 0 19 0 407585723 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222993537136 140223531690626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14147] ppid=14114 vsize=15487044 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14147/stat : 14147 (java) S 14114 14114 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407585723 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222992484576 140223531689685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14149] ppid=14114 vsize=15487044 memory=1128 CPUtime=0 cores=0,2,4,6
/proc/14116/task/14149/stat : 14149 (java) R 14114 14114 14062 0 -1 1077944384 549 0 0 0 0 0 0 0 20 0 19 0 407585723 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222991432880 140223531690626 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14282] ppid=14114 vsize=15487044 memory=772 CPUtime=24.97 cores=0,2,4,6
/proc/14116/task/14282/stat : 14282 (java) R 14114 14114 14062 0 -1 4202560 366 0 0 0 2497 0 0 0 20 0 19 0 407586229 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222979301040 140223172676101 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14283] ppid=14114 vsize=15487044 memory=0 CPUtime=24.83 cores=0,2,4,6
/proc/14116/task/14283/stat : 14283 (java) R 14114 14114 14062 0 -1 4202560 1134 0 0 0 2483 0 0 0 20 0 19 0 407586229 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222981407032 140223172676050 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14284] ppid=14114 vsize=15487044 memory=0 CPUtime=24.77 cores=0,2,4,6
/proc/14116/task/14284/stat : 14284 (java) R 14114 14114 14062 0 -1 4202560 1072 0 0 0 2477 0 0 0 20 0 19 0 407586229 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222977198640 140223172088215 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
[pid=14116/tid=14285] ppid=14114 vsize=15487044 memory=0 CPUtime=24.81 cores=0,2,4,6
/proc/14116/task/14285/stat : 14285 (java) R 14114 14114 14062 0 -1 4202560 942 0 0 0 2481 0 0 0 20 0 19 0 407586229 15858733056 39518 33554432000 4194304 4196468 140725637273552 140222980353904 140223173458202 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9891840 140725637276655 140725637276826 140725637276826 140725637279695 0
Current children cumulated CPU time: 119.48 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 159524 KiB
Child status: 0
Real time (s): 30.526
CPU time (s): 119.521
CPU user time (s): 119.373
CPU system time (s): 0.148048
CPU usage (%): 391.538
Max. virtual memory (cumulated for all children) (KiB): 15600172
Max. memory (cumulated for all children) (KiB): 209660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 119.373
system time used= 0.148048
maximum resident set size= 211272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45880
page faults= 1
swaps= 0
block input operations= 456
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5296
involuntary context switches= 2673
# summary of solver processes directly reported to runsolver:
# pid: 14114
# total CPU time (s): 119.521
# total CPU user time (s): 119.373
# total CPU system time (s): 0.148048
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.230583 second user time and 0.36126 second system time
The end