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 (4835 MiB free)
memory of node 1: 16384 MiB (12888 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283274-1503221604/watcher-4283274-1503221604 -o /tmp/evaluation-result-4283274-1503221604/solver-4283274-1503221604 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1503215543-27248 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 748933785 HOME/instance-4283274-1503221604.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28197, runsolver pid=28194
[startup+0.100141 s]*
/proc/loadavg: 2.78 2.41 2.15 3/217 28213
/proc/meminfo: memFree=18132132/32770624 swapFree=67108860/67108860
[pid=28197] ppid=28194 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28197/stat : 28197 (xcsp3-exec) S 28194 28197 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155248279 9740288 346 33554432000 4194304 5098028 140729421846992 140729421845096 139740396139132 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27336704 140729421853807 140729421854011 140729421854011 140729421856747 0
/proc/28197/statm: 2378 346 289 221 0 87 0
[pid=28199] ppid=28197 vsize=13978596 memory=28040 CPUtime=0.12 cores=1,3,5,7
/proc/28199/stat : 28199 (java) S 28197 28197 21004 0 -1 1077944320 5455 0 0 0 11 1 0 0 20 0 15 0 155248279 14314082304 7010 33554432000 4194304 4196468 140723275807808 140723275790352 139911084543735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
/proc/28199/statm: 3494649 7010 2868 1 0 3482966 0
[pid=28199/tid=28200] ppid=28197 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/28199/task/28200/stat : 28200 (java) R 28197 28197 21004 0 -1 4202560 3383 0 0 0 8 1 0 0 20 0 15 0 155248279 14314082304 7010 33554432000 4194304 4196468 140723275807808 139911088775840 139910721753793 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28201] ppid=28197 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28201/stat : 28201 (java) S 28197 28197 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155248280 14314082304 7010 33554432000 4194304 4196468 140723275807808 139910680230160 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28202] ppid=28197 vsize=13978596 memory=140111280150144 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28202/stat : 28202 (java) S 28197 28197 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155248280 14314082304 7010 33554432000 4194304 4196468 140723275807808 139910679177616 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28203] ppid=28197 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28203/stat : 28203 (java) S 28197 28197 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155248280 14314082304 7010 33554432000 4194304 4196468 140723275807808 139910678125072 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28204] ppid=28197 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28204/stat : 28204 (java) S 28197 28197 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155248280 14314082304 7010 33554432000 4194304 4196468 140723275807808 139910677072528 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28205] ppid=28197 vsize=13978596 memory=140111280150144 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28205/stat : 28205 (java) S 28197 28197 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155248281 14314082304 7010 33554432000 4194304 4196468 140723275807808 139910064036336 139911084554882 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28206] ppid=28197 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28206/stat : 28206 (java) S 28197 28197 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155248282 14314082304 7010 33554432000 4194304 4196468 140723275807808 139910062982560 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28207] ppid=28197 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28207/stat : 28207 (java) S 28197 28197 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155248282 14314082304 7010 33554432000 4194304 4196468 140723275807808 139910061929968 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28208] ppid=28197 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28208/stat : 28208 (java) S 28197 28197 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155248284 14314082304 7010 33554432000 4194304 4196468 140723275807808 139910060878544 139911084562331 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28209] ppid=28197 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28209/stat : 28209 (java) S 28197 28197 21004 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 155248284 14314082304 7010 33554432000 4194304 4196468 140723275807808 139910059825136 139911084554882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28210] ppid=28197 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28210/stat : 28210 (java) S 28197 28197 21004 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 155248284 14314082304 7010 33554432000 4194304 4196468 140723275807808 139910058772592 139911084554882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28211] ppid=28197 vsize=13978596 memory=140111280150144 CPUtime=0.01 cores=1,3,5,7
/proc/28199/task/28211/stat : 28211 (java) S 28197 28197 21004 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 15 0 155248284 14314082304 7010 33554432000 4194304 4196468 140723275807808 139910057720048 139911084554882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28212] ppid=28197 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28212/stat : 28212 (java) S 28197 28197 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155248284 14314082304 7010 33554432000 4194304 4196468 140723275807808 139910056667744 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28213] ppid=28197 vsize=13978596 memory=140111280150144 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28213/stat : 28213 (java) S 28197 28197 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155248285 14314082304 7010 33554432000 4194304 4196468 140723275807808 139910055615280 139911084554882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29424 KiB
[startup+0.210733 s]*
/proc/loadavg: 2.78 2.41 2.15 4/217 28213
/proc/meminfo: memFree=18121092/32770624 swapFree=67108860/67108860
[pid=28197] ppid=28194 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28197/stat : 28197 (xcsp3-exec) S 28194 28197 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155248279 9740288 346 33554432000 4194304 5098028 140729421846992 140729421845096 139740396139132 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27336704 140729421853807 140729421854011 140729421854011 140729421856747 0
/proc/28197/statm: 2378 346 289 221 0 87 0
[pid=28199] ppid=28197 vsize=13982852 memory=40476 CPUtime=0.34 cores=1,3,5,7
/proc/28199/stat : 28199 (java) S 28197 28197 21004 0 -1 1077944320 8270 0 0 0 31 3 0 0 20 0 15 0 155248279 14318440448 10119 33554432000 4194304 4196468 140723275807808 140723275790352 139911084543735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
/proc/28199/statm: 3495713 10119 3084 1 0 3482966 0
[pid=28199/tid=28200] ppid=28197 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/28199/task/28200/stat : 28200 (java) R 28197 28197 21004 0 -1 4202560 5407 0 0 0 18 2 0 0 20 0 15 0 155248279 14318440448 10119 33554432000 4194304 4196468 140723275807808 139911088754640 139911068624222 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28201] ppid=28197 vsize=13982852 memory=12478 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28201/stat : 28201 (java) S 28197 28197 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155248280 14318440448 10119 33554432000 4194304 4196468 140723275807808 139910680230160 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28202] ppid=28197 vsize=13982852 memory=140111280176497 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28202/stat : 28202 (java) S 28197 28197 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155248280 14318440448 10119 33554432000 4194304 4196468 140723275807808 139910679177616 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28203] ppid=28197 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28203/stat : 28203 (java) S 28197 28197 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155248280 14318440448 10119 33554432000 4194304 4196468 140723275807808 139910678125072 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28204] ppid=28197 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28204/stat : 28204 (java) S 28197 28197 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155248280 14318440448 10119 33554432000 4194304 4196468 140723275807808 139910677072528 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28205] ppid=28197 vsize=13982852 memory=140111280150144 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28205/stat : 28205 (java) S 28197 28197 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155248281 14318440448 10119 33554432000 4194304 4196468 140723275807808 139910064036336 139911084554882 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28206] ppid=28197 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28206/stat : 28206 (java) S 28197 28197 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155248282 14318440448 10119 33554432000 4194304 4196468 140723275807808 139910062982560 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28207] ppid=28197 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28207/stat : 28207 (java) S 28197 28197 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155248282 14318440448 10119 33554432000 4194304 4196468 140723275807808 139910061929968 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28208] ppid=28197 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28208/stat : 28208 (java) S 28197 28197 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155248284 14318440448 10119 33554432000 4194304 4196468 140723275807808 139910060878544 139911084562331 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28209] ppid=28197 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28199/task/28209/stat : 28209 (java) S 28197 28197 21004 0 -1 1077944384 596 0 0 0 3 0 0 0 20 0 15 0 155248284 14318440448 10119 33554432000 4194304 4196468 140723275807808 139910059825136 139911084554882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28210] ppid=28197 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/28199/task/28210/stat : 28210 (java) S 28197 28197 21004 0 -1 1077944384 196 0 0 0 1 0 0 0 20 0 15 0 155248284 14318440448 10119 33554432000 4194304 4196468 140723275807808 139910058772592 139911084554882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28211] ppid=28197 vsize=13982852 memory=140111280150144 CPUtime=0.07 cores=1,3,5,7
/proc/28199/task/28211/stat : 28211 (java) R 28197 28197 21004 0 -1 4202560 767 0 0 0 7 0 0 0 20 0 15 0 155248284 14318440448 10119 33554432000 4194304 4196468 140723275807808 139910057720048 139911063489723 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28212] ppid=28197 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28212/stat : 28212 (java) S 28197 28197 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155248284 14318440448 10119 33554432000 4194304 4196468 140723275807808 139910056667744 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28213] ppid=28197 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28213/stat : 28213 (java) S 28197 28197 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155248285 14318440448 10119 33554432000 4194304 4196468 140723275807808 139910055615280 139911084554882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41860 KiB
[startup+0.311501 s]*
/proc/loadavg: 2.78 2.41 2.15 6/217 28213
/proc/meminfo: memFree=18114268/32770624 swapFree=67108860/67108860
[pid=28197] ppid=28194 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28197/stat : 28197 (xcsp3-exec) S 28194 28197 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155248279 9740288 346 33554432000 4194304 5098028 140729421846992 140729421845096 139740396139132 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27336704 140729421853807 140729421854011 140729421854011 140729421856747 0
/proc/28197/statm: 2378 346 289 221 0 87 0
[pid=28199] ppid=28197 vsize=13982852 memory=47872 CPUtime=0.52 cores=1,3,5,7
/proc/28199/stat : 28199 (java) S 28197 28197 21004 0 -1 1077944320 9146 0 0 0 49 3 0 0 20 0 15 0 155248279 14318440448 11968 33554432000 4194304 4196468 140723275807808 140723275790352 139911084543735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
/proc/28199/statm: 3495713 11968 3121 1 0 3482966 0
[pid=28199/tid=28200] ppid=28197 vsize=13982852 memory=7883960649037381690 CPUtime=0.29 cores=1,3,5,7
/proc/28199/task/28200/stat : 28200 (java) R 28197 28197 21004 0 -1 4202560 5965 0 0 0 27 2 0 0 20 0 15 0 155248279 14318440448 11968 33554432000 4194304 4196468 140723275807808 139911088766576 139911084565661 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28201] ppid=28197 vsize=13982852 memory=12817 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28201/stat : 28201 (java) S 28197 28197 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155248280 14318440448 11968 33554432000 4194304 4196468 140723275807808 139910680230160 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28202] ppid=28197 vsize=13982852 memory=3474868185298395620 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28202/stat : 28202 (java) S 28197 28197 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155248280 14318440448 11968 33554432000 4194304 4196468 140723275807808 139910679177616 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28203] ppid=28197 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28203/stat : 28203 (java) S 28197 28197 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155248280 14318440448 11968 33554432000 4194304 4196468 140723275807808 139910678125072 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28204] ppid=28197 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28204/stat : 28204 (java) S 28197 28197 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155248280 14318440448 11968 33554432000 4194304 4196468 140723275807808 139910677072528 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28205] ppid=28197 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28205/stat : 28205 (java) S 28197 28197 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155248281 14318440448 11968 33554432000 4194304 4196468 140723275807808 139910064036336 139911084554882 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28206] ppid=28197 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28206/stat : 28206 (java) S 28197 28197 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155248282 14318440448 11968 33554432000 4194304 4196468 140723275807808 139910062982560 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28207] ppid=28197 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28207/stat : 28207 (java) S 28197 28197 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155248282 14318440448 11968 33554432000 4194304 4196468 140723275807808 139910061929968 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28208] ppid=28197 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28208/stat : 28208 (java) S 28197 28197 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155248284 14318440448 11968 33554432000 4194304 4196468 140723275807808 139910060878544 139911084562331 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28209] ppid=28197 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28199/task/28209/stat : 28209 (java) R 28197 28197 21004 0 -1 4202560 669 0 0 0 4 0 0 0 20 0 15 0 155248284 14318440448 11968 33554432000 4194304 4196468 140723275807808 139910059817088 139911077640571 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28210] ppid=28197 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28199/task/28210/stat : 28210 (java) R 28197 28197 21004 0 -1 1077944384 324 0 0 0 3 0 0 0 20 0 15 0 155248284 14318440448 11968 33554432000 4194304 4196468 140723275807808 139910058759440 139911084553941 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28211] ppid=28197 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/28199/task/28211/stat : 28211 (java) R 28197 28197 21004 0 -1 4202560 886 0 0 0 13 0 0 0 20 0 15 0 155248284 14318440448 11968 33554432000 4194304 4196468 140723275807808 139910057715808 139911084565082 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28212] ppid=28197 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28212/stat : 28212 (java) S 28197 28197 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155248284 14318440448 11968 33554432000 4194304 4196468 140723275807808 139910056667744 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28213] ppid=28197 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28213/stat : 28213 (java) S 28197 28197 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155248285 14318440448 11968 33554432000 4194304 4196468 140723275807808 139910055615280 139911084554882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49256 KiB
[startup+0.707033 s]
/proc/loadavg: 2.78 2.41 2.15 5/217 28213
/proc/meminfo: memFree=18081384/32770624 swapFree=67108860/67108860
[pid=28197] ppid=28194 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28197/stat : 28197 (xcsp3-exec) S 28194 28197 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155248279 9740288 346 33554432000 4194304 5098028 140729421846992 140729421845096 139740396139132 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27336704 140729421853807 140729421854011 140729421854011 140729421856747 0
/proc/28197/statm: 2378 346 289 221 0 87 0
[pid=28199] ppid=28197 vsize=13984976 memory=86404 CPUtime=1.71 cores=1,3,5,7
/proc/28199/stat : 28199 (java) S 28197 28197 21004 0 -1 1077944320 12230 0 0 0 166 5 0 0 20 0 15 0 155248279 14320615424 21601 33554432000 4194304 4196468 140723275807808 140723275790352 139911084543735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
/proc/28199/statm: 3496244 21601 3208 1 0 3483478 0
[pid=28199/tid=28200] ppid=28197 vsize=13984976 memory=4044 CPUtime=0.68 cores=1,3,5,7
/proc/28199/task/28200/stat : 28200 (java) R 28197 28197 21004 0 -1 4202560 6707 0 0 0 65 3 0 0 20 0 15 0 155248279 14320615424 21601 33554432000 4194304 4196468 140723275807808 139911088779392 139911084555670 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28201] ppid=28197 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28201/stat : 28201 (java) S 28197 28197 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155248280 14320615424 21601 33554432000 4194304 4196468 140723275807808 139910680230160 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28202] ppid=28197 vsize=13984976 memory=636 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28202/stat : 28202 (java) S 28197 28197 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155248280 14320615424 21601 33554432000 4194304 4196468 140723275807808 139910679177616 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28203] ppid=28197 vsize=13984976 memory=956 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28203/stat : 28203 (java) S 28197 28197 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155248280 14320615424 21667 33554432000 4194304 4196468 140723275807808 139910678125072 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28204] ppid=28197 vsize=13984976 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28204/stat : 28204 (java) S 28197 28197 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155248280 14320615424 21667 33554432000 4194304 4196468 140723275807808 139910677072528 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28205] ppid=28197 vsize=13984976 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28205/stat : 28205 (java) S 28197 28197 21004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 155248281 14320615424 21667 33554432000 4194304 4196468 140723275807808 139910064036336 139911084554882 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28206] ppid=28197 vsize=13984976 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28206/stat : 28206 (java) S 28197 28197 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155248282 14320615424 21667 33554432000 4194304 4196468 140723275807808 139910062982560 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28207] ppid=28197 vsize=13984976 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28207/stat : 28207 (java) S 28197 28197 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155248282 14320615424 21667 33554432000 4194304 4196468 140723275807808 139910061929968 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28208] ppid=28197 vsize=13984976 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28208/stat : 28208 (java) S 28197 28197 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155248284 14320615424 21667 33554432000 4194304 4196468 140723275807808 139910060878544 139911084562331 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28209] ppid=28197 vsize=13984976 memory=932 CPUtime=0.32 cores=1,3,5,7
/proc/28199/task/28209/stat : 28209 (java) R 28197 28197 21004 0 -1 4202560 1583 0 0 0 32 0 0 0 20 0 15 0 155248284 14320615424 21667 33554432000 4194304 4196468 140723275807808 139910059818160 139911076833184 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28210] ppid=28197 vsize=13984976 memory=2200 CPUtime=0.33 cores=1,3,5,7
/proc/28199/task/28210/stat : 28210 (java) R 28197 28197 21004 0 -1 4202560 995 0 0 0 33 0 0 0 20 0 15 0 155248284 14320615424 21667 33554432000 4194304 4196468 140723275807808 139910058762080 139911068027220 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28211] ppid=28197 vsize=13984976 memory=7792 CPUtime=0.35 cores=1,3,5,7
/proc/28199/task/28211/stat : 28211 (java) R 28197 28197 21004 0 -1 4202560 1666 0 0 0 35 0 0 0 20 0 15 0 155248284 14320615424 21667 33554432000 4194304 4196468 140723275807808 139910057720048 139911084565082 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28212] ppid=28197 vsize=13984976 memory=840 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28212/stat : 28212 (java) S 28197 28197 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155248284 14320615424 21667 33554432000 4194304 4196468 140723275807808 139910056667744 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28213] ppid=28197 vsize=13984976 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28213/stat : 28213 (java) S 28197 28197 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155248285 14320615424 21667 33554432000 4194304 4196468 140723275807808 139910055615280 139911084554882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 87788 KiB
[startup+1.50107 s]
/proc/loadavg: 2.78 2.41 2.15 5/217 28213
/proc/meminfo: memFree=18045540/32770624 swapFree=67108860/67108860
[pid=28197] ppid=28194 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28197/stat : 28197 (xcsp3-exec) S 28194 28197 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155248279 9740288 346 33554432000 4194304 5098028 140729421846992 140729421845096 139740396139132 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27336704 140729421853807 140729421854011 140729421854011 140729421856747 0
/proc/28197/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/28197/stat : 28197 (xcsp3-exec) S 28194 28197 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155248279 9740288 346 33554432000 4194304 5098028 140729421846992 140729421845096 139740396139132 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27336704 140729421853807 140729421854011 140729421854011 140729421856747 0
/proc/28197/statm: 2378 346 289 221 0 87 0
[pid=28199] ppid=28197 vsize=13984976 memory=381372 CPUtime=59.4 cores=1,3,5,7
/proc/28199/stat : 28199 (java) S 28197 28197 21004 0 -1 1077944320 68204 0 0 0 5906 34 0 0 20 0 15 0 155248279 14320615424 95343 33554432000 4194304 4196468 140723275807808 140723275790352 139911084543735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
/proc/28199/statm: 3496244 95343 3270 1 0 3483478 0
[pid=28199/tid=28200] ppid=28197 vsize=13984976 memory=0 CPUtime=50.97 cores=1,3,5,7
/proc/28199/task/28200/stat : 28200 (java) R 28197 28197 21004 0 -1 4202560 11699 0 0 0 5092 5 0 0 20 0 15 0 155248279 14320615424 95343 33554432000 4194304 4196468 140723275807808 139911088779936 139910730073898 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28201] ppid=28197 vsize=13984976 memory=4140 CPUtime=0.17 cores=1,3,5,7
/proc/28199/task/28201/stat : 28201 (java) S 28197 28197 21004 0 -1 1077944384 802 0 0 0 12 5 0 0 20 0 15 0 155248280 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910680230160 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28202] ppid=28197 vsize=13984976 memory=65 CPUtime=0.17 cores=1,3,5,7
/proc/28199/task/28202/stat : 28202 (java) S 28197 28197 21004 0 -1 1077944384 1570 0 0 0 12 5 0 0 20 0 15 0 155248280 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910679177616 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28203] ppid=28197 vsize=13984976 memory=8612 CPUtime=0.16 cores=1,3,5,7
/proc/28199/task/28203/stat : 28203 (java) S 28197 28197 21004 0 -1 1077944384 1727 0 0 0 11 5 0 0 20 0 15 0 155248280 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910678125072 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28204] ppid=28197 vsize=13984976 memory=1384 CPUtime=0.17 cores=1,3,5,7
/proc/28199/task/28204/stat : 28204 (java) S 28197 28197 21004 0 -1 1077944384 405 0 0 0 12 5 0 0 20 0 15 0 155248280 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910677072528 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28205] ppid=28197 vsize=13984976 memory=362828 CPUtime=0.01 cores=1,3,5,7
/proc/28199/task/28205/stat : 28205 (java) S 28197 28197 21004 0 -1 1077944384 899 0 0 0 1 0 0 0 20 0 15 0 155248281 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910064036336 139911084554882 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28206] ppid=28197 vsize=13984976 memory=2540 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28206/stat : 28206 (java) S 28197 28197 21004 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 155248282 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910062982624 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28207] ppid=28197 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28207/stat : 28207 (java) S 28197 28197 21004 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 155248282 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910061929968 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28208] ppid=28197 vsize=13984976 memory=303932 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28208/stat : 28208 (java) S 28197 28197 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155248284 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910060878544 139911084562331 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28209] ppid=28197 vsize=13984976 memory=18448 CPUtime=3.55 cores=1,3,5,7
/proc/28199/task/28209/stat : 28209 (java) S 28197 28197 21004 0 -1 1077944384 21473 0 0 0 353 2 0 0 20 0 15 0 155248284 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910059825136 139911084554882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28210] ppid=28197 vsize=13984976 memory=24116 CPUtime=3.31 cores=1,3,5,7
/proc/28199/task/28210/stat : 28210 (java) S 28197 28197 21004 0 -1 1077944384 19698 0 0 0 329 2 0 0 20 0 15 0 155248284 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910058772592 139911084554882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28211] ppid=28197 vsize=13984976 memory=0 CPUtime=0.81 cores=1,3,5,7
/proc/28199/task/28211/stat : 28211 (java) S 28197 28197 21004 0 -1 1077944384 7571 0 0 0 79 2 0 0 20 0 15 0 155248284 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910057720048 139911084554882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28212] ppid=28197 vsize=13984976 memory=7815263158104752195 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28212/stat : 28212 (java) S 28197 28197 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155248284 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910056667744 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28213] ppid=28197 vsize=13984976 memory=13038 CPUtime=0.01 cores=1,3,5,7
/proc/28199/task/28213/stat : 28213 (java) S 28197 28197 21004 0 -1 1077944384 998 0 0 0 0 1 0 0 20 0 15 0 155248285 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910055615280 139911084554882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
Current children cumulated CPU time: 59.4 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 382756 KiB
[startup+51.6008 s]
/proc/loadavg: 2.32 2.35 2.14 3/217 28213
/proc/meminfo: memFree=17779780/32770624 swapFree=67108860/67108860
[pid=28197] ppid=28194 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28197/stat : 28197 (xcsp3-exec) S 28194 28197 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155248279 9740288 346 33554432000 4194304 5098028 140729421846992 140729421845096 139740396139132 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27336704 140729421853807 140729421854011 140729421854011 140729421856747 0
/proc/28197/statm: 2378 346 289 221 0 87 0
[pid=28199] ppid=28197 vsize=13984976 memory=381372 CPUtime=59.8 cores=1,3,5,7
/proc/28199/stat : 28199 (java) S 28197 28197 21004 0 -1 1077944320 68204 0 0 0 5946 34 0 0 20 0 15 0 155248279 14320615424 95343 33554432000 4194304 4196468 140723275807808 140723275790352 139911084543735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
/proc/28199/statm: 3496244 95343 3270 1 0 3483478 0
[pid=28199/tid=28200] ppid=28197 vsize=13984976 memory=18448 CPUtime=51.37 cores=1,3,5,7
/proc/28199/task/28200/stat : 28200 (java) R 28197 28197 21004 0 -1 4202560 11699 0 0 0 5132 5 0 0 20 0 15 0 155248279 14320615424 95343 33554432000 4194304 4196468 140723275807808 139911088779936 139910726822953 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28201] ppid=28197 vsize=13984976 memory=24116 CPUtime=0.17 cores=1,3,5,7
/proc/28199/task/28201/stat : 28201 (java) S 28197 28197 21004 0 -1 1077944384 802 0 0 0 12 5 0 0 20 0 15 0 155248280 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910680230160 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28202] ppid=28197 vsize=13984976 memory=4044 CPUtime=0.17 cores=1,3,5,7
/proc/28199/task/28202/stat : 28202 (java) S 28197 28197 21004 0 -1 1077944384 1570 0 0 0 12 5 0 0 20 0 15 0 155248280 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910679177616 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28203] ppid=28197 vsize=13984976 memory=1792 CPUtime=0.16 cores=1,3,5,7
/proc/28199/task/28203/stat : 28203 (java) S 28197 28197 21004 0 -1 1077944384 1727 0 0 0 11 5 0 0 20 0 15 0 155248280 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910678125072 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28204] ppid=28197 vsize=13984976 memory=636 CPUtime=0.17 cores=1,3,5,7
/proc/28199/task/28204/stat : 28204 (java) S 28197 28197 21004 0 -1 1077944384 405 0 0 0 12 5 0 0 20 0 15 0 155248280 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910677072528 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28205] ppid=28197 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/28199/task/28205/stat : 28205 (java) S 28197 28197 21004 0 -1 1077944384 899 0 0 0 1 0 0 0 20 0 15 0 155248281 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910064036336 139911084554882 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28206] ppid=28197 vsize=13984976 memory=324536 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28206/stat : 28206 (java) S 28197 28197 21004 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 155248282 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910062982624 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28207] ppid=28197 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28207/stat : 28207 (java) S 28197 28197 21004 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 155248282 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910061929968 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28208] ppid=28197 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28208/stat : 28208 (java) S 28197 28197 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155248284 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910060878544 139911084562331 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28209] ppid=28197 vsize=13984976 memory=1384 CPUtime=3.55 cores=1,3,5,7
/proc/28199/task/28209/stat : 28209 (java) S 28197 28197 21004 0 -1 1077944384 21473 0 0 0 353 2 0 0 20 0 15 0 155248284 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910059825136 139911084554882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28210] ppid=28197 vsize=13984976 memory=43120 CPUtime=3.31 cores=1,3,5,7
/proc/28199/task/28210/stat : 28210 (java) S 28197 28197 21004 0 -1 1077944384 19698 0 0 0 329 2 0 0 20 0 15 0 155248284 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910058772592 139911084554882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28211] ppid=28197 vsize=13984976 memory=1292 CPUtime=0.81 cores=1,3,5,7
/proc/28199/task/28211/stat : 28211 (java) S 28197 28197 21004 0 -1 1077944384 7571 0 0 0 79 2 0 0 20 0 15 0 155248284 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910057720048 139911084554882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28212] ppid=28197 vsize=13984976 memory=932 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28212/stat : 28212 (java) S 28197 28197 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155248284 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910056667744 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28213] ppid=28197 vsize=13984976 memory=2200 CPUtime=0.01 cores=1,3,5,7
/proc/28199/task/28213/stat : 28213 (java) S 28197 28197 21004 0 -1 1077944384 998 0 0 0 0 1 0 0 20 0 15 0 155248285 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910055615280 139911084554882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
Current children cumulated CPU time: 59.8 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 382756 KiB
[startup+51.8008 s]
/proc/loadavg: 2.32 2.35 2.14 3/217 28213
/proc/meminfo: memFree=17779780/32770624 swapFree=67108860/67108860
[pid=28197] ppid=28194 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28197/stat : 28197 (xcsp3-exec) S 28194 28197 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155248279 9740288 346 33554432000 4194304 5098028 140729421846992 140729421845096 139740396139132 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27336704 140729421853807 140729421854011 140729421854011 140729421856747 0
/proc/28197/statm: 2378 346 289 221 0 87 0
[pid=28199] ppid=28197 vsize=13984976 memory=381372 CPUtime=60 cores=1,3,5,7
/proc/28199/stat : 28199 (java) S 28197 28197 21004 0 -1 1077944320 68206 0 0 0 5966 34 0 0 20 0 15 0 155248279 14320615424 95343 33554432000 4194304 4196468 140723275807808 140723275790352 139911084543735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
/proc/28199/statm: 3496244 95343 3270 1 0 3483478 0
[pid=28199/tid=28200] ppid=28197 vsize=13984976 memory=1696 CPUtime=51.57 cores=1,3,5,7
/proc/28199/task/28200/stat : 28200 (java) R 28197 28197 21004 0 -1 4202560 11701 0 0 0 5152 5 0 0 20 0 15 0 155248279 14320615424 95343 33554432000 4194304 4196468 140723275807808 139911088779872 139910726822139 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28201] ppid=28197 vsize=13984976 memory=920 CPUtime=0.17 cores=1,3,5,7
/proc/28199/task/28201/stat : 28201 (java) S 28197 28197 21004 0 -1 1077944384 802 0 0 0 12 5 0 0 20 0 15 0 155248280 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910680230160 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28202] ppid=28197 vsize=13984976 memory=3832 CPUtime=0.17 cores=1,3,5,7
/proc/28199/task/28202/stat : 28202 (java) S 28197 28197 21004 0 -1 1077944384 1570 0 0 0 12 5 0 0 20 0 15 0 155248280 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910679177616 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28203] ppid=28197 vsize=13984976 memory=280222323525824 CPUtime=0.16 cores=1,3,5,7
/proc/28199/task/28203/stat : 28203 (java) S 28197 28197 21004 0 -1 1077944384 1727 0 0 0 11 5 0 0 20 0 15 0 155248280 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910678125072 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28204] ppid=28197 vsize=13984976 memory=7649399362722871346 CPUtime=0.17 cores=1,3,5,7
/proc/28199/task/28204/stat : 28204 (java) S 28197 28197 21004 0 -1 1077944384 405 0 0 0 12 5 0 0 20 0 15 0 155248280 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910677072528 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28205] ppid=28197 vsize=13984976 memory=4294969504 CPUtime=0.01 cores=1,3,5,7
/proc/28199/task/28205/stat : 28205 (java) S 28197 28197 21004 0 -1 1077944384 899 0 0 0 1 0 0 0 20 0 15 0 155248281 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910064036336 139911084554882 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28206] ppid=28197 vsize=13984976 memory=9876 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28206/stat : 28206 (java) S 28197 28197 21004 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 155248282 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910062982624 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28207] ppid=28197 vsize=13984976 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28207/stat : 28207 (java) S 28197 28197 21004 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 155248282 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910061929968 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28208] ppid=28197 vsize=13984976 memory=6944656592455359545 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28208/stat : 28208 (java) S 28197 28197 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155248284 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910060878544 139911084562331 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28209] ppid=28197 vsize=13984976 memory=6944656592385698452 CPUtime=3.55 cores=1,3,5,7
/proc/28199/task/28209/stat : 28209 (java) S 28197 28197 21004 0 -1 1077944384 21473 0 0 0 353 2 0 0 20 0 15 0 155248284 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910059825136 139911084554882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28210] ppid=28197 vsize=13984976 memory=-8253362664378451622 CPUtime=3.31 cores=1,3,5,7
/proc/28199/task/28210/stat : 28210 (java) S 28197 28197 21004 0 -1 1077944384 19698 0 0 0 329 2 0 0 20 0 15 0 155248284 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910058772592 139911084554882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28211] ppid=28197 vsize=13984976 memory=2540 CPUtime=0.81 cores=1,3,5,7
/proc/28199/task/28211/stat : 28211 (java) S 28197 28197 21004 0 -1 1077944384 7571 0 0 0 79 2 0 0 20 0 15 0 155248284 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910057720048 139911084554882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28212] ppid=28197 vsize=13984976 memory=2656 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28212/stat : 28212 (java) S 28197 28197 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155248284 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910056667744 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28213] ppid=28197 vsize=13984976 memory=4104 CPUtime=0.01 cores=1,3,5,7
/proc/28199/task/28213/stat : 28213 (java) S 28197 28197 21004 0 -1 1077944384 998 0 0 0 0 1 0 0 20 0 15 0 155248285 14320615424 95343 33554432000 4194304 4196468 140723275807808 139910055615280 139911084554882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
Current children cumulated CPU time: 60 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 382756 KiB
[startup+51.9008 s]
/proc/loadavg: 2.32 2.35 2.14 3/217 28213
/proc/meminfo: memFree=17779780/32770624 swapFree=67108860/67108860
[pid=28197] ppid=28194 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28197/stat : 28197 (xcsp3-exec) S 28194 28197 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155248279 9740288 346 33554432000 4194304 5098028 140729421846992 140729421845096 139740396139132 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27336704 140729421853807 140729421854011 140729421854011 140729421856747 0
/proc/28197/statm: 2378 346 289 221 0 87 0
[pid=28199] ppid=28197 vsize=13984976 memory=380120 CPUtime=60.15 cores=1,3,5,7
/proc/28199/stat : 28199 (java) S 28197 28197 21004 0 -1 1077944320 68481 0 0 0 5981 34 0 0 20 0 15 0 155248279 14320615424 95030 33554432000 4194304 4196468 140723275807808 140723275790352 139911084543735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
/proc/28199/statm: 3496244 95030 3270 1 0 3483478 0
[pid=28199/tid=28200] ppid=28197 vsize=13984976 memory=280221584923736 CPUtime=51.66 cores=1,3,5,7
/proc/28199/task/28200/stat : 28200 (java) R 28197 28197 21004 0 -1 4202560 11702 0 0 0 5161 5 0 0 20 0 15 0 155248279 14320615424 95030 33554432000 4194304 4196468 140723275807808 139911088783200 139910726822306 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28201] ppid=28197 vsize=13984976 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/28199/task/28201/stat : 28201 (java) S 28197 28197 21004 0 -1 1077944384 869 0 0 0 13 5 0 0 20 0 15 0 155248280 14320615424 95030 33554432000 4194304 4196468 140723275807808 139910680230160 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28202] ppid=28197 vsize=13984976 memory=6944656575208382560 CPUtime=0.18 cores=1,3,5,7
/proc/28199/task/28202/stat : 28202 (java) S 28197 28197 21004 0 -1 1077944384 1638 0 0 0 13 5 0 0 20 0 15 0 155248280 14320615424 95030 33554432000 4194304 4196468 140723275807808 139910679177616 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28203] ppid=28197 vsize=13984976 memory=1004 CPUtime=0.18 cores=1,3,5,7
/proc/28199/task/28203/stat : 28203 (java) S 28197 28197 21004 0 -1 1077944384 1796 0 0 0 13 5 0 0 20 0 15 0 155248280 14320615424 95030 33554432000 4194304 4196468 140723275807808 139910678125072 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28204] ppid=28197 vsize=13984976 memory=5788 CPUtime=0.18 cores=1,3,5,7
/proc/28199/task/28204/stat : 28204 (java) S 28197 28197 21004 0 -1 1077944384 473 0 0 0 13 5 0 0 20 0 15 0 155248280 14320615424 95030 33554432000 4194304 4196468 140723275807808 139910677072528 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28205] ppid=28197 vsize=13984976 memory=33 CPUtime=0.01 cores=1,3,5,7
/proc/28199/task/28205/stat : 28205 (java) S 28197 28197 21004 0 -1 1077944384 901 0 0 0 1 0 0 0 20 0 15 0 155248281 14320615424 95030 33554432000 4194304 4196468 140723275807808 139910064036336 139911084554882 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28206] ppid=28197 vsize=13984976 memory=280222323763312 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28206/stat : 28206 (java) S 28197 28197 21004 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 155248282 14320615424 95030 33554432000 4194304 4196468 140723275807808 139910062982624 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28207] ppid=28197 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28207/stat : 28207 (java) S 28197 28197 21004 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 155248282 14320615424 95030 33554432000 4194304 4196468 140723275807808 139910061929968 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28208] ppid=28197 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28208/stat : 28208 (java) S 28197 28197 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155248284 14320615424 95030 33554432000 4194304 4196468 140723275807808 139910060878544 139911084562331 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28209] ppid=28197 vsize=13984976 memory=1384 CPUtime=3.55 cores=1,3,5,7
/proc/28199/task/28209/stat : 28209 (java) S 28197 28197 21004 0 -1 1077944384 21473 0 0 0 353 2 0 0 20 0 15 0 155248284 14320615424 95030 33554432000 4194304 4196468 140723275807808 139910059825136 139911084554882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28210] ppid=28197 vsize=13984976 memory=1384 CPUtime=3.31 cores=1,3,5,7
/proc/28199/task/28210/stat : 28210 (java) S 28197 28197 21004 0 -1 1077944384 19698 0 0 0 329 2 0 0 20 0 15 0 155248284 14320615424 95030 33554432000 4194304 4196468 140723275807808 139910058772592 139911084554882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28211] ppid=28197 vsize=13984976 memory=1384 CPUtime=0.81 cores=1,3,5,7
/proc/28199/task/28211/stat : 28211 (java) S 28197 28197 21004 0 -1 1077944384 7571 0 0 0 79 2 0 0 20 0 15 0 155248284 14320615424 95030 33554432000 4194304 4196468 140723275807808 139910057720048 139911084554882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28212] ppid=28197 vsize=13984976 memory=381372 CPUtime=0 cores=1,3,5,7
/proc/28199/task/28212/stat : 28212 (java) S 28197 28197 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155248284 14320615424 95030 33554432000 4194304 4196468 140723275807808 139910056667744 139911084553941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
[pid=28199/tid=28213] ppid=28197 vsize=13984976 memory=-5587106306044206369 CPUtime=0.01 cores=1,3,5,7
/proc/28199/task/28213/stat : 28213 (java) S 28197 28197 21004 0 -1 1077944384 998 0 0 0 0 1 0 0 20 0 15 0 155248285 14320615424 95030 33554432000 4194304 4196468 140723275807808 139910055615280 139911084554882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 31227904 140723275809943 140723275810119 140723275810119 140723275812815 0
Current children cumulated CPU time: 60.15 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 381504 KiB
Child status: 0
Real time (s): 51.947
CPU time (s): 60.2084
CPU user time (s): 59.8547
CPU system time (s): 0.353713
CPU usage (%): 115.903
Max. virtual memory (cumulated for all children) (KiB): 13996192
Max. memory (cumulated for all children) (KiB): 382756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.8547
system time used= 0.353713
maximum resident set size= 381660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69325
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4479
involuntary context switches= 91
# summary of solver processes directly reported to runsolver:
# pid: 28197
# total CPU time (s): 60.2084
# total CPU user time (s): 59.8547
# total CPU system time (s): 0.353713
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.337623 second user time and 0.531053 second system time
The end