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 (5789 MiB free)
memory of node 1: 16384 MiB (1679 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307059-1534087531/watcher-4307059-1534087531 -o /tmp/evaluation-result-4307059-1534087531/solver-4307059-1534087531 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534062145-25231 --watchdog 2580 HOME/xcsp3-exec -seed 1329266244 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4307059-1534087531.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28127, runsolver pid=28124
[startup+0.100127 s]*
/proc/loadavg: 2.14 2.22 2.14 4/217 28143
/proc/meminfo: memFree=7632972/32770624 swapFree=67108380/67108860
[pid=28127] ppid=28124 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28127/stat : 28127 (xcsp3-exec) S 28124 28127 25200 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 226316387 115843072 364 33554432000 4194304 5098028 140732456560960 140732456559064 140672608883324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23576576 140732456567866 140732456568068 140732456568068 140732456570826 0
/proc/28127/statm: 28282 364 306 221 0 87 0
[pid=28129] ppid=28127 vsize=14082940 memory=28596 CPUtime=0.12 cores=0,2,4,6
/proc/28129/stat : 28129 (java) S 28127 28127 25200 0 -1 1077944320 5507 0 0 0 11 1 0 0 20 0 15 0 226316388 14420930560 7149 33554432000 4194304 4196468 140730323577216 140730323559760 139691242954487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
/proc/28129/statm: 3520735 7149 3019 1 0 3483012 0
[pid=28129/tid=28130] ppid=28127 vsize=14082940 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28130/stat : 28130 (java) R 28127 28127 25200 0 -1 4202560 3511 0 0 0 8 0 0 0 20 0 15 0 226316388 14420930560 7149 33554432000 4194304 4196468 140730323577216 139691247188640 139691242976413 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28131] ppid=28127 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28131/stat : 28131 (java) S 28127 28127 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226316389 14420930560 7149 33554432000 4194304 4196468 140730323577216 139691195575312 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28132] ppid=28127 vsize=14082940 memory=139820537964160 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28132/stat : 28132 (java) S 28127 28127 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226316389 14420930560 7149 33554432000 4194304 4196468 140730323577216 139690837732496 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28133] ppid=28127 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28133/stat : 28133 (java) S 28127 28127 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226316389 14420930560 7149 33554432000 4194304 4196468 140730323577216 139690836679440 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28134] ppid=28127 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28134/stat : 28134 (java) S 28127 28127 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226316389 14420930560 7149 33554432000 4194304 4196468 140730323577216 139690835626896 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28135] ppid=28127 vsize=14082940 memory=139820537964160 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28135/stat : 28135 (java) S 28127 28127 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226316390 14420930560 7149 33554432000 4194304 4196468 140730323577216 139690423896304 139691242965634 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28136] ppid=28127 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28136/stat : 28136 (java) S 28127 28127 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 226316391 14420930560 7149 33554432000 4194304 4196468 140730323577216 139690422842528 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28137] ppid=28127 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28137/stat : 28137 (java) S 28127 28127 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226316391 14420930560 7149 33554432000 4194304 4196468 140730323577216 139690421789424 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28138] ppid=28127 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28138/stat : 28138 (java) S 28127 28127 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226316393 14420930560 7149 33554432000 4194304 4196468 140730323577216 139690420738000 139691242973083 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28139] ppid=28127 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28139/stat : 28139 (java) S 28127 28127 25200 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 226316393 14420930560 7149 33554432000 4194304 4196468 140730323577216 139690419686128 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28140] ppid=28127 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28140/stat : 28140 (java) S 28127 28127 25200 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 226316393 14420930560 7149 33554432000 4194304 4196468 140730323577216 139690418633584 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28141] ppid=28127 vsize=14082940 memory=139820537964160 CPUtime=0.01 cores=0,2,4,6
/proc/28129/task/28141/stat : 28141 (java) R 28127 28127 25200 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 15 0 226316393 14420930560 7149 33554432000 4194304 4196468 140730323577216 139690417580528 139691221081969 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28142] ppid=28127 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28142/stat : 28142 (java) S 28127 28127 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226316393 14420930560 7149 33554432000 4194304 4196468 140730323577216 139690416528224 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28143] ppid=28127 vsize=14082940 memory=139820537964160 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28143/stat : 28143 (java) S 28127 28127 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226316394 14420930560 7149 33554432000 4194304 4196468 140730323577216 139690415475248 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30052 KiB
[startup+0.214563 s]*
/proc/loadavg: 2.14 2.22 2.14 5/217 28143
/proc/meminfo: memFree=7620676/32770624 swapFree=67108380/67108860
[pid=28127] ppid=28124 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28127/stat : 28127 (xcsp3-exec) S 28124 28127 25200 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 226316387 115843072 364 33554432000 4194304 5098028 140732456560960 140732456559064 140672608883324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23576576 140732456567866 140732456568068 140732456568068 140732456570826 0
/proc/28127/statm: 28282 364 306 221 0 87 0
[pid=28129] ppid=28127 vsize=14087196 memory=41400 CPUtime=0.35 cores=0,2,4,6
/proc/28129/stat : 28129 (java) S 28127 28127 25200 0 -1 1077944320 8415 0 0 0 33 2 0 0 20 0 15 0 226316388 14425288704 10350 33554432000 4194304 4196468 140730323577216 140730323559760 139691242954487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
/proc/28129/statm: 3521799 10350 3195 1 0 3483012 0
[pid=28129/tid=28130] ppid=28127 vsize=14087196 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/28129/task/28130/stat : 28130 (java) R 28127 28127 25200 0 -1 4202560 5477 0 0 0 19 1 0 0 20 0 15 0 226316388 14425288704 10350 33554432000 4194304 4196468 140730323577216 139691247175480 139691227034974 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28131] ppid=28127 vsize=14087196 memory=11498 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28131/stat : 28131 (java) S 28127 28127 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226316389 14425288704 10350 33554432000 4194304 4196468 140730323577216 139691195575312 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28132] ppid=28127 vsize=14087196 memory=139820537989661 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28132/stat : 28132 (java) S 28127 28127 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226316389 14425288704 10350 33554432000 4194304 4196468 140730323577216 139690837732496 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28133] ppid=28127 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28133/stat : 28133 (java) S 28127 28127 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226316389 14425288704 10350 33554432000 4194304 4196468 140730323577216 139690836679440 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28134] ppid=28127 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28134/stat : 28134 (java) S 28127 28127 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226316389 14425288704 10350 33554432000 4194304 4196468 140730323577216 139690835626896 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28135] ppid=28127 vsize=14087196 memory=139820537964160 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28135/stat : 28135 (java) S 28127 28127 25200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226316390 14425288704 10350 33554432000 4194304 4196468 140730323577216 139690423896304 139691242965634 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28136] ppid=28127 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28136/stat : 28136 (java) S 28127 28127 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 226316391 14425288704 10350 33554432000 4194304 4196468 140730323577216 139690422842528 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28137] ppid=28127 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28137/stat : 28137 (java) S 28127 28127 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226316391 14425288704 10350 33554432000 4194304 4196468 140730323577216 139690421789424 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28138] ppid=28127 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28138/stat : 28138 (java) S 28127 28127 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226316393 14425288704 10350 33554432000 4194304 4196468 140730323577216 139690420738000 139691242973083 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28139] ppid=28127 vsize=14087196 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28129/task/28139/stat : 28139 (java) S 28127 28127 25200 0 -1 1077944384 630 0 0 0 2 0 0 0 20 0 15 0 226316393 14425288704 10350 33554432000 4194304 4196468 140730323577216 139690419686128 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28140] ppid=28127 vsize=14087196 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28129/task/28140/stat : 28140 (java) S 28127 28127 25200 0 -1 1077944384 254 0 0 0 2 0 0 0 20 0 15 0 226316393 14425288704 10350 33554432000 4194304 4196468 140730323577216 139690418633584 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28141] ppid=28127 vsize=14087196 memory=139820537964160 CPUtime=0.07 cores=0,2,4,6
/proc/28129/task/28141/stat : 28141 (java) S 28127 28127 25200 0 -1 1077944384 744 0 0 0 7 0 0 0 20 0 15 0 226316393 14425288704 10350 33554432000 4194304 4196468 140730323577216 139690417580528 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28142] ppid=28127 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28142/stat : 28142 (java) S 28127 28127 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226316393 14425288704 10350 33554432000 4194304 4196468 140730323577216 139690416528224 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28143] ppid=28127 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28143/stat : 28143 (java) S 28127 28127 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226316394 14425288704 10350 33554432000 4194304 4196468 140730323577216 139690415475248 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 42856 KiB
[startup+0.318255 s]*
/proc/loadavg: 2.14 2.22 2.14 4/217 28143
/proc/meminfo: memFree=7614224/32770624 swapFree=67108380/67108860
[pid=28127] ppid=28124 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28127/stat : 28127 (xcsp3-exec) S 28124 28127 25200 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 226316387 115843072 364 33554432000 4194304 5098028 140732456560960 140732456559064 140672608883324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23576576 140732456567866 140732456568068 140732456568068 140732456570826 0
/proc/28127/statm: 28282 364 306 221 0 87 0
[pid=28129] ppid=28127 vsize=14087196 memory=48504 CPUtime=0.53 cores=0,2,4,6
/proc/28129/stat : 28129 (java) S 28127 28127 25200 0 -1 1077944320 9336 0 0 0 51 2 0 0 20 0 15 0 226316388 14425288704 12126 33554432000 4194304 4196468 140730323577216 140730323559760 139691242954487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
/proc/28129/statm: 3521799 12126 3238 1 0 3483012 0
[pid=28129/tid=28130] ppid=28127 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/28129/task/28130/stat : 28130 (java) R 28127 28127 25200 0 -1 4202560 6229 0 0 0 29 1 0 0 20 0 15 0 226316388 14425288704 12126 33554432000 4194304 4196468 140730323577216 139691247191312 139691227034974 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28131] ppid=28127 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28131/stat : 28131 (java) S 28127 28127 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226316389 14425288704 12126 33554432000 4194304 4196468 140730323577216 139691195575312 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28132] ppid=28127 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28132/stat : 28132 (java) S 28127 28127 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226316389 14425288704 12126 33554432000 4194304 4196468 140730323577216 139690837732496 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28133] ppid=28127 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28133/stat : 28133 (java) S 28127 28127 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226316389 14425288704 12133 33554432000 4194304 4196468 140730323577216 139690836679440 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28134] ppid=28127 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28134/stat : 28134 (java) S 28127 28127 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226316389 14425288704 12133 33554432000 4194304 4196468 140730323577216 139690835626896 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28135] ppid=28127 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28135/stat : 28135 (java) S 28127 28127 25200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226316390 14425288704 12133 33554432000 4194304 4196468 140730323577216 139690423896304 139691242965634 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28136] ppid=28127 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28136/stat : 28136 (java) S 28127 28127 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 226316391 14425288704 12133 33554432000 4194304 4196468 140730323577216 139690422842528 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28137] ppid=28127 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28137/stat : 28137 (java) S 28127 28127 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226316391 14425288704 12133 33554432000 4194304 4196468 140730323577216 139690421789424 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28138] ppid=28127 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28138/stat : 28138 (java) S 28127 28127 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226316393 14425288704 12133 33554432000 4194304 4196468 140730323577216 139690420738000 139691242973083 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28139] ppid=28127 vsize=14087196 memory=4426078206164241782 CPUtime=0.05 cores=0,2,4,6
/proc/28129/task/28139/stat : 28139 (java) S 28127 28127 25200 0 -1 1077944384 724 0 0 0 5 0 0 0 20 0 15 0 226316393 14425288704 12133 33554432000 4194304 4196468 140730323577216 139690419686128 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28140] ppid=28127 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/28129/task/28140/stat : 28140 (java) S 28127 28127 25200 0 -1 1077944384 263 0 0 0 4 0 0 0 20 0 15 0 226316393 14425288704 12133 33554432000 4194304 4196468 140730323577216 139690418633584 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28141] ppid=28127 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/28129/task/28141/stat : 28141 (java) S 28127 28127 25200 0 -1 1077944384 811 0 0 0 12 0 0 0 20 0 15 0 226316393 14425288704 12133 33554432000 4194304 4196468 140730323577216 139690417580528 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28142] ppid=28127 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28142/stat : 28142 (java) S 28127 28127 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226316393 14425288704 12133 33554432000 4194304 4196468 140730323577216 139690416528224 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28143] ppid=28127 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28143/stat : 28143 (java) S 28127 28127 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226316394 14425288704 12133 33554432000 4194304 4196468 140730323577216 139690415475248 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49960 KiB
[startup+0.701332 s]
/proc/loadavg: 2.14 2.22 2.14 5/217 28143
/proc/meminfo: memFree=7513384/32770624 swapFree=67108380/67108860
[pid=28127] ppid=28124 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28127/stat : 28127 (xcsp3-exec) S 28124 28127 25200 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 226316387 115843072 364 33554432000 4194304 5098028 140732456560960 140732456559064 140672608883324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23576576 140732456567866 140732456568068 140732456568068 140732456570826 0
/proc/28127/statm: 28282 364 306 221 0 87 0
[pid=28129] ppid=28127 vsize=14087196 memory=291084 CPUtime=1.54 cores=0,2,4,6
/proc/28129/stat : 28129 (java) S 28127 28127 25200 0 -1 1077944320 11879 0 0 0 132 22 0 0 20 0 15 0 226316388 14425288704 72771 33554432000 4194304 4196468 140730323577216 140730323559760 139691242954487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
/proc/28129/statm: 3521799 72771 3327 1 0 3483012 0
[pid=28129/tid=28130] ppid=28127 vsize=14087196 memory=1752 CPUtime=0.61 cores=0,2,4,6
/proc/28129/task/28130/stat : 28130 (java) R 28127 28127 25200 0 -1 4202560 6316 0 0 0 56 5 0 0 20 0 15 0 226316388 14425288704 72771 33554432000 4194304 4196468 140730323577216 139691247193616 139691242976413 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28131] ppid=28127 vsize=14087196 memory=5752 CPUtime=0.05 cores=0,2,4,6
/proc/28129/task/28131/stat : 28131 (java) S 28127 28127 25200 0 -1 1077944384 65 0 0 0 2 3 0 0 20 0 15 0 226316389 14425288704 72771 33554432000 4194304 4196468 140730323577216 139691195575312 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28132] ppid=28127 vsize=14087196 memory=4580 CPUtime=0.05 cores=0,2,4,6
/proc/28129/task/28132/stat : 28132 (java) S 28127 28127 25200 0 -1 1077944384 66 0 0 0 2 3 0 0 20 0 15 0 226316389 14425288704 72771 33554432000 4194304 4196468 140730323577216 139690837732496 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28133] ppid=28127 vsize=14087196 memory=1620 CPUtime=0.05 cores=0,2,4,6
/proc/28129/task/28133/stat : 28133 (java) S 28127 28127 25200 0 -1 1077944384 60 0 0 0 2 3 0 0 20 0 15 0 226316389 14425288704 72771 33554432000 4194304 4196468 140730323577216 139690836679440 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28134] ppid=28127 vsize=14087196 memory=1220 CPUtime=0.05 cores=0,2,4,6
/proc/28129/task/28134/stat : 28134 (java) S 28127 28127 25200 0 -1 1077944384 62 0 0 0 2 3 0 0 20 0 15 0 226316389 14425288704 72771 33554432000 4194304 4196468 140730323577216 139690835626896 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28135] ppid=28127 vsize=14087196 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28135/stat : 28135 (java) S 28127 28127 25200 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 226316390 14425288704 72771 33554432000 4194304 4196468 140730323577216 139690423896304 139691242965634 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28136] ppid=28127 vsize=14087196 memory=868 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28136/stat : 28136 (java) S 28127 28127 25200 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 226316391 14425288704 72771 33554432000 4194304 4196468 140730323577216 139690422842528 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28137] ppid=28127 vsize=14087196 memory=7336 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28137/stat : 28137 (java) S 28127 28127 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226316391 14425288704 72771 33554432000 4194304 4196468 140730323577216 139690421789424 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28138] ppid=28127 vsize=14087196 memory=11628 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28138/stat : 28138 (java) S 28127 28127 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226316393 14425288704 72771 33554432000 4194304 4196468 140730323577216 139690420738000 139691242973083 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28139] ppid=28127 vsize=14087196 memory=752 CPUtime=0.25 cores=0,2,4,6
/proc/28129/task/28139/stat : 28139 (java) R 28127 28127 25200 0 -1 4202560 1236 0 0 0 25 0 0 0 20 0 15 0 226316393 14425288704 72771 33554432000 4194304 4196468 140730323577216 139690419672672 139691224498576 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28140] ppid=28127 vsize=14087196 memory=1276 CPUtime=0.21 cores=0,2,4,6
/proc/28129/task/28140/stat : 28140 (java) S 28127 28127 25200 0 -1 1077944384 1434 0 0 0 21 0 0 0 20 0 15 0 226316393 14425288704 72771 33554432000 4194304 4196468 140730323577216 139690418633584 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28141] ppid=28127 vsize=14087196 memory=1068 CPUtime=0.18 cores=0,2,4,6
/proc/28129/task/28141/stat : 28141 (java) S 28127 28127 25200 0 -1 1077944384 1256 0 0 0 18 0 0 0 20 0 15 0 226316393 14425288704 72771 33554432000 4194304 4196468 140730323577216 139690417580528 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28142] ppid=28127 vsize=14087196 memory=15080 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28142/stat : 28142 (java) S 28127 28127 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226316393 14425288704 72771 33554432000 4194304 4196468 140730323577216 139690416528224 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28143] ppid=28127 vsize=14087196 memory=34296 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28143/stat : 28143 (java) S 28127 28127 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226316394 14425288704 72771 33554432000 4194304 4196468 140730323577216 139690415475248 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 292540 KiB
[startup+1.5029 s]
/proc/loadavg: 2.14 2.22 2.14 4/217 28143
/proc/meminfo: memFree=7181488/32770624 swapFree=67108380/67108860
[pid=28127] ppid=28124 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28127/stat : 28127 (xcsp3-exec) S 28124 28127 25200 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 226316387 115843072 364 33554432000 4194304 5098028 140732456560960 140732456559064 140672608883324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23576576 140732456567866 140732456568068 140732456568068 140732456570826 0
/proc/28127/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/28129/task/28137/stat : 28137 (java) S 28127 28127 25200 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 226316391 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690421789440 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28138] ppid=28127 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28138/stat : 28138 (java) S 28127 28127 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226316393 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690420738000 139691242973083 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28139] ppid=28127 vsize=14091368 memory=1456 CPUtime=4.12 cores=0,2,4,6
/proc/28129/task/28139/stat : 28139 (java) S 28127 28127 25200 0 -1 1077944384 42870 0 0 0 408 4 0 0 20 0 15 0 226316393 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690419686128 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28140] ppid=28127 vsize=14091368 memory=1456 CPUtime=3.48 cores=0,2,4,6
/proc/28129/task/28140/stat : 28140 (java) S 28127 28127 25200 0 -1 1077944384 43777 0 0 0 344 4 0 0 20 0 15 0 226316393 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690418633584 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28141] ppid=28127 vsize=14091368 memory=3988 CPUtime=1.06 cores=0,2,4,6
/proc/28129/task/28141/stat : 28141 (java) S 28127 28127 25200 0 -1 1077944384 27065 0 0 0 102 4 0 0 20 0 15 0 226316393 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690417580528 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28142] ppid=28127 vsize=14091368 memory=1924 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28142/stat : 28142 (java) S 28127 28127 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226316393 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690416528224 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28143] ppid=28127 vsize=14091368 memory=4927660 CPUtime=1.42 cores=0,2,4,6
/proc/28129/task/28143/stat : 28143 (java) S 28127 28127 25200 0 -1 1077944384 3809 0 0 0 77 65 0 0 20 0 15 0 226316394 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690415475248 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
Current children cumulated CPU time: 2345.62 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 4929116 KiB
[startup+2382.3 s]
/proc/loadavg: 1.97 2.01 2.05 3/218 28400
/proc/meminfo: memFree=3968864/32770624 swapFree=67108380/67108860
[pid=28127] ppid=28124 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28127/stat : 28127 (xcsp3-exec) S 28124 28127 25200 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 226316387 115843072 364 33554432000 4194304 5098028 140732456560960 140732456559064 140672608883324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23576576 140732456567866 140732456568068 140732456568068 140732456570826 0
/proc/28127/statm: 28282 364 306 221 0 87 0
[pid=28129] ppid=28127 vsize=14091368 memory=4927660 CPUtime=2405.67 cores=0,2,4,6
/proc/28129/stat : 28129 (java) S 28127 28127 25200 0 -1 1077944320 304377 0 0 0 240146 421 0 0 20 0 15 0 226316388 14429560832 1231915 33554432000 4194304 4196468 140730323577216 140730323559760 139691242954487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
/proc/28129/statm: 3522842 1231915 3434 1 0 3484036 0
[pid=28129/tid=28130] ppid=28127 vsize=14091368 memory=4927660 CPUtime=2377.53 cores=0,2,4,6
/proc/28129/task/28130/stat : 28130 (java) R 28127 28127 25200 0 -1 4202560 105502 0 0 0 237693 60 0 0 20 0 15 0 226316388 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139691247190336 139690884088955 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28131] ppid=28127 vsize=14091368 memory=4927660 CPUtime=4.41 cores=0,2,4,6
/proc/28129/task/28131/stat : 28131 (java) S 28127 28127 25200 0 -1 1077944384 17320 0 0 0 371 70 0 0 20 0 15 0 226316389 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139691195575312 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28132] ppid=28127 vsize=14091368 memory=4927660 CPUtime=4.46 cores=0,2,4,6
/proc/28129/task/28132/stat : 28132 (java) S 28127 28127 25200 0 -1 1077944384 18238 0 0 0 373 73 0 0 20 0 15 0 226316389 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690837732496 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28133] ppid=28127 vsize=14091368 memory=4927660 CPUtime=4.41 cores=0,2,4,6
/proc/28129/task/28133/stat : 28133 (java) S 28127 28127 25200 0 -1 1077944384 16888 0 0 0 369 72 0 0 20 0 15 0 226316389 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690836679440 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28134] ppid=28127 vsize=14091368 memory=4927660 CPUtime=4.42 cores=0,2,4,6
/proc/28129/task/28134/stat : 28134 (java) S 28127 28127 25200 0 -1 1077944384 16820 0 0 0 372 70 0 0 20 0 15 0 226316389 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690835626896 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28135] ppid=28127 vsize=14091368 memory=4927660 CPUtime=0.23 cores=0,2,4,6
/proc/28129/task/28135/stat : 28135 (java) S 28127 28127 25200 0 -1 1077944384 10694 0 0 0 20 3 0 0 20 0 15 0 226316390 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690423896304 139691242965634 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28136] ppid=28127 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28136/stat : 28136 (java) S 28127 28127 25200 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 226316391 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690422842592 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28137] ppid=28127 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28137/stat : 28137 (java) S 28127 28127 25200 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 226316391 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690421789440 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28138] ppid=28127 vsize=14091368 memory=4927660 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28138/stat : 28138 (java) S 28127 28127 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226316393 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690420738000 139691242973083 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28139] ppid=28127 vsize=14091368 memory=4927660 CPUtime=4.12 cores=0,2,4,6
/proc/28129/task/28139/stat : 28139 (java) S 28127 28127 25200 0 -1 1077944384 42877 0 0 0 408 4 0 0 20 0 15 0 226316393 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690419686128 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28140] ppid=28127 vsize=14091368 memory=1456 CPUtime=3.48 cores=0,2,4,6
/proc/28129/task/28140/stat : 28140 (java) S 28127 28127 25200 0 -1 1077944384 43782 0 0 0 344 4 0 0 20 0 15 0 226316393 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690418633584 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28141] ppid=28127 vsize=14091368 memory=1456 CPUtime=1.06 cores=0,2,4,6
/proc/28129/task/28141/stat : 28141 (java) S 28127 28127 25200 0 -1 1077944384 27076 0 0 0 102 4 0 0 20 0 15 0 226316393 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690417580528 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28142] ppid=28127 vsize=14091368 memory=4927660 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28142/stat : 28142 (java) S 28127 28127 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226316393 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690416528224 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28143] ppid=28127 vsize=14091368 memory=3000 CPUtime=1.45 cores=0,2,4,6
/proc/28129/task/28143/stat : 28143 (java) S 28127 28127 25200 0 -1 1077944384 3849 0 0 0 79 66 0 0 20 0 15 0 226316394 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690415475248 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
Current children cumulated CPU time: 2405.67 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 4929116 KiB
[startup+2442.3 s]
/proc/loadavg: 2.07 2.02 2.05 3/217 28401
/proc/meminfo: memFree=3961580/32770624 swapFree=67108380/67108860
[pid=28127] ppid=28124 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28127/stat : 28127 (xcsp3-exec) S 28124 28127 25200 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 226316387 115843072 364 33554432000 4194304 5098028 140732456560960 140732456559064 140672608883324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23576576 140732456567866 140732456568068 140732456568068 140732456570826 0
/proc/28127/statm: 28282 364 306 221 0 87 0
[pid=28129] ppid=28127 vsize=14091368 memory=4927660 CPUtime=2465.71 cores=0,2,4,6
/proc/28129/stat : 28129 (java) S 28127 28127 25200 0 -1 1077944320 306471 0 0 0 246149 422 0 0 20 0 15 0 226316388 14429560832 1231915 33554432000 4194304 4196468 140730323577216 140730323559760 139691242954487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
/proc/28129/statm: 3522842 1231915 3434 1 0 3484036 0
[pid=28129/tid=28130] ppid=28127 vsize=14091368 memory=4927660 CPUtime=2437.53 cores=0,2,4,6
/proc/28129/task/28130/stat : 28130 (java) R 28127 28127 25200 0 -1 4202560 107452 0 0 0 243693 60 0 0 20 0 15 0 226316388 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139691247190336 139690884089045 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28131] ppid=28127 vsize=14091368 memory=4927660 CPUtime=4.41 cores=0,2,4,6
/proc/28129/task/28131/stat : 28131 (java) S 28127 28127 25200 0 -1 1077944384 17320 0 0 0 371 70 0 0 20 0 15 0 226316389 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139691195575312 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28132] ppid=28127 vsize=14091368 memory=4927660 CPUtime=4.46 cores=0,2,4,6
/proc/28129/task/28132/stat : 28132 (java) S 28127 28127 25200 0 -1 1077944384 18238 0 0 0 373 73 0 0 20 0 15 0 226316389 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690837732496 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28133] ppid=28127 vsize=14091368 memory=1456 CPUtime=4.41 cores=0,2,4,6
/proc/28129/task/28133/stat : 28133 (java) S 28127 28127 25200 0 -1 1077944384 16888 0 0 0 369 72 0 0 20 0 15 0 226316389 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690836679440 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28134] ppid=28127 vsize=14091368 memory=4927660 CPUtime=4.42 cores=0,2,4,6
/proc/28129/task/28134/stat : 28134 (java) S 28127 28127 25200 0 -1 1077944384 16820 0 0 0 372 70 0 0 20 0 15 0 226316389 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690835626896 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28135] ppid=28127 vsize=14091368 memory=4927660 CPUtime=0.23 cores=0,2,4,6
/proc/28129/task/28135/stat : 28135 (java) S 28127 28127 25200 0 -1 1077944384 10714 0 0 0 20 3 0 0 20 0 15 0 226316390 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690423896304 139691242965634 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28136] ppid=28127 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28136/stat : 28136 (java) S 28127 28127 25200 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 226316391 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690422842592 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28137] ppid=28127 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28137/stat : 28137 (java) S 28127 28127 25200 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 226316391 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690421789440 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28138] ppid=28127 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28138/stat : 28138 (java) S 28127 28127 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226316393 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690420738000 139691242973083 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28139] ppid=28127 vsize=14091368 memory=1456 CPUtime=4.12 cores=0,2,4,6
/proc/28129/task/28139/stat : 28139 (java) S 28127 28127 25200 0 -1 1077944384 42892 0 0 0 408 4 0 0 20 0 15 0 226316393 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690419686128 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28140] ppid=28127 vsize=14091368 memory=4927660 CPUtime=3.48 cores=0,2,4,6
/proc/28129/task/28140/stat : 28140 (java) S 28127 28127 25200 0 -1 1077944384 43795 0 0 0 344 4 0 0 20 0 15 0 226316393 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690418633584 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28141] ppid=28127 vsize=14091368 memory=1456 CPUtime=1.06 cores=0,2,4,6
/proc/28129/task/28141/stat : 28141 (java) S 28127 28127 25200 0 -1 1077944384 27096 0 0 0 102 4 0 0 20 0 15 0 226316393 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690417580528 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28142] ppid=28127 vsize=14091368 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28142/stat : 28142 (java) S 28127 28127 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226316393 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690416528224 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28143] ppid=28127 vsize=14091368 memory=2992 CPUtime=1.49 cores=0,2,4,6
/proc/28129/task/28143/stat : 28143 (java) S 28127 28127 25200 0 -1 1077944384 3925 0 0 0 81 68 0 0 20 0 15 0 226316394 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690415475248 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
Current children cumulated CPU time: 2465.71 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 4929116 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2496.6 s]
/proc/loadavg: 2.23 2.08 2.07 3/217 28560
/proc/meminfo: memFree=4651980/32770624 swapFree=67108380/67108860
[pid=28127] ppid=28124 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28127/stat : 28127 (xcsp3-exec) S 28124 28127 25200 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 226316387 115843072 364 33554432000 4194304 5098028 140732456560960 140732456559064 140672608883324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23576576 140732456567866 140732456568068 140732456568068 140732456570826 0
/proc/28127/statm: 28282 364 306 221 0 87 0
[pid=28129] ppid=28127 vsize=14091368 memory=4927660 CPUtime=2520.04 cores=0,2,4,6
/proc/28129/stat : 28129 (java) S 28127 28127 25200 0 -1 1077944320 308518 0 0 0 251580 424 0 0 20 0 15 0 226316388 14429560832 1231915 33554432000 4194304 4196468 140730323577216 140730323559760 139691242954487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
/proc/28129/statm: 3522842 1231915 3434 1 0 3484036 0
[pid=28129/tid=28130] ppid=28127 vsize=14091368 memory=6416 CPUtime=2491.83 cores=0,2,4,6
/proc/28129/task/28130/stat : 28130 (java) R 28127 28127 25200 0 -1 4202560 109435 0 0 0 249122 61 0 0 20 0 15 0 226316388 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139691247190336 139690876422600 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28131] ppid=28127 vsize=14091368 memory=1572 CPUtime=4.41 cores=0,2,4,6
/proc/28129/task/28131/stat : 28131 (java) S 28127 28127 25200 0 -1 1077944384 17320 0 0 0 371 70 0 0 20 0 15 0 226316389 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139691195575312 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28132] ppid=28127 vsize=14091368 memory=928 CPUtime=4.46 cores=0,2,4,6
/proc/28129/task/28132/stat : 28132 (java) S 28127 28127 25200 0 -1 1077944384 18238 0 0 0 373 73 0 0 20 0 15 0 226316389 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690837732496 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28133] ppid=28127 vsize=14091368 memory=1456 CPUtime=4.41 cores=0,2,4,6
/proc/28129/task/28133/stat : 28133 (java) S 28127 28127 25200 0 -1 1077944384 16888 0 0 0 369 72 0 0 20 0 15 0 226316389 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690836679440 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28134] ppid=28127 vsize=14091368 memory=1456 CPUtime=4.42 cores=0,2,4,6
/proc/28129/task/28134/stat : 28134 (java) S 28127 28127 25200 0 -1 1077944384 16820 0 0 0 372 70 0 0 20 0 15 0 226316389 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690835626896 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28135] ppid=28127 vsize=14091368 memory=4927660 CPUtime=0.23 cores=0,2,4,6
/proc/28129/task/28135/stat : 28135 (java) S 28127 28127 25200 0 -1 1077944384 10723 0 0 0 20 3 0 0 20 0 15 0 226316390 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690423896304 139691242965634 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28136] ppid=28127 vsize=14091368 memory=5752 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28136/stat : 28136 (java) S 28127 28127 25200 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 226316391 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690422842592 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28137] ppid=28127 vsize=14091368 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28137/stat : 28137 (java) S 28127 28127 25200 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 226316391 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690421789440 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28138] ppid=28127 vsize=14091368 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28138/stat : 28138 (java) S 28127 28127 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226316393 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690420738000 139691242973083 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28139] ppid=28127 vsize=14091368 memory=1220 CPUtime=4.12 cores=0,2,4,6
/proc/28129/task/28139/stat : 28139 (java) S 28127 28127 25200 0 -1 1077944384 42897 0 0 0 408 4 0 0 20 0 15 0 226316393 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690419686128 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28140] ppid=28127 vsize=14091368 memory=1800 CPUtime=3.48 cores=0,2,4,6
/proc/28129/task/28140/stat : 28140 (java) S 28127 28127 25200 0 -1 1077944384 43798 0 0 0 344 4 0 0 20 0 15 0 226316393 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690418633584 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28141] ppid=28127 vsize=14091368 memory=868 CPUtime=1.06 cores=0,2,4,6
/proc/28129/task/28141/stat : 28141 (java) S 28127 28127 25200 0 -1 1077944384 27103 0 0 0 102 4 0 0 20 0 15 0 226316393 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690417580528 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28142] ppid=28127 vsize=14091368 memory=7336 CPUtime=0 cores=0,2,4,6
/proc/28129/task/28142/stat : 28142 (java) S 28127 28127 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226316393 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690416528224 139691242964693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
[pid=28129/tid=28143] ppid=28127 vsize=14091368 memory=11628 CPUtime=1.52 cores=0,2,4,6
/proc/28129/task/28143/stat : 28143 (java) S 28127 28127 25200 0 -1 1077944384 3965 0 0 0 82 70 0 0 20 0 15 0 226316394 14429560832 1231915 33554432000 4194304 4196468 140730323577216 139690415475248 139691242965634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140730323580038 140730323580209 140730323580209 140730323582927 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 4929116 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2496.61 s]
# the end of solver process 28127 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.002207 s
[startup+2496.65 s]
# the end of solver process 28129 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.81 s, system=4.28486 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
Child status: 143
Real time (s): 2496.65
CPU time (s): 2520.1
CPU user time (s): 2515.81
CPU system time (s): 4.28486
CPU usage (%): 100.939
Max. virtual memory (cumulated for all children) (KiB): 14206176
Max. memory (cumulated for all children) (KiB): 4941456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.81
system time used= 4.28486
maximum resident set size= 4940000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 309759
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59120
involuntary context switches= 3345
# summary of solver processes directly reported to runsolver:
# pid: 28127,28129
# total CPU time (s): 2520.1
# total CPU user time (s): 2515.81
# total CPU system time (s): 4.28486
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8852 second user time and 24.4488 second system time
The end