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 (14671 MiB free)
memory of node 1: 16384 MiB (11648 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302107-1532888529/watcher-4302107-1532888529 -o /tmp/evaluation-result-4302107-1532888529/solver-4302107-1532888529 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532880125-7617 --watchdog 312 HOME/xcsp3-exec -seed 583859143 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4302107-1532888529.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=15034, runsolver pid=15031
Current StackSize limit: 8192 KiB
[startup+0.10014 s]*
/proc/loadavg: 2.01 1.95 1.87 3/218 15050
/proc/meminfo: memFree=26935228/32770624 swapFree=67108496/67108860
[pid=15034] ppid=15031 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15034/stat : 15034 (xcsp3-exec) S 15031 15034 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106416065 115843072 364 33554432000 4194304 5098028 140726939055712 140726939053816 140657744134780 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24702976 140726939059265 140726939059465 140726939059465 140726939062218 0
/proc/15034/statm: 28282 364 306 221 0 87 0
[pid=15036] ppid=15034 vsize=14082940 memory=29088 CPUtime=0.11 cores=1,3,5,7
/proc/15036/stat : 15036 (java) S 15034 15034 7585 0 -1 1077944320 5562 0 0 0 10 1 0 0 20 0 15 0 106416066 14420930560 7272 33554432000 4194304 4196468 140723859002816 140723858985360 140447840104183 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
/proc/15036/statm: 3520735 7272 3056 1 0 3483012 0
[pid=15036/tid=15037] ppid=15034 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/15036/task/15037/stat : 15037 (java) R 15034 15034 7585 0 -1 4202560 3578 0 0 0 8 1 0 0 20 0 15 0 106416066 14420930560 7272 33554432000 4194304 4196468 140723859002816 140447844336432 140447840116118 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15038] ppid=15034 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15038/stat : 15038 (java) S 15034 15034 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106416067 14420930560 7272 33554432000 4194304 4196468 140723859002816 140447792724624 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15039] ppid=15034 vsize=14082940 memory=139851756471936 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15039/stat : 15039 (java) S 15034 15034 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106416067 14420930560 7272 33554432000 4194304 4196468 140723859002816 140447791671824 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15040] ppid=15034 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15040/stat : 15040 (java) S 15034 15034 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106416067 14420930560 7272 33554432000 4194304 4196468 140723859002816 140447790619024 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15041] ppid=15034 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15041/stat : 15041 (java) S 15034 15034 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106416067 14420930560 7272 33554432000 4194304 4196468 140723859002816 140447789566224 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15042] ppid=15034 vsize=14082940 memory=139851756471936 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15042/stat : 15042 (java) S 15034 15034 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106416068 14420930560 7272 33554432000 4194304 4196468 140723859002816 140447381461872 140447840115330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15043] ppid=15034 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15043/stat : 15043 (java) S 15034 15034 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106416069 14420930560 7272 33554432000 4194304 4196468 140723859002816 140447380407840 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15044] ppid=15034 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15044/stat : 15044 (java) S 15034 15034 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106416069 14420930560 7272 33554432000 4194304 4196468 140723859002816 140447379354992 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15045] ppid=15034 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15045/stat : 15045 (java) S 15034 15034 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106416071 14420930560 7272 33554432000 4194304 4196468 140723859002816 140447378303312 140447840122779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15046] ppid=15034 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15046/stat : 15046 (java) S 15034 15034 7585 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 15 0 106416071 14420930560 7272 33554432000 4194304 4196468 140723859002816 140447309621616 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15047] ppid=15034 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15047/stat : 15047 (java) R 15034 15034 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106416071 14420930560 7272 33554432000 4194304 4196468 140723859002816 140447308568816 140447840115330 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15048] ppid=15034 vsize=14082940 memory=139851756471936 CPUtime=0.01 cores=1,3,5,7
/proc/15036/task/15048/stat : 15048 (java) R 15034 15034 7585 0 -1 4202560 276 0 0 0 1 0 0 0 20 0 15 0 106416071 14420930560 7272 33554432000 4194304 4196468 140723859002816 140447307516016 140447821341744 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15049] ppid=15034 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15049/stat : 15049 (java) S 15034 15034 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106416072 14420930560 7272 33554432000 4194304 4196468 140723859002816 140447306463456 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15050] ppid=15034 vsize=14082940 memory=139851756471936 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15050/stat : 15050 (java) S 15034 15034 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106416072 14420930560 7272 33554432000 4194304 4196468 140723859002816 140447305411760 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30544 KiB
[startup+0.2107 s]*
/proc/loadavg: 2.01 1.95 1.87 4/218 15050
/proc/meminfo: memFree=26923816/32770624 swapFree=67108496/67108860
[pid=15034] ppid=15031 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15034/stat : 15034 (xcsp3-exec) S 15031 15034 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106416065 115843072 364 33554432000 4194304 5098028 140726939055712 140726939053816 140657744134780 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24702976 140726939059265 140726939059465 140726939059465 140726939062218 0
/proc/15034/statm: 28282 364 306 221 0 87 0
[pid=15036] ppid=15034 vsize=14082940 memory=40704 CPUtime=0.34 cores=1,3,5,7
/proc/15036/stat : 15036 (java) S 15034 15034 7585 0 -1 1077944320 8186 0 0 0 31 3 0 0 20 0 15 0 106416066 14420930560 10176 33554432000 4194304 4196468 140723859002816 140723858985360 140447840104183 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
/proc/15036/statm: 3520735 10176 3206 1 0 3483012 0
[pid=15036/tid=15037] ppid=15034 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/15036/task/15037/stat : 15037 (java) D 15034 15034 7585 0 -1 1077944384 5391 0 0 0 18 2 0 0 20 0 15 0 106416066 14420930560 10240 33554432000 4194304 4196468 140723859002816 140447844328168 140447832782197 0 4 0 16800975 18446744072101756452 0 0 -1 5 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15038] ppid=15034 vsize=14082940 memory=8950 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15038/stat : 15038 (java) S 15034 15034 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106416067 14420930560 10240 33554432000 4194304 4196468 140723859002816 140447792724624 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15039] ppid=15034 vsize=14082940 memory=288370227908183680 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15039/stat : 15039 (java) S 15034 15034 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106416067 14420930560 10240 33554432000 4194304 4196468 140723859002816 140447791671824 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15040] ppid=15034 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15040/stat : 15040 (java) S 15034 15034 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106416067 14420930560 10240 33554432000 4194304 4196468 140723859002816 140447790619024 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15041] ppid=15034 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15041/stat : 15041 (java) S 15034 15034 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106416067 14420930560 10240 33554432000 4194304 4196468 140723859002816 140447789566224 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15042] ppid=15034 vsize=14082940 memory=139851756471936 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15042/stat : 15042 (java) S 15034 15034 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106416068 14420930560 10240 33554432000 4194304 4196468 140723859002816 140447381461872 140447840115330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15043] ppid=15034 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15043/stat : 15043 (java) S 15034 15034 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106416069 14420930560 10240 33554432000 4194304 4196468 140723859002816 140447380407840 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15044] ppid=15034 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15044/stat : 15044 (java) S 15034 15034 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106416069 14420930560 10240 33554432000 4194304 4196468 140723859002816 140447379354992 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15045] ppid=15034 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15045/stat : 15045 (java) S 15034 15034 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106416071 14420930560 10240 33554432000 4194304 4196468 140723859002816 140447378303312 140447840122779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15046] ppid=15034 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15036/task/15046/stat : 15046 (java) S 15034 15034 7585 0 -1 1077944384 665 0 0 0 2 0 0 0 20 0 15 0 106416071 14420930560 10240 33554432000 4194304 4196468 140723859002816 140447309621616 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15047] ppid=15034 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15036/task/15047/stat : 15047 (java) S 15034 15034 7585 0 -1 1077944384 102 0 0 0 2 0 0 0 20 0 15 0 106416071 14420930560 10240 33554432000 4194304 4196468 140723859002816 140447308568816 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15048] ppid=15034 vsize=14082940 memory=139851756471936 CPUtime=0.08 cores=1,3,5,7
/proc/15036/task/15048/stat : 15048 (java) S 15034 15034 7585 0 -1 1077944384 730 0 0 0 8 0 0 0 20 0 15 0 106416071 14420930560 10240 33554432000 4194304 4196468 140723859002816 140447307516016 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15049] ppid=15034 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15049/stat : 15049 (java) S 15034 15034 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106416072 14420930560 10240 33554432000 4194304 4196468 140723859002816 140447306463456 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15050] ppid=15034 vsize=14082972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15050/stat : 15050 (java) S 15034 15034 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106416072 14420963328 10240 33554432000 4194304 4196468 140723859002816 140447305411760 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42160 KiB
[startup+0.310613 s]*
/proc/loadavg: 2.01 1.95 1.87 4/218 15050
/proc/meminfo: memFree=26917116/32770624 swapFree=67108496/67108860
[pid=15034] ppid=15031 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15034/stat : 15034 (xcsp3-exec) S 15031 15034 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106416065 115843072 364 33554432000 4194304 5098028 140726939055712 140726939053816 140657744134780 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24702976 140726939059265 140726939059465 140726939059465 140726939062218 0
/proc/15034/statm: 28282 364 306 221 0 87 0
[pid=15036] ppid=15034 vsize=14087196 memory=47360 CPUtime=0.52 cores=1,3,5,7
/proc/15036/stat : 15036 (java) S 15034 15034 7585 0 -1 1077944320 9093 0 0 0 49 3 0 0 20 0 15 0 106416066 14425288704 11840 33554432000 4194304 4196468 140723859002816 140723858985360 140447840104183 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
/proc/15036/statm: 3521799 11840 3268 1 0 3483012 0
[pid=15036/tid=15037] ppid=15034 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/15036/task/15037/stat : 15037 (java) R 15034 15034 7585 0 -1 4202560 6112 0 0 0 27 2 0 0 20 0 15 0 106416066 14425288704 11905 33554432000 4194304 4196468 140723859002816 140447844340960 140447824184670 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15038] ppid=15034 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15038/stat : 15038 (java) S 15034 15034 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106416067 14425288704 11905 33554432000 4194304 4196468 140723859002816 140447792724624 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15039] ppid=15034 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15039/stat : 15039 (java) S 15034 15034 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106416067 14425288704 11905 33554432000 4194304 4196468 140723859002816 140447791671824 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15040] ppid=15034 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15040/stat : 15040 (java) S 15034 15034 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106416067 14425288704 11905 33554432000 4194304 4196468 140723859002816 140447790619024 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15041] ppid=15034 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15041/stat : 15041 (java) S 15034 15034 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106416067 14425288704 11905 33554432000 4194304 4196468 140723859002816 140447789566224 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15042] ppid=15034 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15042/stat : 15042 (java) S 15034 15034 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106416068 14425288704 11905 33554432000 4194304 4196468 140723859002816 140447381461872 140447840115330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15043] ppid=15034 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15043/stat : 15043 (java) S 15034 15034 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106416069 14425288704 11905 33554432000 4194304 4196468 140723859002816 140447380407840 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15044] ppid=15034 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15044/stat : 15044 (java) S 15034 15034 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106416069 14425288704 11905 33554432000 4194304 4196468 140723859002816 140447379354992 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15045] ppid=15034 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15045/stat : 15045 (java) S 15034 15034 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106416071 14425288704 11905 33554432000 4194304 4196468 140723859002816 140447378303312 140447840122779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15046] ppid=15034 vsize=14087196 memory=4628975386420216973 CPUtime=0.03 cores=1,3,5,7
/proc/15036/task/15046/stat : 15046 (java) S 15034 15034 7585 0 -1 1077944384 681 0 0 0 3 0 0 0 20 0 15 0 106416071 14425288704 11905 33554432000 4194304 4196468 140723859002816 140447309621616 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15047] ppid=15034 vsize=14087196 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/15036/task/15047/stat : 15047 (java) S 15034 15034 7585 0 -1 1077944384 192 0 0 0 5 0 0 0 20 0 15 0 106416071 14425288704 11905 33554432000 4194304 4196468 140723859002816 140447308568816 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15048] ppid=15034 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/15036/task/15048/stat : 15048 (java) S 15034 15034 7585 0 -1 1077944384 808 0 0 0 12 0 0 0 20 0 15 0 106416071 14425288704 11913 33554432000 4194304 4196468 140723859002816 140447307516016 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15049] ppid=15034 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15049/stat : 15049 (java) S 15034 15034 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106416072 14425288704 11913 33554432000 4194304 4196468 140723859002816 140447306463456 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15050] ppid=15034 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15050/stat : 15050 (java) S 15034 15034 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106416072 14425288704 11913 33554432000 4194304 4196468 140723859002816 140447305411760 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48816 KiB
[startup+0.710063 s]
/proc/loadavg: 2.01 1.95 1.87 5/218 15050
/proc/meminfo: memFree=26891184/32770624 swapFree=67108496/67108860
[pid=15034] ppid=15031 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15034/stat : 15034 (xcsp3-exec) S 15031 15034 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106416065 115843072 364 33554432000 4194304 5098028 140726939055712 140726939053816 140657744134780 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24702976 140726939059265 140726939059465 140726939059465 140726939062218 0
/proc/15034/statm: 28282 364 306 221 0 87 0
[pid=15036] ppid=15034 vsize=14089320 memory=84708 CPUtime=1.49 cores=1,3,5,7
/proc/15036/stat : 15036 (java) S 15034 15034 7585 0 -1 1077944320 11744 0 0 0 144 5 0 0 20 0 15 0 106416066 14427463680 21177 33554432000 4194304 4196468 140723859002816 140723858985360 140447840104183 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
/proc/15036/statm: 3522330 21177 3345 1 0 3483524 0
[pid=15036/tid=15037] ppid=15034 vsize=14089320 memory=33 CPUtime=0.68 cores=1,3,5,7
/proc/15036/task/15037/stat : 15037 (java) R 15034 15034 7585 0 -1 4202560 6765 0 0 0 65 3 0 0 20 0 15 0 106416066 14427463680 21177 33554432000 4194304 4196468 140723859002816 140447844337968 140447464290065 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15038] ppid=15034 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15038/stat : 15038 (java) S 15034 15034 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106416067 14427463680 21177 33554432000 4194304 4196468 140723859002816 140447792724624 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15039] ppid=15034 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15039/stat : 15039 (java) S 15034 15034 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106416067 14427463680 21177 33554432000 4194304 4196468 140723859002816 140447791671824 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15040] ppid=15034 vsize=14089320 memory=30288 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15040/stat : 15040 (java) S 15034 15034 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106416067 14427463680 21177 33554432000 4194304 4196468 140723859002816 140447790619024 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15041] ppid=15034 vsize=14089320 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15041/stat : 15041 (java) S 15034 15034 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106416067 14427463680 21177 33554432000 4194304 4196468 140723859002816 140447789566224 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15042] ppid=15034 vsize=14089320 memory=2260 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15042/stat : 15042 (java) S 15034 15034 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106416068 14427463680 21177 33554432000 4194304 4196468 140723859002816 140447381461872 140447840115330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15043] ppid=15034 vsize=14089320 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15043/stat : 15043 (java) S 15034 15034 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106416069 14427463680 21177 33554432000 4194304 4196468 140723859002816 140447380407840 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15044] ppid=15034 vsize=14089320 memory=860 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15044/stat : 15044 (java) S 15034 15034 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106416069 14427463680 21177 33554432000 4194304 4196468 140723859002816 140447379354992 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15045] ppid=15034 vsize=14089320 memory=12556 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15045/stat : 15045 (java) S 15034 15034 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106416071 14427463680 21177 33554432000 4194304 4196468 140723859002816 140447378303312 140447840122779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15046] ppid=15034 vsize=14089320 memory=756 CPUtime=0.23 cores=1,3,5,7
/proc/15036/task/15046/stat : 15046 (java) R 15034 15034 7585 0 -1 4202560 1380 0 0 0 23 0 0 0 20 0 15 0 106416071 14427463680 21177 33554432000 4194304 4196468 140723859002816 140447309621912 140447819953611 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15047] ppid=15034 vsize=14089320 memory=1616 CPUtime=0.25 cores=1,3,5,7
/proc/15036/task/15047/stat : 15047 (java) S 15034 15034 7585 0 -1 1077944384 739 0 0 0 25 0 0 0 20 0 15 0 106416071 14427463680 21177 33554432000 4194304 4196468 140723859002816 140447308568816 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15048] ppid=15034 vsize=14089320 memory=1836 CPUtime=0.29 cores=1,3,5,7
/proc/15036/task/15048/stat : 15048 (java) S 15034 15034 7585 0 -1 1077944384 1551 0 0 0 29 0 0 0 20 0 15 0 106416071 14427463680 21177 33554432000 4194304 4196468 140723859002816 140447307516016 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15049] ppid=15034 vsize=14089320 memory=1132 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15049/stat : 15049 (java) S 15034 15034 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106416072 14427463680 21177 33554432000 4194304 4196468 140723859002816 140447306463456 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15050] ppid=15034 vsize=14089320 memory=6396 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15050/stat : 15050 (java) S 15034 15034 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106416072 14427463680 21177 33554432000 4194304 4196468 140723859002816 140447305411760 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 86164 KiB
[startup+1.50081 s]
/proc/loadavg: 2.01 1.95 1.87 3/218 15050
/proc/meminfo: memFree=26847184/32770624 swapFree=67108496/67108860
[pid=15034] ppid=15031 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15034/stat : 15034 (xcsp3-exec) S 15031 15034 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106416065 115843072 364 33554432000 4194304 5098028 140726939055712 140726939053816 140657744134780 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24702976 140726939059265 140726939059465 140726939059465 140726939062218 0
/proc/15034/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/15036/task/15044/stat : 15044 (java) S 15034 15034 7585 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 106416069 14427463680 79879 33554432000 4194304 4196468 140723859002816 140447379355008 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15045] ppid=15034 vsize=14089320 memory=319516 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15045/stat : 15045 (java) S 15034 15034 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106416071 14427463680 79879 33554432000 4194304 4196468 140723859002816 140447378303312 140447840122779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15046] ppid=15034 vsize=14089320 memory=1456 CPUtime=2.22 cores=1,3,5,7
/proc/15036/task/15046/stat : 15046 (java) S 15034 15034 7585 0 -1 1077944384 8227 0 0 0 221 1 0 0 20 0 15 0 106416071 14427463680 79879 33554432000 4194304 4196468 140723859002816 140447309621616 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15047] ppid=15034 vsize=14089320 memory=1456 CPUtime=2.31 cores=1,3,5,7
/proc/15036/task/15047/stat : 15047 (java) S 15034 15034 7585 0 -1 1077944384 11398 0 0 0 230 1 0 0 20 0 15 0 106416071 14427463680 79879 33554432000 4194304 4196468 140723859002816 140447308568816 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15048] ppid=15034 vsize=14089320 memory=1456 CPUtime=0.58 cores=1,3,5,7
/proc/15036/task/15048/stat : 15048 (java) S 15034 15034 7585 0 -1 1077944384 6635 0 0 0 57 1 0 0 20 0 15 0 106416071 14427463680 79879 33554432000 4194304 4196468 140723859002816 140447307516016 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15049] ppid=15034 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15049/stat : 15049 (java) S 15034 15034 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106416072 14427463680 79879 33554432000 4194304 4196468 140723859002816 140447306463456 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15050] ppid=15034 vsize=14089320 memory=319516 CPUtime=0.05 cores=1,3,5,7
/proc/15036/task/15050/stat : 15050 (java) S 15034 15034 7585 0 -1 1077944384 350 0 0 0 2 3 0 0 20 0 15 0 106416072 14427463680 79879 33554432000 4194304 4196468 140723859002816 140447305411760 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
Current children cumulated CPU time: 167.92 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 320972 KiB
[startup+222.301 s]
/proc/loadavg: 1.83 1.89 1.86 3/217 15134
/proc/meminfo: memFree=26966132/32770624 swapFree=67108496/67108860
[pid=15034] ppid=15031 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15034/stat : 15034 (xcsp3-exec) S 15031 15034 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106416065 115843072 364 33554432000 4194304 5098028 140726939055712 140726939053816 140657744134780 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24702976 140726939059265 140726939059465 140726939059465 140726939062218 0
/proc/15034/statm: 28282 364 306 221 0 87 0
[pid=15036] ppid=15034 vsize=14089320 memory=267704 CPUtime=227.98 cores=1,3,5,7
/proc/15036/stat : 15036 (java) S 15034 15034 7585 0 -1 1077944320 49333 0 0 0 22758 40 0 0 20 0 15 0 106416066 14427463680 66926 33554432000 4194304 4196468 140723859002816 140723858985360 140447840104183 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
/proc/15036/statm: 3522330 66926 3419 1 0 3483524 0
[pid=15036/tid=15037] ppid=15034 vsize=14089320 memory=270784 CPUtime=222.06 cores=1,3,5,7
/proc/15036/task/15037/stat : 15037 (java) R 15034 15034 7585 0 -1 4202560 14196 0 0 0 22199 7 0 0 20 0 15 0 106416066 14427463680 66926 33554432000 4194304 4196468 140723859002816 140447844343168 140447466663585 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15038] ppid=15034 vsize=14089320 memory=270784 CPUtime=0.16 cores=1,3,5,7
/proc/15036/task/15038/stat : 15038 (java) S 15034 15034 7585 0 -1 1077944384 1358 0 0 0 10 6 0 0 20 0 15 0 106416067 14427463680 66926 33554432000 4194304 4196468 140723859002816 140447792724624 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15039] ppid=15034 vsize=14089320 memory=1456 CPUtime=0.15 cores=1,3,5,7
/proc/15036/task/15039/stat : 15039 (java) S 15034 15034 7585 0 -1 1077944384 1546 0 0 0 9 6 0 0 20 0 15 0 106416067 14427463680 66926 33554432000 4194304 4196468 140723859002816 140447791671824 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15040] ppid=15034 vsize=14089320 memory=267704 CPUtime=0.16 cores=1,3,5,7
/proc/15036/task/15040/stat : 15040 (java) S 15034 15034 7585 0 -1 1077944384 1091 0 0 0 10 6 0 0 20 0 15 0 106416067 14427463680 66926 33554432000 4194304 4196468 140723859002816 140447790619024 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15041] ppid=15034 vsize=14089320 memory=3872 CPUtime=0.14 cores=1,3,5,7
/proc/15036/task/15041/stat : 15041 (java) S 15034 15034 7585 0 -1 1077944384 1405 0 0 0 9 5 0 0 20 0 15 0 106416067 14427463680 66926 33554432000 4194304 4196468 140723859002816 140447789566224 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15042] ppid=15034 vsize=14089320 memory=270784 CPUtime=0.03 cores=1,3,5,7
/proc/15036/task/15042/stat : 15042 (java) S 15034 15034 7585 0 -1 1077944384 1745 0 0 0 3 0 0 0 20 0 15 0 106416068 14427463680 66926 33554432000 4194304 4196468 140723859002816 140447381461872 140447840115330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15043] ppid=15034 vsize=14089320 memory=267704 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15043/stat : 15043 (java) S 15034 15034 7585 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 106416069 14427463680 66926 33554432000 4194304 4196468 140723859002816 140447380407904 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15044] ppid=15034 vsize=14089320 memory=267704 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15044/stat : 15044 (java) S 15034 15034 7585 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 106416069 14427463680 66926 33554432000 4194304 4196468 140723859002816 140447379355008 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15045] ppid=15034 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15045/stat : 15045 (java) S 15034 15034 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106416071 14427463680 66926 33554432000 4194304 4196468 140723859002816 140447378303312 140447840122779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15046] ppid=15034 vsize=14089320 memory=1456 CPUtime=2.22 cores=1,3,5,7
/proc/15036/task/15046/stat : 15046 (java) S 15034 15034 7585 0 -1 1077944384 8229 0 0 0 221 1 0 0 20 0 15 0 106416071 14427463680 66926 33554432000 4194304 4196468 140723859002816 140447309621616 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15047] ppid=15034 vsize=14089320 memory=3872 CPUtime=2.31 cores=1,3,5,7
/proc/15036/task/15047/stat : 15047 (java) S 15034 15034 7585 0 -1 1077944384 11401 0 0 0 230 1 0 0 20 0 15 0 106416071 14427463680 66926 33554432000 4194304 4196468 140723859002816 140447308568816 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15048] ppid=15034 vsize=14089320 memory=30288 CPUtime=0.58 cores=1,3,5,7
/proc/15036/task/15048/stat : 15048 (java) S 15034 15034 7585 0 -1 1077944384 6638 0 0 0 57 1 0 0 20 0 15 0 106416071 14427463680 66926 33554432000 4194304 4196468 140723859002816 140447307516016 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15049] ppid=15034 vsize=14089320 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15049/stat : 15049 (java) S 15034 15034 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106416072 14427463680 66926 33554432000 4194304 4196468 140723859002816 140447306463456 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15050] ppid=15034 vsize=14089320 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/15036/task/15050/stat : 15050 (java) S 15034 15034 7585 0 -1 1077944384 378 0 0 0 3 5 0 0 20 0 15 0 106416072 14427463680 66926 33554432000 4194304 4196468 140723859002816 140447305411760 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
Current children cumulated CPU time: 227.98 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 269160 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+246.301 s]
/proc/loadavg: 1.81 1.89 1.86 3/217 15135
/proc/meminfo: memFree=26992592/32770624 swapFree=67108496/67108860
[pid=15034] ppid=15031 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15034/stat : 15034 (xcsp3-exec) S 15031 15034 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106416065 115843072 364 33554432000 4194304 5098028 140726939055712 140726939053816 140657744134780 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24702976 140726939059265 140726939059465 140726939059465 140726939062218 0
/proc/15034/statm: 28282 364 306 221 0 87 0
[pid=15036] ppid=15034 vsize=14089320 memory=249236 CPUtime=252 cores=1,3,5,7
/proc/15036/stat : 15036 (java) S 15034 15034 7585 0 -1 1077944320 49666 0 0 0 25160 40 0 0 20 0 15 0 106416066 14427463680 62309 33554432000 4194304 4196468 140723859002816 140723858985360 140447840104183 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
/proc/15036/statm: 3522330 62309 3419 1 0 3483524 0
[pid=15036/tid=15037] ppid=15034 vsize=14089320 memory=249236 CPUtime=246.05 cores=1,3,5,7
/proc/15036/task/15037/stat : 15037 (java) R 15034 15034 7585 0 -1 4202560 14210 0 0 0 24598 7 0 0 20 0 15 0 106416066 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447844343632 140447465978766 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15038] ppid=15034 vsize=14089320 memory=249236 CPUtime=0.16 cores=1,3,5,7
/proc/15036/task/15038/stat : 15038 (java) S 15034 15034 7585 0 -1 1077944384 1359 0 0 0 10 6 0 0 20 0 15 0 106416067 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447792724624 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15039] ppid=15034 vsize=14089320 memory=249236 CPUtime=0.16 cores=1,3,5,7
/proc/15036/task/15039/stat : 15039 (java) S 15034 15034 7585 0 -1 1077944384 1546 0 0 0 10 6 0 0 20 0 15 0 106416067 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447791671824 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15040] ppid=15034 vsize=14089320 memory=1456 CPUtime=0.16 cores=1,3,5,7
/proc/15036/task/15040/stat : 15040 (java) S 15034 15034 7585 0 -1 1077944384 1091 0 0 0 10 6 0 0 20 0 15 0 106416067 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447790619024 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15041] ppid=15034 vsize=14089320 memory=1456 CPUtime=0.15 cores=1,3,5,7
/proc/15036/task/15041/stat : 15041 (java) S 15034 15034 7585 0 -1 1077944384 1406 0 0 0 10 5 0 0 20 0 15 0 106416067 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447789566224 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15042] ppid=15034 vsize=14089320 memory=249236 CPUtime=0.04 cores=1,3,5,7
/proc/15036/task/15042/stat : 15042 (java) S 15034 15034 7585 0 -1 1077944384 1750 0 0 0 4 0 0 0 20 0 15 0 106416068 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447381461872 140447840115330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15043] ppid=15034 vsize=14089320 memory=3872 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15043/stat : 15043 (java) S 15034 15034 7585 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 106416069 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447380407904 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15044] ppid=15034 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15044/stat : 15044 (java) S 15034 15034 7585 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 106416069 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447379355008 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15045] ppid=15034 vsize=14089320 memory=3872 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15045/stat : 15045 (java) S 15034 15034 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106416071 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447378303312 140447840122779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15046] ppid=15034 vsize=14089320 memory=860 CPUtime=2.22 cores=1,3,5,7
/proc/15036/task/15046/stat : 15046 (java) S 15034 15034 7585 0 -1 1077944384 8229 0 0 0 221 1 0 0 20 0 15 0 106416071 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447309621616 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15047] ppid=15034 vsize=14089320 memory=12556 CPUtime=2.31 cores=1,3,5,7
/proc/15036/task/15047/stat : 15047 (java) S 15034 15034 7585 0 -1 1077944384 11401 0 0 0 230 1 0 0 20 0 15 0 106416071 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447308568816 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15048] ppid=15034 vsize=14089320 memory=3872 CPUtime=0.58 cores=1,3,5,7
/proc/15036/task/15048/stat : 15048 (java) S 15034 15034 7585 0 -1 1077944384 6946 0 0 0 57 1 0 0 20 0 15 0 106416071 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447307516016 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15049] ppid=15034 vsize=14089320 memory=30288 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15049/stat : 15049 (java) S 15034 15034 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106416072 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447306463456 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15050] ppid=15034 vsize=14089320 memory=1456 CPUtime=0.08 cores=1,3,5,7
/proc/15036/task/15050/stat : 15050 (java) S 15034 15034 7585 0 -1 1077944384 382 0 0 0 3 5 0 0 20 0 15 0 106416072 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447305411760 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 250692 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+246.31 s]
# the end of solver process 15034 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000733 s, system=0.001466 s
[startup+246.313 s]
# the end of solver process 15036 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.617 s, system=0.412694 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+246.301 s]
/proc/loadavg: 1.81 1.89 1.86 3/217 15135
/proc/meminfo: memFree=26992592/32770624 swapFree=67108496/67108860
[pid=15034] ppid=15031 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15034/stat : 15034 (xcsp3-exec) S 15031 15034 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106416065 115843072 364 33554432000 4194304 5098028 140726939055712 140726939053816 140657744134780 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24702976 140726939059265 140726939059465 140726939059465 140726939062218 0
/proc/15034/statm: 28282 364 306 221 0 87 0
[pid=15036] ppid=15034 vsize=14089320 memory=249236 CPUtime=252 cores=1,3,5,7
/proc/15036/stat : 15036 (java) S 15034 15034 7585 0 -1 1077944320 49666 0 0 0 25160 40 0 0 20 0 15 0 106416066 14427463680 62309 33554432000 4194304 4196468 140723859002816 140723858985360 140447840104183 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
/proc/15036/statm: 3522330 62309 3419 1 0 3483524 0
[pid=15036/tid=15037] ppid=15034 vsize=14089320 memory=249236 CPUtime=246.05 cores=1,3,5,7
/proc/15036/task/15037/stat : 15037 (java) R 15034 15034 7585 0 -1 4202560 14210 0 0 0 24598 7 0 0 20 0 15 0 106416066 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447844343632 140447465978766 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15038] ppid=15034 vsize=14089320 memory=249236 CPUtime=0.16 cores=1,3,5,7
/proc/15036/task/15038/stat : 15038 (java) S 15034 15034 7585 0 -1 1077944384 1359 0 0 0 10 6 0 0 20 0 15 0 106416067 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447792724624 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15039] ppid=15034 vsize=14089320 memory=249236 CPUtime=0.16 cores=1,3,5,7
/proc/15036/task/15039/stat : 15039 (java) S 15034 15034 7585 0 -1 1077944384 1546 0 0 0 10 6 0 0 20 0 15 0 106416067 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447791671824 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15040] ppid=15034 vsize=14089320 memory=1456 CPUtime=0.16 cores=1,3,5,7
/proc/15036/task/15040/stat : 15040 (java) S 15034 15034 7585 0 -1 1077944384 1091 0 0 0 10 6 0 0 20 0 15 0 106416067 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447790619024 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15041] ppid=15034 vsize=14089320 memory=1456 CPUtime=0.15 cores=1,3,5,7
/proc/15036/task/15041/stat : 15041 (java) S 15034 15034 7585 0 -1 1077944384 1406 0 0 0 10 5 0 0 20 0 15 0 106416067 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447789566224 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15042] ppid=15034 vsize=14089320 memory=249236 CPUtime=0.04 cores=1,3,5,7
/proc/15036/task/15042/stat : 15042 (java) S 15034 15034 7585 0 -1 1077944384 1750 0 0 0 4 0 0 0 20 0 15 0 106416068 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447381461872 140447840115330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15043] ppid=15034 vsize=14089320 memory=3872 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15043/stat : 15043 (java) S 15034 15034 7585 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 106416069 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447380407904 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15044] ppid=15034 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15044/stat : 15044 (java) S 15034 15034 7585 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 106416069 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447379355008 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15045] ppid=15034 vsize=14089320 memory=3872 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15045/stat : 15045 (java) S 15034 15034 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106416071 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447378303312 140447840122779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15046] ppid=15034 vsize=14089320 memory=860 CPUtime=2.22 cores=1,3,5,7
/proc/15036/task/15046/stat : 15046 (java) S 15034 15034 7585 0 -1 1077944384 8229 0 0 0 221 1 0 0 20 0 15 0 106416071 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447309621616 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15047] ppid=15034 vsize=14089320 memory=12556 CPUtime=2.31 cores=1,3,5,7
/proc/15036/task/15047/stat : 15047 (java) S 15034 15034 7585 0 -1 1077944384 11401 0 0 0 230 1 0 0 20 0 15 0 106416071 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447308568816 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15048] ppid=15034 vsize=14089320 memory=3872 CPUtime=0.58 cores=1,3,5,7
/proc/15036/task/15048/stat : 15048 (java) S 15034 15034 7585 0 -1 1077944384 6946 0 0 0 57 1 0 0 20 0 15 0 106416071 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447307516016 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15049] ppid=15034 vsize=14089320 memory=30288 CPUtime=0 cores=1,3,5,7
/proc/15036/task/15049/stat : 15049 (java) S 15034 15034 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106416072 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447306463456 140447840114389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
[pid=15036/tid=15050] ppid=15034 vsize=14089320 memory=1456 CPUtime=0.08 cores=1,3,5,7
/proc/15036/task/15050/stat : 15050 (java) S 15034 15034 7585 0 -1 1077944384 382 0 0 0 3 5 0 0 20 0 15 0 106416072 14427463680 62309 33554432000 4194304 4196468 140723859002816 140447305411760 140447840115330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30879744 140723859010700 140723859010870 140723859010870 140723859013583 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 250692 KiB
Child status: 143
Real time (s): 246.313
CPU time (s): 252.03
CPU user time (s): 251.617
CPU system time (s): 0.412694
CPU usage (%): 102.321
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 454280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.617
system time used= 0.412694
maximum resident set size= 471336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50719
page faults= 0
swaps= 0
block input operations= 0
block output operations= 416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8770
involuntary context switches= 324
# summary of solver processes directly reported to runsolver:
# pid: 15034,15036
# total CPU time (s): 252.03
# total CPU user time (s): 251.617
# total CPU system time (s): 0.412694
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.40316 second user time and 2.44421 second system time
The end