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 (12163 MiB free)
memory of node 1: 16384 MiB (13417 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283155-1503215184/watcher-4283155-1503215184 -o /tmp/evaluation-result-4283155-1503215184/solver-4283155-1503215184 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1503209003-32624 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 274005769 HOME/instance-4283155-1503215184.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=5239, runsolver pid=5236
[startup+0.100089 s]*
/proc/loadavg: 1.94 2.05 1.96 3/218 5255
/proc/meminfo: memFree=26168512/32770624 swapFree=67108860/67108860
[pid=5239] ppid=5236 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5239/stat : 5239 (xcsp3-exec) S 5236 5239 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154606421 9740288 346 33554432000 4194304 5098028 140722524513536 140722524511640 140172952183420 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34586624 140722524517493 140722524517696 140722524517696 140722524520427 0
/proc/5239/statm: 2378 346 289 221 0 87 0
[pid=5241] ppid=5239 vsize=13978596 memory=28080 CPUtime=0.12 cores=0,2,4,6
/proc/5241/stat : 5241 (java) S 5239 5239 32593 0 -1 1077944320 5375 0 0 0 11 1 0 0 20 0 15 0 154606422 14314082304 7020 33554432000 4194304 4196468 140724433409056 140724433391600 139732920434423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
/proc/5241/statm: 3494649 7020 2868 1 0 3482966 0
[pid=5241/tid=5242] ppid=5239 vsize=13978596 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/5241/task/5242/stat : 5242 (java) R 5239 5239 32593 0 -1 4202560 3394 0 0 0 8 1 0 0 20 0 15 0 154606422 14314082304 7020 33554432000 4194304 4196468 140724433409056 139732924659232 139732920446358 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5243] ppid=5239 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5243/stat : 5243 (java) S 5239 5239 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154606423 14314082304 7020 33554432000 4194304 4196468 140724433409056 139732873055248 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5244] ppid=5239 vsize=13978596 memory=140385649374848 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5244/stat : 5244 (java) S 5239 5239 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154606423 14314082304 7020 33554432000 4194304 4196468 140724433409056 139732872002704 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5245] ppid=5239 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5245/stat : 5245 (java) S 5239 5239 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154606423 14314082304 7020 33554432000 4194304 4196468 140724433409056 139732870949648 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5246] ppid=5239 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5246/stat : 5246 (java) S 5239 5239 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154606423 14314082304 7020 33554432000 4194304 4196468 140724433409056 139732869897104 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5247] ppid=5239 vsize=13978596 memory=140385649374848 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5247/stat : 5247 (java) S 5239 5239 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154606424 14314082304 7020 33554432000 4194304 4196468 140724433409056 139732394682608 139732920445570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5248] ppid=5239 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5248/stat : 5248 (java) S 5239 5239 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154606425 14314082304 7020 33554432000 4194304 4196468 140724433409056 139732393628832 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5249] ppid=5239 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5249/stat : 5249 (java) S 5239 5239 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154606425 14314082304 7020 33554432000 4194304 4196468 140724433409056 139732392575728 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5250] ppid=5239 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5250/stat : 5250 (java) S 5239 5239 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154606427 14314082304 7020 33554432000 4194304 4196468 140724433409056 139732391524304 139732920453019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5251] ppid=5239 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5251/stat : 5251 (java) S 5239 5239 32593 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 154606427 14314082304 7020 33554432000 4194304 4196468 140724433409056 139732390472432 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5252] ppid=5239 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5252/stat : 5252 (java) S 5239 5239 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154606427 14314082304 7020 33554432000 4194304 4196468 140724433409056 139732389419888 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5253] ppid=5239 vsize=13978596 memory=140385649374848 CPUtime=0.01 cores=0,2,4,6
/proc/5241/task/5253/stat : 5253 (java) R 5239 5239 32593 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 15 0 154606427 14314082304 7020 33554432000 4194304 4196468 140724433409056 139732388366832 139732899349696 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5254] ppid=5239 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5254/stat : 5254 (java) S 5239 5239 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154606427 14314082304 7020 33554432000 4194304 4196468 140724433409056 139732387314528 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5255] ppid=5239 vsize=13978596 memory=140385649374848 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5255/stat : 5255 (java) S 5239 5239 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154606428 14314082304 7020 33554432000 4194304 4196468 140724433409056 139732386261552 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29464 KiB
[startup+0.210488 s]*
/proc/loadavg: 1.94 2.05 1.96 6/218 5255
/proc/meminfo: memFree=26148456/32770624 swapFree=67108860/67108860
[pid=5239] ppid=5236 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5239/stat : 5239 (xcsp3-exec) S 5236 5239 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154606421 9740288 346 33554432000 4194304 5098028 140722524513536 140722524511640 140172952183420 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34586624 140722524517493 140722524517696 140722524517696 140722524520427 0
/proc/5239/statm: 2378 346 289 221 0 87 0
[pid=5241] ppid=5239 vsize=13982852 memory=40032 CPUtime=0.33 cores=0,2,4,6
/proc/5241/stat : 5241 (java) S 5239 5239 32593 0 -1 1077944320 8056 0 0 0 31 2 0 0 20 0 15 0 154606422 14318440448 10008 33554432000 4194304 4196468 140724433409056 140724433391600 139732920434423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
/proc/5241/statm: 3495713 10008 3036 1 0 3482966 0
[pid=5241/tid=5242] ppid=5239 vsize=13982852 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/5241/task/5242/stat : 5242 (java) R 5239 5239 32593 0 -1 4202560 5254 0 0 0 18 2 0 0 20 0 15 0 154606422 14318440448 10008 33554432000 4194304 4196468 140724433409056 139732924653256 139732904514910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5243] ppid=5239 vsize=13982852 memory=4294976320 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5243/stat : 5243 (java) S 5239 5239 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154606423 14318440448 10008 33554432000 4194304 4196468 140724433409056 139732873055248 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5244] ppid=5239 vsize=13982852 memory=288370761801086592 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5244/stat : 5244 (java) S 5239 5239 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154606423 14318440448 10008 33554432000 4194304 4196468 140724433409056 139732872002704 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5245] ppid=5239 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5245/stat : 5245 (java) S 5239 5239 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154606423 14318440448 10008 33554432000 4194304 4196468 140724433409056 139732870949648 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5246] ppid=5239 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5246/stat : 5246 (java) S 5239 5239 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154606423 14318440448 10008 33554432000 4194304 4196468 140724433409056 139732869897104 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5247] ppid=5239 vsize=13982852 memory=140385649374848 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5247/stat : 5247 (java) S 5239 5239 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154606424 14318440448 10008 33554432000 4194304 4196468 140724433409056 139732394682608 139732920445570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5248] ppid=5239 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5248/stat : 5248 (java) S 5239 5239 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154606425 14318440448 10008 33554432000 4194304 4196468 140724433409056 139732393628832 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5249] ppid=5239 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5249/stat : 5249 (java) S 5239 5239 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154606425 14318440448 10008 33554432000 4194304 4196468 140724433409056 139732392575728 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5250] ppid=5239 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5250/stat : 5250 (java) S 5239 5239 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154606427 14318440448 10008 33554432000 4194304 4196468 140724433409056 139732391524304 139732920453019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5251] ppid=5239 vsize=13982884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5241/task/5251/stat : 5251 (java) S 5239 5239 32593 0 -1 1077944384 569 0 0 0 2 0 0 0 20 0 15 0 154606427 14318473216 10008 33554432000 4194304 4196468 140724433409056 139732390472432 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5252] ppid=5239 vsize=13982884 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/5241/task/5252/stat : 5252 (java) S 5239 5239 32593 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 15 0 154606427 14318473216 10008 33554432000 4194304 4196468 140724433409056 139732389419888 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5253] ppid=5239 vsize=13982884 memory=140385649374848 CPUtime=0.07 cores=0,2,4,6
/proc/5241/task/5253/stat : 5253 (java) S 5239 5239 32593 0 -1 1077944384 749 0 0 0 7 0 0 0 20 0 15 0 154606427 14318473216 10030 33554432000 4194304 4196468 140724433409056 139732388366832 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5254] ppid=5239 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5254/stat : 5254 (java) S 5239 5239 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154606427 14318440448 10030 33554432000 4194304 4196468 140724433409056 139732387314528 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5255] ppid=5239 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5255/stat : 5255 (java) S 5239 5239 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154606428 14318440448 10030 33554432000 4194304 4196468 140724433409056 139732386261552 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41416 KiB
[startup+0.310606 s]*
/proc/loadavg: 1.94 2.05 1.96 8/218 5255
/proc/meminfo: memFree=26115452/32770624 swapFree=67108860/67108860
[pid=5239] ppid=5236 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5239/stat : 5239 (xcsp3-exec) S 5236 5239 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154606421 9740288 346 33554432000 4194304 5098028 140722524513536 140722524511640 140172952183420 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34586624 140722524517493 140722524517696 140722524517696 140722524520427 0
/proc/5239/statm: 2378 346 289 221 0 87 0
[pid=5241] ppid=5239 vsize=13982852 memory=47492 CPUtime=0.5 cores=0,2,4,6
/proc/5241/stat : 5241 (java) S 5239 5239 32593 0 -1 1077944320 9068 0 0 0 47 3 0 0 20 0 15 0 154606422 14318440448 11873 33554432000 4194304 4196468 140724433409056 140724433391600 139732920434423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
/proc/5241/statm: 3495713 11873 3090 1 0 3482966 0
[pid=5241/tid=5242] ppid=5239 vsize=13982852 memory=7310027617963868211 CPUtime=0.3 cores=0,2,4,6
/proc/5241/task/5242/stat : 5242 (java) R 5239 5239 32593 0 -1 4202560 5974 0 0 0 28 2 0 0 20 0 15 0 154606422 14318440448 11938 33554432000 4194304 4196468 140724433409056 139732924671744 139732901840726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5243] ppid=5239 vsize=13982852 memory=288230608969409347 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5243/stat : 5243 (java) S 5239 5239 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154606423 14318440448 11938 33554432000 4194304 4196468 140724433409056 139732873055248 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5244] ppid=5239 vsize=13982852 memory=13845278940248275 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5244/stat : 5244 (java) S 5239 5239 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154606423 14318440448 11938 33554432000 4194304 4196468 140724433409056 139732872002704 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5245] ppid=5239 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5245/stat : 5245 (java) S 5239 5239 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154606423 14318440448 11938 33554432000 4194304 4196468 140724433409056 139732870949648 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5246] ppid=5239 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5246/stat : 5246 (java) S 5239 5239 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154606423 14318440448 11938 33554432000 4194304 4196468 140724433409056 139732869897104 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5247] ppid=5239 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5247/stat : 5247 (java) S 5239 5239 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154606424 14318440448 11938 33554432000 4194304 4196468 140724433409056 139732394682608 139732920445570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5248] ppid=5239 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5248/stat : 5248 (java) S 5239 5239 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154606425 14318440448 11938 33554432000 4194304 4196468 140724433409056 139732393628832 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5249] ppid=5239 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5249/stat : 5249 (java) S 5239 5239 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154606425 14318440448 11938 33554432000 4194304 4196468 140724433409056 139732392575728 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5250] ppid=5239 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5250/stat : 5250 (java) S 5239 5239 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154606427 14318440448 11938 33554432000 4194304 4196468 140724433409056 139732391524304 139732920453019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5251] ppid=5239 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5241/task/5251/stat : 5251 (java) S 5239 5239 32593 0 -1 1077944384 583 0 0 0 3 0 0 0 20 0 15 0 154606427 14318440448 11938 33554432000 4194304 4196468 140724433409056 139732390472432 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5252] ppid=5239 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5241/task/5252/stat : 5252 (java) S 5239 5239 32593 0 -1 1077944384 344 0 0 0 3 0 0 0 20 0 15 0 154606427 14318440448 11938 33554432000 4194304 4196468 140724433409056 139732389419888 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5253] ppid=5239 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5241/task/5253/stat : 5253 (java) S 5239 5239 32593 0 -1 1077944384 888 0 0 0 12 0 0 0 20 0 15 0 154606427 14318440448 11938 33554432000 4194304 4196468 140724433409056 139732388366832 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5254] ppid=5239 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5254/stat : 5254 (java) S 5239 5239 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154606427 14318440448 11938 33554432000 4194304 4196468 140724433409056 139732387314528 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5255] ppid=5239 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5255/stat : 5255 (java) S 5239 5239 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154606428 14318440448 11938 33554432000 4194304 4196468 140724433409056 139732386261552 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48876 KiB
[startup+0.700805 s]
/proc/loadavg: 1.94 2.05 1.96 6/218 5255
/proc/meminfo: memFree=26051864/32770624 swapFree=67108860/67108860
[pid=5239] ppid=5236 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5239/stat : 5239 (xcsp3-exec) S 5236 5239 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154606421 9740288 346 33554432000 4194304 5098028 140722524513536 140722524511640 140172952183420 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34586624 140722524517493 140722524517696 140722524517696 140722524520427 0
/proc/5239/statm: 2378 346 289 221 0 87 0
[pid=5241] ppid=5239 vsize=13984976 memory=80728 CPUtime=1.18 cores=0,2,4,6
/proc/5241/stat : 5241 (java) S 5239 5239 32593 0 -1 1077944320 10275 0 0 0 114 4 0 0 20 0 15 0 154606422 14320615424 20182 33554432000 4194304 4196468 140724433409056 140724433391600 139732920434423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
/proc/5241/statm: 3496244 20182 3182 1 0 3483478 0
[pid=5241/tid=5242] ppid=5239 vsize=13984976 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/5241/task/5242/stat : 5242 (java) R 5239 5239 32593 0 -1 4202560 6508 0 0 0 65 3 0 0 20 0 15 0 154606422 14320615424 20182 33554432000 4194304 4196468 140724433409056 139732924671760 139732552889149 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5243] ppid=5239 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5243/stat : 5243 (java) S 5239 5239 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154606423 14320615424 20182 33554432000 4194304 4196468 140724433409056 139732873055248 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5244] ppid=5239 vsize=13984976 memory=153 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5244/stat : 5244 (java) S 5239 5239 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154606423 14320615424 20182 33554432000 4194304 4196468 140724433409056 139732872002704 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5245] ppid=5239 vsize=13984976 memory=2 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5245/stat : 5245 (java) S 5239 5239 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154606423 14320615424 20182 33554432000 4194304 4196468 140724433409056 139732870949648 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5246] ppid=5239 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5246/stat : 5246 (java) S 5239 5239 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154606423 14320615424 20182 33554432000 4194304 4196468 140724433409056 139732869897104 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5247] ppid=5239 vsize=13984976 memory=2428 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5247/stat : 5247 (java) S 5239 5239 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154606424 14320615424 20182 33554432000 4194304 4196468 140724433409056 139732394682608 139732920445570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5248] ppid=5239 vsize=13984976 memory=928 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5248/stat : 5248 (java) S 5239 5239 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154606425 14320615424 20182 33554432000 4194304 4196468 140724433409056 139732393628832 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5249] ppid=5239 vsize=13984976 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5249/stat : 5249 (java) S 5239 5239 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154606425 14320615424 20182 33554432000 4194304 4196468 140724433409056 139732392575728 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5250] ppid=5239 vsize=13984976 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5250/stat : 5250 (java) S 5239 5239 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154606427 14320615424 20182 33554432000 4194304 4196468 140724433409056 139732391524304 139732920453019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5251] ppid=5239 vsize=13984976 memory=4128 CPUtime=0.13 cores=0,2,4,6
/proc/5241/task/5251/stat : 5251 (java) S 5239 5239 32593 0 -1 1077944384 791 0 0 0 13 0 0 0 20 0 15 0 154606427 14320615424 20182 33554432000 4194304 4196468 140724433409056 139732390472432 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5252] ppid=5239 vsize=13984976 memory=2204 CPUtime=0.12 cores=0,2,4,6
/proc/5241/task/5252/stat : 5252 (java) S 5239 5239 32593 0 -1 1077944384 562 0 0 0 12 0 0 0 20 0 15 0 154606427 14320615424 20182 33554432000 4194304 4196468 140724433409056 139732389419888 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5253] ppid=5239 vsize=13984976 memory=7788 CPUtime=0.22 cores=0,2,4,6
/proc/5241/task/5253/stat : 5253 (java) S 5239 5239 32593 0 -1 1077944384 1111 0 0 0 22 0 0 0 20 0 15 0 154606427 14320615424 20182 33554432000 4194304 4196468 140724433409056 139732388366832 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5254] ppid=5239 vsize=13984976 memory=836 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5254/stat : 5254 (java) S 5239 5239 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154606427 14320615424 20182 33554432000 4194304 4196468 140724433409056 139732387314528 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5255] ppid=5239 vsize=13984976 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5255/stat : 5255 (java) S 5239 5239 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154606428 14320615424 20182 33554432000 4194304 4196468 140724433409056 139732386261552 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 82112 KiB
[startup+1.50085 s]
/proc/loadavg: 1.94 2.05 1.96 5/218 5255
/proc/meminfo: memFree=25925888/32770624 swapFree=67108860/67108860
[pid=5239] ppid=5236 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5239/stat : 5239 (xcsp3-exec) S 5236 5239 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154606421 9740288 346 33554432000 4194304 5098028 140722524513536 140722524511640 140172952183420 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34586624 140722524517493 140722524517696 140722524517696 140722524520427 0
/proc/5239/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/5239/stat : 5239 (xcsp3-exec) S 5236 5239 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154606421 9740288 346 33554432000 4194304 5098028 140722524513536 140722524511640 140172952183420 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34586624 140722524517493 140722524517696 140722524517696 140722524520427 0
/proc/5239/statm: 2378 346 289 221 0 87 0
[pid=5241] ppid=5239 vsize=13984976 memory=2873016 CPUtime=40.45 cores=0,2,4,6
/proc/5241/stat : 5241 (java) S 5239 5239 32593 0 -1 1077944320 77507 0 0 0 3734 311 0 0 20 0 15 0 154606422 14320615424 718254 33554432000 4194304 4196468 140724433409056 140724433391600 139732920434423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
/proc/5241/statm: 3496244 718254 3255 1 0 3483478 0
[pid=5241/tid=5242] ppid=5239 vsize=13984976 memory=6935054825532540783 CPUtime=20.76 cores=0,2,4,6
/proc/5241/task/5242/stat : 5242 (java) R 5239 5239 32593 0 -1 4202560 12553 0 0 0 2068 8 0 0 20 0 15 0 154606422 14320615424 718254 33554432000 4194304 4196468 140724433409056 139732924670552 139732553789144 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5243] ppid=5239 vsize=13984976 memory=2548 CPUtime=3.84 cores=0,2,4,6
/proc/5241/task/5243/stat : 5243 (java) S 5239 5239 32593 0 -1 1077944384 20188 0 0 0 312 72 0 0 20 0 15 0 154606423 14320615424 718254 33554432000 4194304 4196468 140724433409056 139732873055248 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5244] ppid=5239 vsize=13984976 memory=2652 CPUtime=3.82 cores=0,2,4,6
/proc/5241/task/5244/stat : 5244 (java) S 5239 5239 32593 0 -1 1077944384 9501 0 0 0 307 75 0 0 20 0 15 0 154606423 14320615424 718254 33554432000 4194304 4196468 140724433409056 139732872002704 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5245] ppid=5239 vsize=13984976 memory=6935054825532540783 CPUtime=3.82 cores=0,2,4,6
/proc/5241/task/5245/stat : 5245 (java) S 5239 5239 32593 0 -1 1077944384 9313 0 0 0 311 71 0 0 20 0 15 0 154606423 14320615424 718254 33554432000 4194304 4196468 140724433409056 139732870949648 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5246] ppid=5239 vsize=13984976 memory=2244 CPUtime=3.81 cores=0,2,4,6
/proc/5241/task/5246/stat : 5246 (java) S 5239 5239 32593 0 -1 1077944384 11426 0 0 0 304 77 0 0 20 0 15 0 154606423 14320615424 718254 33554432000 4194304 4196468 140724433409056 139732869897104 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5247] ppid=5239 vsize=13984976 memory=4498404016631593313 CPUtime=3.35 cores=0,2,4,6
/proc/5241/task/5247/stat : 5247 (java) S 5239 5239 32593 0 -1 1077944384 5754 0 0 0 334 1 0 0 20 0 15 0 154606424 14320615424 718254 33554432000 4194304 4196468 140724433409056 139732394682608 139732920445570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5248] ppid=5239 vsize=13984976 memory=-5874771483550381248 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5248/stat : 5248 (java) S 5239 5239 32593 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154606425 14320615424 718254 33554432000 4194304 4196468 140724433409056 139732393628832 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5249] ppid=5239 vsize=13984976 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5249/stat : 5249 (java) S 5239 5239 32593 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154606425 14320615424 718254 33554432000 4194304 4196468 140724433409056 139732392575728 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5250] ppid=5239 vsize=13984976 memory=-7595718316223324558 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5250/stat : 5250 (java) S 5239 5239 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154606427 14320615424 718254 33554432000 4194304 4196468 140724433409056 139732391524304 139732920453019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5251] ppid=5239 vsize=13984976 memory=-7595718148000617580 CPUtime=0.3 cores=0,2,4,6
/proc/5241/task/5251/stat : 5251 (java) S 5239 5239 32593 0 -1 1077944384 1630 0 0 0 30 0 0 0 20 0 15 0 154606427 14320615424 718254 33554432000 4194304 4196468 140724433409056 139732390472432 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5252] ppid=5239 vsize=13984976 memory=-3704326594973231568 CPUtime=0.26 cores=0,2,4,6
/proc/5241/task/5252/stat : 5252 (java) S 5239 5239 32593 0 -1 1077944384 1416 0 0 0 26 0 0 0 20 0 15 0 154606427 14320615424 718254 33554432000 4194304 4196468 140724433409056 139732389419888 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5253] ppid=5239 vsize=13984976 memory=4351193298402170966 CPUtime=0.39 cores=0,2,4,6
/proc/5241/task/5253/stat : 5253 (java) S 5239 5239 32593 0 -1 1077944384 4266 0 0 0 38 1 0 0 20 0 15 0 154606427 14320615424 718254 33554432000 4194304 4196468 140724433409056 139732388366832 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5254] ppid=5239 vsize=13984976 memory=-6237260532469557610 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5254/stat : 5254 (java) S 5239 5239 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154606427 14320615424 718254 33554432000 4194304 4196468 140724433409056 139732387314528 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5255] ppid=5239 vsize=13984976 memory=7523103067187991404 CPUtime=0.01 cores=0,2,4,6
/proc/5241/task/5255/stat : 5255 (java) S 5239 5239 32593 0 -1 1077944384 103 0 0 0 0 1 0 0 20 0 15 0 154606428 14320615424 718254 33554432000 4194304 4196468 140724433409056 139732386261552 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
Current children cumulated CPU time: 40.45 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2874400 KiB
[startup+28.4007 s]
/proc/loadavg: 2.24 2.12 1.98 3/218 5255
/proc/meminfo: memFree=22710492/32770624 swapFree=67108860/67108860
[pid=5239] ppid=5236 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5239/stat : 5239 (xcsp3-exec) S 5236 5239 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154606421 9740288 346 33554432000 4194304 5098028 140722524513536 140722524511640 140172952183420 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34586624 140722524517493 140722524517696 140722524517696 140722524520427 0
/proc/5239/statm: 2378 346 289 221 0 87 0
[pid=5241] ppid=5239 vsize=13984976 memory=2873568 CPUtime=40.94 cores=0,2,4,6
/proc/5241/stat : 5241 (java) S 5239 5239 32593 0 -1 1077944320 77699 0 0 0 3783 311 0 0 20 0 15 0 154606422 14320615424 718392 33554432000 4194304 4196468 140724433409056 140724433391600 139732920434423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
/proc/5241/statm: 3496244 718392 3255 1 0 3483478 0
[pid=5241/tid=5242] ppid=5239 vsize=13984976 memory=8112282956445269571 CPUtime=21.15 cores=0,2,4,6
/proc/5241/task/5242/stat : 5242 (java) R 5239 5239 32593 0 -1 4202560 12553 0 0 0 2107 8 0 0 20 0 15 0 154606422 14320615424 718392 33554432000 4194304 4196468 140724433409056 139732924670552 139732553820874 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5243] ppid=5239 vsize=13984976 memory=2872952 CPUtime=3.84 cores=0,2,4,6
/proc/5241/task/5243/stat : 5243 (java) S 5239 5239 32593 0 -1 1077944384 20188 0 0 0 312 72 0 0 20 0 15 0 154606423 14320615424 718392 33554432000 4194304 4196468 140724433409056 139732873055248 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5244] ppid=5239 vsize=13984976 memory=23780 CPUtime=3.82 cores=0,2,4,6
/proc/5241/task/5244/stat : 5244 (java) S 5239 5239 32593 0 -1 1077944384 9501 0 0 0 307 75 0 0 20 0 15 0 154606423 14320615424 718392 33554432000 4194304 4196468 140724433409056 139732872002704 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5245] ppid=5239 vsize=13984976 memory=4040 CPUtime=3.82 cores=0,2,4,6
/proc/5241/task/5245/stat : 5245 (java) S 5239 5239 32593 0 -1 1077944384 9313 0 0 0 311 71 0 0 20 0 15 0 154606423 14320615424 718392 33554432000 4194304 4196468 140724433409056 139732870949648 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5246] ppid=5239 vsize=13984976 memory=1236 CPUtime=3.81 cores=0,2,4,6
/proc/5241/task/5246/stat : 5246 (java) S 5239 5239 32593 0 -1 1077944384 11426 0 0 0 304 77 0 0 20 0 15 0 154606423 14320615424 718392 33554432000 4194304 4196468 140724433409056 139732869897104 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5247] ppid=5239 vsize=13984976 memory=644 CPUtime=3.35 cores=0,2,4,6
/proc/5241/task/5247/stat : 5247 (java) S 5239 5239 32593 0 -1 1077944384 5754 0 0 0 334 1 0 0 20 0 15 0 154606424 14320615424 718392 33554432000 4194304 4196468 140724433409056 139732394682608 139732920445570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5248] ppid=5239 vsize=13984976 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5248/stat : 5248 (java) S 5239 5239 32593 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154606425 14320615424 718392 33554432000 4194304 4196468 140724433409056 139732393628832 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5249] ppid=5239 vsize=13984976 memory=956 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5249/stat : 5249 (java) S 5239 5239 32593 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154606425 14320615424 718392 33554432000 4194304 4196468 140724433409056 139732392575728 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5250] ppid=5239 vsize=13984976 memory=2428 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5250/stat : 5250 (java) S 5239 5239 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154606427 14320615424 718392 33554432000 4194304 4196468 140724433409056 139732391524304 139732920453019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5251] ppid=5239 vsize=13984976 memory=928 CPUtime=0.35 cores=0,2,4,6
/proc/5241/task/5251/stat : 5251 (java) S 5239 5239 32593 0 -1 1077944384 1775 0 0 0 35 0 0 0 20 0 15 0 154606427 14320615424 718392 33554432000 4194304 4196468 140724433409056 139732390472432 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5252] ppid=5239 vsize=13984976 memory=1568 CPUtime=0.3 cores=0,2,4,6
/proc/5241/task/5252/stat : 5252 (java) S 5239 5239 32593 0 -1 1077944384 1451 0 0 0 30 0 0 0 20 0 15 0 154606427 14320615424 718392 33554432000 4194304 4196468 140724433409056 139732389419888 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5253] ppid=5239 vsize=13984976 memory=2240 CPUtime=0.4 cores=0,2,4,6
/proc/5241/task/5253/stat : 5253 (java) S 5239 5239 32593 0 -1 1077944384 4278 0 0 0 39 1 0 0 20 0 15 0 154606427 14320615424 718392 33554432000 4194304 4196468 140724433409056 139732388366832 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5254] ppid=5239 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5254/stat : 5254 (java) S 5239 5239 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154606427 14320615424 718392 33554432000 4194304 4196468 140724433409056 139732387314528 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5255] ppid=5239 vsize=13984976 memory=2461180 CPUtime=0.01 cores=0,2,4,6
/proc/5241/task/5255/stat : 5255 (java) S 5239 5239 32593 0 -1 1077944384 103 0 0 0 0 1 0 0 20 0 15 0 154606428 14320615424 718392 33554432000 4194304 4196468 140724433409056 139732386261552 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
Current children cumulated CPU time: 40.94 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2874952 KiB
[startup+28.8008 s]
/proc/loadavg: 2.24 2.12 1.98 3/218 5255
/proc/meminfo: memFree=22710492/32770624 swapFree=67108860/67108860
[pid=5239] ppid=5236 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5239/stat : 5239 (xcsp3-exec) S 5236 5239 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154606421 9740288 346 33554432000 4194304 5098028 140722524513536 140722524511640 140172952183420 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34586624 140722524517493 140722524517696 140722524517696 140722524520427 0
/proc/5239/statm: 2378 346 289 221 0 87 0
[pid=5241] ppid=5239 vsize=13984976 memory=2874488 CPUtime=41.5 cores=0,2,4,6
/proc/5241/stat : 5241 (java) S 5239 5239 32593 0 -1 1077944320 78198 0 0 0 3838 312 0 0 20 0 15 0 154606422 14320615424 718622 33554432000 4194304 4196468 140724433409056 140724433391600 139732920434423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
/proc/5241/statm: 3496244 718622 3255 1 0 3483478 0
[pid=5241/tid=5242] ppid=5239 vsize=13984976 memory=2870396 CPUtime=21.55 cores=0,2,4,6
/proc/5241/task/5242/stat : 5242 (java) R 5239 5239 32593 0 -1 4202560 12812 0 0 0 2147 8 0 0 20 0 15 0 154606422 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732924670976 139732553839690 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5243] ppid=5239 vsize=13984976 memory=8112282956445269571 CPUtime=3.84 cores=0,2,4,6
/proc/5241/task/5243/stat : 5243 (java) S 5239 5239 32593 0 -1 1077944384 20188 0 0 0 312 72 0 0 20 0 15 0 154606423 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732873055248 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5244] ppid=5239 vsize=13984976 memory=2870376 CPUtime=3.82 cores=0,2,4,6
/proc/5241/task/5244/stat : 5244 (java) S 5239 5239 32593 0 -1 1077944384 9501 0 0 0 307 75 0 0 20 0 15 0 154606423 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732872002704 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5245] ppid=5239 vsize=13984976 memory=1228 CPUtime=3.82 cores=0,2,4,6
/proc/5241/task/5245/stat : 5245 (java) S 5239 5239 32593 0 -1 1077944384 9313 0 0 0 311 71 0 0 20 0 15 0 154606423 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732870949648 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5246] ppid=5239 vsize=13984976 memory=13412 CPUtime=3.81 cores=0,2,4,6
/proc/5241/task/5246/stat : 5246 (java) S 5239 5239 32593 0 -1 1077944384 11426 0 0 0 304 77 0 0 20 0 15 0 154606423 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732869897104 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5247] ppid=5239 vsize=13984976 memory=1296 CPUtime=3.35 cores=0,2,4,6
/proc/5241/task/5247/stat : 5247 (java) S 5239 5239 32593 0 -1 1077944384 5754 0 0 0 334 1 0 0 20 0 15 0 154606424 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732394682608 139732920445570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5248] ppid=5239 vsize=13984976 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5248/stat : 5248 (java) S 5239 5239 32593 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154606425 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732393628832 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5249] ppid=5239 vsize=13984976 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5249/stat : 5249 (java) S 5239 5239 32593 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154606425 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732392575728 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5250] ppid=5239 vsize=13984976 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5250/stat : 5250 (java) S 5239 5239 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154606427 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732391524304 139732920453019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5251] ppid=5239 vsize=13984976 memory=1716 CPUtime=0.4 cores=0,2,4,6
/proc/5241/task/5251/stat : 5251 (java) S 5239 5239 32593 0 -1 1077944384 1792 0 0 0 40 0 0 0 20 0 15 0 154606427 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732390472432 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5252] ppid=5239 vsize=13984976 memory=5792 CPUtime=0.38 cores=0,2,4,6
/proc/5241/task/5252/stat : 5252 (java) S 5239 5239 32593 0 -1 1077944384 1644 0 0 0 38 0 0 0 20 0 15 0 154606427 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732389419888 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5253] ppid=5239 vsize=13984976 memory=4616 CPUtime=0.42 cores=0,2,4,6
/proc/5241/task/5253/stat : 5253 (java) S 5239 5239 32593 0 -1 1077944384 4308 0 0 0 41 1 0 0 20 0 15 0 154606427 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732388366832 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5254] ppid=5239 vsize=13984976 memory=792 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5254/stat : 5254 (java) S 5239 5239 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154606427 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732387314528 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5255] ppid=5239 vsize=13984976 memory=1420 CPUtime=0.01 cores=0,2,4,6
/proc/5241/task/5255/stat : 5255 (java) S 5239 5239 32593 0 -1 1077944384 103 0 0 0 0 1 0 0 20 0 15 0 154606428 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732386261552 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
Current children cumulated CPU time: 41.5 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2875872 KiB
[startup+28.9008 s]
/proc/loadavg: 2.24 2.12 1.98 3/218 5255
/proc/meminfo: memFree=22710492/32770624 swapFree=67108860/67108860
[pid=5239] ppid=5236 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5239/stat : 5239 (xcsp3-exec) S 5236 5239 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154606421 9740288 346 33554432000 4194304 5098028 140722524513536 140722524511640 140172952183420 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34586624 140722524517493 140722524517696 140722524517696 140722524520427 0
/proc/5239/statm: 2378 346 289 221 0 87 0
[pid=5241] ppid=5239 vsize=13984976 memory=2874488 CPUtime=41.6 cores=0,2,4,6
/proc/5241/stat : 5241 (java) S 5239 5239 32593 0 -1 1077944320 78201 0 0 0 3848 312 0 0 20 0 15 0 154606422 14320615424 718622 33554432000 4194304 4196468 140724433409056 140724433391600 139732920434423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
/proc/5241/statm: 3496244 718622 3255 1 0 3483478 0
[pid=5241/tid=5242] ppid=5239 vsize=13984976 memory=2873948 CPUtime=21.65 cores=0,2,4,6
/proc/5241/task/5242/stat : 5242 (java) R 5239 5239 32593 0 -1 4202560 12812 0 0 0 2157 8 0 0 20 0 15 0 154606422 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732924670976 139732553789043 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5243] ppid=5239 vsize=13984976 memory=1384 CPUtime=3.84 cores=0,2,4,6
/proc/5241/task/5243/stat : 5243 (java) S 5239 5239 32593 0 -1 1077944384 20188 0 0 0 312 72 0 0 20 0 15 0 154606423 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732873055248 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5244] ppid=5239 vsize=13984976 memory=2461444 CPUtime=3.82 cores=0,2,4,6
/proc/5241/task/5244/stat : 5244 (java) S 5239 5239 32593 0 -1 1077944384 9501 0 0 0 307 75 0 0 20 0 15 0 154606423 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732872002704 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5245] ppid=5239 vsize=13984976 memory=42828 CPUtime=3.82 cores=0,2,4,6
/proc/5241/task/5245/stat : 5245 (java) S 5239 5239 32593 0 -1 1077944384 9313 0 0 0 311 71 0 0 20 0 15 0 154606423 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732870949648 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5246] ppid=5239 vsize=13984976 memory=1296 CPUtime=3.81 cores=0,2,4,6
/proc/5241/task/5246/stat : 5246 (java) S 5239 5239 32593 0 -1 1077944384 11426 0 0 0 304 77 0 0 20 0 15 0 154606423 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732869897104 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5247] ppid=5239 vsize=13984976 memory=18 CPUtime=3.35 cores=0,2,4,6
/proc/5241/task/5247/stat : 5247 (java) S 5239 5239 32593 0 -1 1077944384 5754 0 0 0 334 1 0 0 20 0 15 0 154606424 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732394682608 139732920445570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5248] ppid=5239 vsize=13984976 memory=18 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5248/stat : 5248 (java) S 5239 5239 32593 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154606425 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732393628832 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5249] ppid=5239 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5249/stat : 5249 (java) S 5239 5239 32593 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154606425 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732392575728 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5250] ppid=5239 vsize=13984976 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5250/stat : 5250 (java) S 5239 5239 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154606427 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732391524304 139732920453019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5251] ppid=5239 vsize=13984976 memory=13144 CPUtime=0.4 cores=0,2,4,6
/proc/5241/task/5251/stat : 5251 (java) S 5239 5239 32593 0 -1 1077944384 1793 0 0 0 40 0 0 0 20 0 15 0 154606427 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732390472432 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5252] ppid=5239 vsize=13984976 memory=1944 CPUtime=0.38 cores=0,2,4,6
/proc/5241/task/5252/stat : 5252 (java) S 5239 5239 32593 0 -1 1077944384 1644 0 0 0 38 0 0 0 20 0 15 0 154606427 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732389419888 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5253] ppid=5239 vsize=13984976 memory=280771004794304 CPUtime=0.42 cores=0,2,4,6
/proc/5241/task/5253/stat : 5253 (java) S 5239 5239 32593 0 -1 1077944384 4310 0 0 0 41 1 0 0 20 0 15 0 154606427 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732388366832 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5254] ppid=5239 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5241/task/5254/stat : 5254 (java) S 5239 5239 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154606427 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732387314528 139732920444629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
[pid=5241/tid=5255] ppid=5239 vsize=13984976 memory=2873536 CPUtime=0.01 cores=0,2,4,6
/proc/5241/task/5255/stat : 5255 (java) S 5239 5239 32593 0 -1 1077944384 103 0 0 0 0 1 0 0 20 0 15 0 154606428 14320615424 718622 33554432000 4194304 4196468 140724433409056 139732386261552 139732920445570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 36343808 140724433417373 140724433417548 140724433417548 140724433420239 0
Current children cumulated CPU time: 41.6 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2875872 KiB
Child status: 0
Real time (s): 28.99
CPU time (s): 41.7199
CPU user time (s): 38.577
CPU system time (s): 3.14289
CPU usage (%): 143.912
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 2875872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.577
system time used= 3.14289
maximum resident set size= 2875048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78825
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3268
involuntary context switches= 202
# summary of solver processes directly reported to runsolver:
# pid: 5239
# total CPU time (s): 41.7199
# total CPU user time (s): 38.577
# total CPU system time (s): 3.14289
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.20089 second user time and 0.339533 second system time
The end