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 (11806 MiB free)
memory of node 1: 16384 MiB (11073 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306989-1534148349/watcher-4306989-1534148349 -o /tmp/evaluation-result-4306989-1534148349/solver-4306989-1534148349 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534135801-5169 --watchdog 2580 HOME/xcsp3-exec -seed 1955010774 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306989-1534148349.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=7192, runsolver pid=7189
Current StackSize limit: 8192 KiB
[startup+0.100139 s]*
/proc/loadavg: 1.98 1.74 1.73 3/217 7208
/proc/meminfo: memFree=23412912/32770624 swapFree=67108372/67108860
[pid=7192] ppid=7189 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7192/stat : 7192 (xcsp3-exec) S 7189 7192 3960 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232398111 115843072 363 33554432000 4194304 5098028 140723043353024 140723043351128 140429617857148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15101952 140723043357754 140723043357956 140723043357956 140723043360714 0
/proc/7192/statm: 28282 363 305 221 0 87 0
[pid=7194] ppid=7192 vsize=14082940 memory=28848 CPUtime=0.12 cores=1,3,5,7
/proc/7194/stat : 7194 (java) S 7192 7192 3960 0 -1 1077944320 5488 0 0 0 11 1 0 0 20 0 15 0 232398111 14420930560 7212 33554432000 4194304 4196468 140725074123296 140725074105840 140287796637431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
/proc/7194/statm: 3520735 7212 3057 1 0 3483012 0
[pid=7194/tid=7195] ppid=7192 vsize=14082940 memory=7828564156232209243 CPUtime=0.08 cores=1,3,5,7
/proc/7194/task/7195/stat : 7195 (java) R 7192 7192 3960 0 -1 4202560 3500 0 0 0 8 0 0 0 20 0 15 0 232398112 14420930560 7212 33554432000 4194304 4196468 140725074123296 140287800870704 140287796649366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7196] ppid=7192 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7196/stat : 7196 (java) S 7192 7192 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232398112 14420930560 7212 33554432000 4194304 4196468 140725074123296 140287726726032 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7197] ppid=7192 vsize=14082940 memory=140690007635584 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7197/stat : 7197 (java) S 7192 7192 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232398112 14420930560 7212 33554432000 4194304 4196468 140725074123296 140287390956304 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7198] ppid=7192 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7198/stat : 7198 (java) S 7192 7192 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232398112 14420930560 7212 33554432000 4194304 4196468 140725074123296 140287389904016 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7199] ppid=7192 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7199/stat : 7199 (java) S 7192 7192 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232398112 14420930560 7212 33554432000 4194304 4196468 140725074123296 140287388851216 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7200] ppid=7192 vsize=14082940 memory=140690007635584 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7200/stat : 7200 (java) S 7192 7192 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232398114 14420930560 7212 33554432000 4194304 4196468 140725074123296 140286708635760 140287796648578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7201] ppid=7192 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7201/stat : 7201 (java) S 7192 7192 3960 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232398114 14420930560 7212 33554432000 4194304 4196468 140725074123296 140286707581728 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7202] ppid=7192 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7202/stat : 7202 (java) S 7192 7192 3960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232398114 14420930560 7212 33554432000 4194304 4196468 140725074123296 140286706529392 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7203] ppid=7192 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7203/stat : 7203 (java) S 7192 7192 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232398117 14420930560 7212 33554432000 4194304 4196468 140725074123296 140286705477712 140287796656027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7204] ppid=7192 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7204/stat : 7204 (java) S 7192 7192 3960 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 15 0 232398117 14420930560 7212 33554432000 4194304 4196468 140725074123296 140286704425584 140287796648578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7205] ppid=7192 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7205/stat : 7205 (java) S 7192 7192 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232398117 14420930560 7212 33554432000 4194304 4196468 140725074123296 140286703372784 140287796648578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7206] ppid=7192 vsize=14082940 memory=140690007635584 CPUtime=0.01 cores=1,3,5,7
/proc/7194/task/7206/stat : 7206 (java) R 7192 7192 3960 0 -1 4202560 283 0 0 0 1 0 0 0 20 0 15 0 232398117 14420930560 7212 33554432000 4194304 4196468 140725074123296 140286702320496 140287780824813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7207] ppid=7192 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7207/stat : 7207 (java) S 7192 7192 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232398117 14420930560 7212 33554432000 4194304 4196468 140725074123296 140286701267936 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7208] ppid=7192 vsize=14082940 memory=140690007635584 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7208/stat : 7208 (java) S 7192 7192 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232398117 14420930560 7212 33554432000 4194304 4196468 140725074123296 140286700214704 140287796648578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30300 KiB
[startup+0.215333 s]*
/proc/loadavg: 1.98 1.74 1.73 3/217 7208
/proc/meminfo: memFree=23400160/32770624 swapFree=67108372/67108860
[pid=7192] ppid=7189 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7192/stat : 7192 (xcsp3-exec) S 7189 7192 3960 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232398111 115843072 363 33554432000 4194304 5098028 140723043353024 140723043351128 140429617857148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15101952 140723043357754 140723043357956 140723043357956 140723043360714 0
/proc/7192/statm: 28282 363 305 221 0 87 0
[pid=7194] ppid=7192 vsize=14087196 memory=41396 CPUtime=0.34 cores=1,3,5,7
/proc/7194/stat : 7194 (java) S 7192 7192 3960 0 -1 1077944320 8364 0 0 0 32 2 0 0 20 0 15 0 232398111 14425288704 10349 33554432000 4194304 4196468 140725074123296 140725074105840 140287796637431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
/proc/7194/statm: 3521799 10349 3200 1 0 3483012 0
[pid=7194/tid=7195] ppid=7192 vsize=14087196 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/7194/task/7195/stat : 7195 (java) R 7192 7192 3960 0 -1 4202560 5474 0 0 0 19 1 0 0 20 0 15 0 232398112 14425288704 10349 33554432000 4194304 4196468 140725074123296 140287800858424 140287789315445 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7196] ppid=7192 vsize=14087196 memory=11498 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7196/stat : 7196 (java) S 7192 7192 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232398112 14425288704 10349 33554432000 4194304 4196468 140725074123296 140287726726032 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7197] ppid=7192 vsize=14087196 memory=140690007650267 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7197/stat : 7197 (java) S 7192 7192 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232398112 14425288704 10349 33554432000 4194304 4196468 140725074123296 140287390956304 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7198] ppid=7192 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7198/stat : 7198 (java) S 7192 7192 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232398112 14425288704 10349 33554432000 4194304 4196468 140725074123296 140287389904016 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7199] ppid=7192 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7199/stat : 7199 (java) S 7192 7192 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232398112 14425288704 10349 33554432000 4194304 4196468 140725074123296 140287388851216 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7200] ppid=7192 vsize=14087196 memory=140690007635584 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7200/stat : 7200 (java) S 7192 7192 3960 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 232398114 14425288704 10349 33554432000 4194304 4196468 140725074123296 140286708635760 140287796648578 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7201] ppid=7192 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7201/stat : 7201 (java) S 7192 7192 3960 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232398114 14425288704 10349 33554432000 4194304 4196468 140725074123296 140286707581728 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7202] ppid=7192 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7202/stat : 7202 (java) S 7192 7192 3960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232398114 14425288704 10349 33554432000 4194304 4196468 140725074123296 140286706529392 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7203] ppid=7192 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7203/stat : 7203 (java) S 7192 7192 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232398117 14425288704 10349 33554432000 4194304 4196468 140725074123296 140286705477712 140287796656027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7204] ppid=7192 vsize=14087196 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/7194/task/7204/stat : 7204 (java) S 7192 7192 3960 0 -1 1077944384 447 0 0 0 2 0 0 0 20 0 15 0 232398117 14425288704 10349 33554432000 4194304 4196468 140725074123296 140286704425584 140287796648578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7205] ppid=7192 vsize=14087196 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/7194/task/7205/stat : 7205 (java) S 7192 7192 3960 0 -1 1077944384 336 0 0 0 2 0 0 0 20 0 15 0 232398117 14425288704 10349 33554432000 4194304 4196468 140725074123296 140286703372784 140287796648578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7206] ppid=7192 vsize=14087196 memory=140690007635584 CPUtime=0.08 cores=1,3,5,7
/proc/7194/task/7206/stat : 7206 (java) R 7192 7192 3960 0 -1 4202560 806 0 0 0 8 0 0 0 20 0 15 0 232398117 14425288704 10349 33554432000 4194304 4196468 140725074123296 140286702320496 140287780993851 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7207] ppid=7192 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7207/stat : 7207 (java) S 7192 7192 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232398117 14425288704 10349 33554432000 4194304 4196468 140725074123296 140286701267936 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7208] ppid=7192 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7208/stat : 7208 (java) S 7192 7192 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232398117 14425288704 10349 33554432000 4194304 4196468 140725074123296 140286700214704 140287796648578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 42848 KiB
[startup+0.319035 s]*
/proc/loadavg: 1.98 1.74 1.73 3/217 7208
/proc/meminfo: memFree=23393088/32770624 swapFree=67108372/67108860
[pid=7192] ppid=7189 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7192/stat : 7192 (xcsp3-exec) S 7189 7192 3960 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232398111 115843072 363 33554432000 4194304 5098028 140723043353024 140723043351128 140429617857148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15101952 140723043357754 140723043357956 140723043357956 140723043360714 0
/proc/7192/statm: 28282 363 305 221 0 87 0
[pid=7194] ppid=7192 vsize=14087196 memory=48640 CPUtime=0.53 cores=1,3,5,7
/proc/7194/stat : 7194 (java) S 7192 7192 3960 0 -1 1077944320 9292 0 0 0 50 3 0 0 20 0 15 0 232398111 14425288704 12160 33554432000 4194304 4196468 140725074123296 140725074105840 140287796637431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
/proc/7194/statm: 3521799 12160 3275 1 0 3483012 0
[pid=7194/tid=7195] ppid=7192 vsize=14087196 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/7194/task/7195/stat : 7195 (java) R 7192 7192 3960 0 -1 4202560 6229 0 0 0 28 2 0 0 20 0 15 0 232398112 14425288704 12160 33554432000 4194304 4196468 140725074123296 140287800871824 140287796658778 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7196] ppid=7192 vsize=14087196 memory=11841 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7196/stat : 7196 (java) S 7192 7192 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232398112 14425288704 12160 33554432000 4194304 4196468 140725074123296 140287726726032 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7197] ppid=7192 vsize=14087196 memory=1268063 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7197/stat : 7197 (java) S 7192 7192 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232398112 14425288704 12160 33554432000 4194304 4196468 140725074123296 140287390956304 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7198] ppid=7192 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7198/stat : 7198 (java) S 7192 7192 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232398112 14425288704 12160 33554432000 4194304 4196468 140725074123296 140287389904016 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7199] ppid=7192 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7199/stat : 7199 (java) S 7192 7192 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232398112 14425288704 12160 33554432000 4194304 4196468 140725074123296 140287388851216 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7200] ppid=7192 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7200/stat : 7200 (java) S 7192 7192 3960 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 232398114 14425288704 12160 33554432000 4194304 4196468 140725074123296 140286708635760 140287796648578 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7201] ppid=7192 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7201/stat : 7201 (java) S 7192 7192 3960 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232398114 14425288704 12160 33554432000 4194304 4196468 140725074123296 140286707581728 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7202] ppid=7192 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7202/stat : 7202 (java) S 7192 7192 3960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232398114 14425288704 12160 33554432000 4194304 4196468 140725074123296 140286706529392 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7203] ppid=7192 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7203/stat : 7203 (java) S 7192 7192 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232398117 14425288704 12160 33554432000 4194304 4196468 140725074123296 140286705477712 140287796656027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7204] ppid=7192 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7194/task/7204/stat : 7204 (java) R 7192 7192 3960 0 -1 1077944384 470 0 0 0 3 0 0 0 20 0 15 0 232398117 14425288704 12160 33554432000 4194304 4196468 140725074123296 140286704425584 140287796648578 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7205] ppid=7192 vsize=14087196 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/7194/task/7205/stat : 7205 (java) R 7192 7192 3960 0 -1 4202560 413 0 0 0 5 0 0 0 20 0 15 0 232398117 14425288704 12160 33554432000 4194304 4196468 140725074123296 140286703372784 140287789622473 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7206] ppid=7192 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7194/task/7206/stat : 7206 (java) R 7192 7192 3960 0 -1 4202560 877 0 0 0 12 0 0 0 20 0 15 0 232398117 14425288704 12160 33554432000 4194304 4196468 140725074123296 140286702320496 140287780717918 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7207] ppid=7192 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7207/stat : 7207 (java) S 7192 7192 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232398117 14425288704 12160 33554432000 4194304 4196468 140725074123296 140286701267936 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7208] ppid=7192 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7208/stat : 7208 (java) S 7192 7192 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232398117 14425288704 12160 33554432000 4194304 4196468 140725074123296 140286700214704 140287796648578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 50092 KiB
[startup+0.700837 s]
/proc/loadavg: 1.98 1.74 1.73 4/217 7208
/proc/meminfo: memFree=23379564/32770624 swapFree=67108372/67108860
[pid=7192] ppid=7189 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7192/stat : 7192 (xcsp3-exec) S 7189 7192 3960 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232398111 115843072 363 33554432000 4194304 5098028 140723043353024 140723043351128 140429617857148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15101952 140723043357754 140723043357956 140723043357956 140723043360714 0
/proc/7192/statm: 28282 363 305 221 0 87 0
[pid=7194] ppid=7192 vsize=14089320 memory=74372 CPUtime=1.64 cores=1,3,5,7
/proc/7194/stat : 7194 (java) S 7192 7192 3960 0 -1 1077944320 12251 0 0 0 159 5 0 0 20 0 15 0 232398111 14427463680 18593 33554432000 4194304 4196468 140725074123296 140725074105840 140287796637431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
/proc/7194/statm: 3522330 18593 3364 1 0 3483524 0
[pid=7194/tid=7195] ppid=7192 vsize=14089320 memory=3316 CPUtime=0.66 cores=1,3,5,7
/proc/7194/task/7195/stat : 7195 (java) R 7192 7192 3960 0 -1 4202560 7058 0 0 0 63 3 0 0 20 0 15 0 232398112 14427463680 18593 33554432000 4194304 4196468 140725074123296 140287800873424 140287410676271 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7196] ppid=7192 vsize=14089320 memory=488 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7196/stat : 7196 (java) S 7192 7192 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232398112 14427463680 18593 33554432000 4194304 4196468 140725074123296 140287726726032 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7197] ppid=7192 vsize=14089320 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7197/stat : 7197 (java) S 7192 7192 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232398112 14427463680 18593 33554432000 4194304 4196468 140725074123296 140287390956304 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7198] ppid=7192 vsize=14089320 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7198/stat : 7198 (java) S 7192 7192 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232398112 14427463680 18593 33554432000 4194304 4196468 140725074123296 140287389904016 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7199] ppid=7192 vsize=14089320 memory=932 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7199/stat : 7199 (java) S 7192 7192 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232398112 14427463680 18593 33554432000 4194304 4196468 140725074123296 140287388851216 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7200] ppid=7192 vsize=14089320 memory=6416 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7200/stat : 7200 (java) S 7192 7192 3960 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 232398114 14427463680 18593 33554432000 4194304 4196468 140725074123296 140286708635760 140287796648578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7201] ppid=7192 vsize=14089320 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7201/stat : 7201 (java) S 7192 7192 3960 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232398114 14427463680 18593 33554432000 4194304 4196468 140725074123296 140286707581728 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7202] ppid=7192 vsize=14089320 memory=928 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7202/stat : 7202 (java) S 7192 7192 3960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232398114 14427463680 18593 33554432000 4194304 4196468 140725074123296 140286706529392 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7203] ppid=7192 vsize=14089320 memory=2196 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7203/stat : 7203 (java) S 7192 7192 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232398117 14427463680 18593 33554432000 4194304 4196468 140725074123296 140286705477712 140287796656027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7204] ppid=7192 vsize=14089320 memory=3988 CPUtime=0.24 cores=1,3,5,7
/proc/7194/task/7204/stat : 7204 (java) R 7192 7192 3960 0 -1 4202560 1032 0 0 0 24 0 0 0 20 0 15 0 232398117 14427463680 18593 33554432000 4194304 4196468 140725074123296 140286704412944 140287781536938 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7205] ppid=7192 vsize=14089320 memory=1924 CPUtime=0.28 cores=1,3,5,7
/proc/7194/task/7205/stat : 7205 (java) R 7192 7192 3960 0 -1 4202560 983 0 0 0 28 0 0 0 20 0 15 0 232398117 14427463680 18593 33554432000 4194304 4196468 140725074123296 140286703360336 140287781763315 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7206] ppid=7192 vsize=14089320 memory=7532 CPUtime=0.42 cores=1,3,5,7
/proc/7194/task/7206/stat : 7206 (java) S 7192 7192 3960 0 -1 1077944384 1870 0 0 0 42 0 0 0 20 0 15 0 232398117 14427463680 18593 33554432000 4194304 4196468 140725074123296 140286702320496 140287796648578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7207] ppid=7192 vsize=14089320 memory=808 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7207/stat : 7207 (java) S 7192 7192 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232398117 14427463680 18593 33554432000 4194304 4196468 140725074123296 140286701267936 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7208] ppid=7192 vsize=14089320 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7208/stat : 7208 (java) S 7192 7192 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232398117 14427463680 18593 33554432000 4194304 4196468 140725074123296 140286700214704 140287796648578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 75824 KiB
[startup+1.5009 s]
/proc/loadavg: 1.98 1.74 1.73 5/217 7208
/proc/meminfo: memFree=23358968/32770624 swapFree=67108372/67108860
[pid=7192] ppid=7189 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7192/stat : 7192 (xcsp3-exec) S 7189 7192 3960 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232398111 115843072 363 33554432000 4194304 5098028 140723043353024 140723043351128 140429617857148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15101952 140723043357754 140723043357956 140723043357956 140723043360714 0
/proc/7192/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/7194/task/7202/stat : 7202 (java) S 7192 7192 3960 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 232398114 14427463680 1273506 33554432000 4194304 4196468 140725074123296 140286706529392 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7203] ppid=7192 vsize=14089320 memory=63168 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7203/stat : 7203 (java) S 7192 7192 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232398117 14427463680 1273506 33554432000 4194304 4196468 140725074123296 140286705477712 140287796656027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7204] ppid=7192 vsize=14089320 memory=63168 CPUtime=2.16 cores=1,3,5,7
/proc/7194/task/7204/stat : 7204 (java) S 7192 7192 3960 0 -1 1077944384 14798 0 0 0 214 2 0 0 20 0 15 0 232398117 14427463680 1273506 33554432000 4194304 4196468 140725074123296 140286704425584 140287796648578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7205] ppid=7192 vsize=14089320 memory=1100 CPUtime=2.23 cores=1,3,5,7
/proc/7194/task/7205/stat : 7205 (java) S 7192 7192 3960 0 -1 1077944384 19697 0 0 0 221 2 0 0 20 0 15 0 232398117 14427463680 1273506 33554432000 4194304 4196468 140725074123296 140286703372784 140287796648578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7206] ppid=7192 vsize=14089320 memory=1452 CPUtime=0.59 cores=1,3,5,7
/proc/7194/task/7206/stat : 7206 (java) S 7192 7192 3960 0 -1 1077944384 7497 0 0 0 58 1 0 0 20 0 15 0 232398117 14427463680 1273506 33554432000 4194304 4196468 140725074123296 140286702320496 140287796648578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7207] ppid=7192 vsize=14089320 memory=5094024 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7207/stat : 7207 (java) S 7192 7192 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232398117 14427463680 1273506 33554432000 4194304 4196468 140725074123296 140286701267936 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7208] ppid=7192 vsize=14089320 memory=1452 CPUtime=0.62 cores=1,3,5,7
/proc/7194/task/7208/stat : 7208 (java) S 7192 7192 3960 0 -1 1077944384 1621 0 0 0 27 35 0 0 20 0 15 0 232398117 14427463680 1273506 33554432000 4194304 4196468 140725074123296 140286700214704 140287796648578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
Current children cumulated CPU time: 2408.97 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 5095476 KiB
[startup+2442.3 s]
/proc/loadavg: 1.17 1.44 1.47 3/217 7363
/proc/meminfo: memFree=17635600/32770624 swapFree=67108372/67108860
[pid=7192] ppid=7189 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7192/stat : 7192 (xcsp3-exec) S 7189 7192 3960 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232398111 115843072 363 33554432000 4194304 5098028 140723043353024 140723043351128 140429617857148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15101952 140723043357754 140723043357956 140723043357956 140723043360714 0
/proc/7192/statm: 28282 363 305 221 0 87 0
[pid=7194] ppid=7192 vsize=14089320 memory=5105664 CPUtime=2470.14 cores=1,3,5,7
/proc/7194/stat : 7194 (java) S 7192 7192 3960 0 -1 1077944320 240036 0 0 0 246763 251 0 0 20 0 15 0 232398111 14427463680 1276416 33554432000 4194304 4196468 140725074123296 140725074105840 140287796637431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
/proc/7194/statm: 3522330 1276416 3427 1 0 3483524 0
[pid=7194/tid=7195] ppid=7192 vsize=14089320 memory=5106176 CPUtime=2432.47 cores=1,3,5,7
/proc/7194/task/7195/stat : 7195 (java) R 7192 7192 3960 0 -1 4202560 137025 0 0 0 243097 150 0 0 20 0 15 0 232398112 14427463680 1276416 33554432000 4194304 4196468 140725074123296 140287800877152 140287411044127 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7196] ppid=7192 vsize=14089320 memory=1452 CPUtime=7.67 cores=1,3,5,7
/proc/7194/task/7196/stat : 7196 (java) S 7192 7192 3960 0 -1 1077944384 13315 0 0 0 754 13 0 0 20 0 15 0 232398112 14427463680 1276416 33554432000 4194304 4196468 140725074123296 140287726726032 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7197] ppid=7192 vsize=14089320 memory=5096068 CPUtime=7.68 cores=1,3,5,7
/proc/7194/task/7197/stat : 7197 (java) S 7192 7192 3960 0 -1 1077944384 9951 0 0 0 755 13 0 0 20 0 15 0 232398112 14427463680 1276416 33554432000 4194304 4196468 140725074123296 140287390956304 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7198] ppid=7192 vsize=14089320 memory=5106176 CPUtime=7.65 cores=1,3,5,7
/proc/7194/task/7198/stat : 7198 (java) S 7192 7192 3960 0 -1 1077944384 11523 0 0 0 752 13 0 0 20 0 15 0 232398112 14427463680 1276416 33554432000 4194304 4196468 140725074123296 140287389904016 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7199] ppid=7192 vsize=14089320 memory=5105664 CPUtime=7.66 cores=1,3,5,7
/proc/7194/task/7199/stat : 7199 (java) S 7192 7192 3960 0 -1 1077944384 14360 0 0 0 752 14 0 0 20 0 15 0 232398112 14427463680 1276416 33554432000 4194304 4196468 140725074123296 140287388851216 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7200] ppid=7192 vsize=14089320 memory=1452 CPUtime=1.3 cores=1,3,5,7
/proc/7194/task/7200/stat : 7200 (java) S 7192 7192 3960 0 -1 1077944384 8859 0 0 0 114 16 0 0 20 0 15 0 232398114 14427463680 1276416 33554432000 4194304 4196468 140725074123296 140286708635760 140287796648578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7201] ppid=7192 vsize=14089320 memory=5094024 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7201/stat : 7201 (java) S 7192 7192 3960 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 232398114 14427463680 1276416 33554432000 4194304 4196468 140725074123296 140286707581728 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7202] ppid=7192 vsize=14089320 memory=3812 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7202/stat : 7202 (java) S 7192 7192 3960 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 232398114 14427463680 1276416 33554432000 4194304 4196468 140725074123296 140286706529392 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7203] ppid=7192 vsize=14089320 memory=63168 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7203/stat : 7203 (java) S 7192 7192 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232398117 14427463680 1276416 33554432000 4194304 4196468 140725074123296 140286705477712 140287796656027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7204] ppid=7192 vsize=14089320 memory=5105664 CPUtime=2.16 cores=1,3,5,7
/proc/7194/task/7204/stat : 7204 (java) S 7192 7192 3960 0 -1 1077944384 14800 0 0 0 214 2 0 0 20 0 15 0 232398117 14427463680 1276416 33554432000 4194304 4196468 140725074123296 140286704425584 140287796648578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7205] ppid=7192 vsize=14089320 memory=1452 CPUtime=2.23 cores=1,3,5,7
/proc/7194/task/7205/stat : 7205 (java) S 7192 7192 3960 0 -1 1077944384 19699 0 0 0 221 2 0 0 20 0 15 0 232398117 14427463680 1276416 33554432000 4194304 4196468 140725074123296 140286703372784 140287796648578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7206] ppid=7192 vsize=14089320 memory=5106176 CPUtime=0.59 cores=1,3,5,7
/proc/7194/task/7206/stat : 7206 (java) S 7192 7192 3960 0 -1 1077944384 7500 0 0 0 58 1 0 0 20 0 15 0 232398117 14427463680 1276416 33554432000 4194304 4196468 140725074123296 140286702320496 140287796648578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7207] ppid=7192 vsize=14089320 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7207/stat : 7207 (java) S 7192 7192 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232398117 14427463680 1276416 33554432000 4194304 4196468 140725074123296 140286701267936 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7208] ppid=7192 vsize=14089320 memory=1452 CPUtime=0.64 cores=1,3,5,7
/proc/7194/task/7208/stat : 7208 (java) S 7192 7192 3960 0 -1 1077944384 1640 0 0 0 28 36 0 0 20 0 15 0 232398117 14427463680 1276416 33554432000 4194304 4196468 140725074123296 140286700214704 140287796648578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
Current children cumulated CPU time: 2470.14 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 5107116 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2491.7 s]
/proc/loadavg: 1.41 1.46 1.48 3/218 7372
/proc/meminfo: memFree=17636368/32770624 swapFree=67108372/67108860
[pid=7192] ppid=7189 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7192/stat : 7192 (xcsp3-exec) S 7189 7192 3960 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232398111 115843072 363 33554432000 4194304 5098028 140723043353024 140723043351128 140429617857148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15101952 140723043357754 140723043357956 140723043357956 140723043360714 0
/proc/7192/statm: 28282 363 305 221 0 87 0
[pid=7194] ppid=7192 vsize=14089320 memory=5106432 CPUtime=2520.07 cores=1,3,5,7
/proc/7194/stat : 7194 (java) S 7192 7192 3960 0 -1 1077944320 254280 0 0 0 251754 253 0 0 20 0 15 0 232398111 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140725074105840 140287796637431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
/proc/7194/statm: 3522330 1276608 3427 1 0 3483524 0
[pid=7194/tid=7195] ppid=7192 vsize=14089320 memory=5106432 CPUtime=2481.69 cores=1,3,5,7
/proc/7194/task/7195/stat : 7195 (java) R 7192 7192 3960 0 -1 4202560 146402 0 0 0 248019 150 0 0 20 0 15 0 232398112 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140287800876304 140287410776360 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7196] ppid=7192 vsize=14089320 memory=1452 CPUtime=7.85 cores=1,3,5,7
/proc/7194/task/7196/stat : 7196 (java) S 7192 7192 3960 0 -1 1077944384 14206 0 0 0 772 13 0 0 20 0 15 0 232398112 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140287726726032 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7197] ppid=7192 vsize=14089320 memory=5106432 CPUtime=7.85 cores=1,3,5,7
/proc/7194/task/7197/stat : 7197 (java) S 7192 7192 3960 0 -1 1077944384 10672 0 0 0 772 13 0 0 20 0 15 0 232398112 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140287390956304 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7198] ppid=7192 vsize=14089320 memory=1452 CPUtime=7.83 cores=1,3,5,7
/proc/7194/task/7198/stat : 7198 (java) S 7192 7192 3960 0 -1 1077944384 12322 0 0 0 770 13 0 0 20 0 15 0 232398112 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140287389904016 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7199] ppid=7192 vsize=14089320 memory=1452 CPUtime=7.83 cores=1,3,5,7
/proc/7194/task/7199/stat : 7199 (java) S 7192 7192 3960 0 -1 1077944384 16607 0 0 0 769 14 0 0 20 0 15 0 232398112 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140287388851216 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7200] ppid=7192 vsize=14089320 memory=5106876 CPUtime=1.31 cores=1,3,5,7
/proc/7194/task/7200/stat : 7200 (java) S 7192 7192 3960 0 -1 1077944384 9040 0 0 0 115 16 0 0 20 0 15 0 232398114 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140286708635760 140287796648578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7201] ppid=7192 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7201/stat : 7201 (java) S 7192 7192 3960 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 232398114 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140286707581728 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7202] ppid=7192 vsize=14089320 memory=223 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7202/stat : 7202 (java) S 7192 7192 3960 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 232398114 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140286706529392 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7203] ppid=7192 vsize=14089320 memory=59 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7203/stat : 7203 (java) S 7192 7192 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232398117 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140286705477712 140287796656027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7204] ppid=7192 vsize=14089320 memory=5106876 CPUtime=2.16 cores=1,3,5,7
/proc/7194/task/7204/stat : 7204 (java) S 7192 7192 3960 0 -1 1077944384 14802 0 0 0 214 2 0 0 20 0 15 0 232398117 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140286704425584 140287796648578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7205] ppid=7192 vsize=14089320 memory=1220 CPUtime=2.23 cores=1,3,5,7
/proc/7194/task/7205/stat : 7205 (java) S 7192 7192 3960 0 -1 1077944384 19702 0 0 0 221 2 0 0 20 0 15 0 232398117 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140286703372784 140287796648578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7206] ppid=7192 vsize=14089320 memory=8112282956445269571 CPUtime=0.59 cores=1,3,5,7
/proc/7194/task/7206/stat : 7206 (java) S 7192 7192 3960 0 -1 1077944384 7502 0 0 0 58 1 0 0 20 0 15 0 232398117 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140286702320496 140287796648578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7207] ppid=7192 vsize=14089320 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7207/stat : 7207 (java) S 7192 7192 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232398117 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140286701267936 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7208] ppid=7192 vsize=14089320 memory=1220 CPUtime=0.65 cores=1,3,5,7
/proc/7194/task/7208/stat : 7208 (java) S 7192 7192 3960 0 -1 1077944384 1661 0 0 0 28 37 0 0 20 0 15 0 232398117 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140286700214704 140287796648578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 5107884 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2491.71 s]
# the end of solver process 7192 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002222 s, system=0 s
[startup+2491.73 s]
# the end of solver process 7194 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.56 s, system=2.55833 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2491.7 s]
/proc/loadavg: 1.41 1.46 1.48 3/218 7372
/proc/meminfo: memFree=17636368/32770624 swapFree=67108372/67108860
[pid=7192] ppid=7189 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7192/stat : 7192 (xcsp3-exec) S 7189 7192 3960 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232398111 115843072 363 33554432000 4194304 5098028 140723043353024 140723043351128 140429617857148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15101952 140723043357754 140723043357956 140723043357956 140723043360714 0
/proc/7192/statm: 28282 363 305 221 0 87 0
[pid=7194] ppid=7192 vsize=14089320 memory=5106432 CPUtime=2520.07 cores=1,3,5,7
/proc/7194/stat : 7194 (java) S 7192 7192 3960 0 -1 1077944320 254280 0 0 0 251754 253 0 0 20 0 15 0 232398111 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140725074105840 140287796637431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
/proc/7194/statm: 3522330 1276608 3427 1 0 3483524 0
[pid=7194/tid=7195] ppid=7192 vsize=14089320 memory=5106432 CPUtime=2481.69 cores=1,3,5,7
/proc/7194/task/7195/stat : 7195 (java) R 7192 7192 3960 0 -1 4202560 146402 0 0 0 248019 150 0 0 20 0 15 0 232398112 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140287800876304 140287410776360 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7196] ppid=7192 vsize=14089320 memory=1452 CPUtime=7.85 cores=1,3,5,7
/proc/7194/task/7196/stat : 7196 (java) S 7192 7192 3960 0 -1 1077944384 14206 0 0 0 772 13 0 0 20 0 15 0 232398112 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140287726726032 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7197] ppid=7192 vsize=14089320 memory=5106432 CPUtime=7.85 cores=1,3,5,7
/proc/7194/task/7197/stat : 7197 (java) S 7192 7192 3960 0 -1 1077944384 10672 0 0 0 772 13 0 0 20 0 15 0 232398112 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140287390956304 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7198] ppid=7192 vsize=14089320 memory=1452 CPUtime=7.83 cores=1,3,5,7
/proc/7194/task/7198/stat : 7198 (java) S 7192 7192 3960 0 -1 1077944384 12322 0 0 0 770 13 0 0 20 0 15 0 232398112 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140287389904016 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7199] ppid=7192 vsize=14089320 memory=1452 CPUtime=7.83 cores=1,3,5,7
/proc/7194/task/7199/stat : 7199 (java) S 7192 7192 3960 0 -1 1077944384 16607 0 0 0 769 14 0 0 20 0 15 0 232398112 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140287388851216 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7200] ppid=7192 vsize=14089320 memory=5106876 CPUtime=1.31 cores=1,3,5,7
/proc/7194/task/7200/stat : 7200 (java) S 7192 7192 3960 0 -1 1077944384 9040 0 0 0 115 16 0 0 20 0 15 0 232398114 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140286708635760 140287796648578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7201] ppid=7192 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7201/stat : 7201 (java) S 7192 7192 3960 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 232398114 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140286707581728 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7202] ppid=7192 vsize=14089320 memory=223 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7202/stat : 7202 (java) S 7192 7192 3960 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 232398114 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140286706529392 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7203] ppid=7192 vsize=14089320 memory=59 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7203/stat : 7203 (java) S 7192 7192 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232398117 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140286705477712 140287796656027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7204] ppid=7192 vsize=14089320 memory=5106876 CPUtime=2.16 cores=1,3,5,7
/proc/7194/task/7204/stat : 7204 (java) S 7192 7192 3960 0 -1 1077944384 14802 0 0 0 214 2 0 0 20 0 15 0 232398117 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140286704425584 140287796648578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7205] ppid=7192 vsize=14089320 memory=1220 CPUtime=2.23 cores=1,3,5,7
/proc/7194/task/7205/stat : 7205 (java) S 7192 7192 3960 0 -1 1077944384 19702 0 0 0 221 2 0 0 20 0 15 0 232398117 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140286703372784 140287796648578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7206] ppid=7192 vsize=14089320 memory=8112282956445269571 CPUtime=0.59 cores=1,3,5,7
/proc/7194/task/7206/stat : 7206 (java) S 7192 7192 3960 0 -1 1077944384 7502 0 0 0 58 1 0 0 20 0 15 0 232398117 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140286702320496 140287796648578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7207] ppid=7192 vsize=14089320 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/7194/task/7207/stat : 7207 (java) S 7192 7192 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232398117 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140286701267936 140287796647637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
[pid=7194/tid=7208] ppid=7192 vsize=14089320 memory=1220 CPUtime=0.65 cores=1,3,5,7
/proc/7194/task/7208/stat : 7208 (java) S 7192 7192 3960 0 -1 1077944384 1661 0 0 0 28 37 0 0 20 0 15 0 232398117 14427463680 1276608 33554432000 4194304 4196468 140725074123296 140286700214704 140287796648578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140725074125958 140725074126129 140725074126129 140725074128847 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 5107884 KiB
Child status: 143
Real time (s): 2491.73
CPU time (s): 2520.12
CPU user time (s): 2517.56
CPU system time (s): 2.55833
CPU usage (%): 101.139
Max. virtual memory (cumulated for all children) (KiB): 14204400
Max. memory (cumulated for all children) (KiB): 5109164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.56
system time used= 2.55833
maximum resident set size= 5107712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255181
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 87995
involuntary context switches= 3215
# summary of solver processes directly reported to runsolver:
# pid: 7192,7194
# total CPU time (s): 2520.12
# total CPU user time (s): 2517.56
# total CPU system time (s): 2.55833
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7494 second user time and 22.1681 second system time
The end