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 (15262 MiB free)
memory of node 1: 16384 MiB (15305 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400406-1568674652/watcher-4400406-1568674652 -o /tmp/evaluation-result-4400406-1568674652/solver-4400406-1568674652 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32544 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 2093330141 HOME/instance-4400406-1568674652.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1207, runsolver pid=1204
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 8.58 8.60 7.06 7/233 1223
/proc/meminfo: memFree=31284920/32770624 swapFree=66997368/67108860
[pid=1207] ppid=1204 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1207/stat : 1207 (xcsp3-exec) S 1204 1207 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443718309 115843072 362 33554432000 4194304 5098028 140732679789296 140732679787400 139853871710844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37859328 140732679791482 140732679791725 140732679791725 140732679794634 0
/proc/1207/statm: 28282 362 304 221 0 87 0
[pid=1209] ppid=1207 vsize=15144776 memory=28908 CPUtime=0.13 cores=0,2,4,6
/proc/1209/stat : 1209 (java) S 1207 1207 32513 0 -1 1077944320 5699 0 0 0 11 2 0 0 20 0 15 0 443718309 15508250624 7227 33554432000 4194304 4196468 140737000763616 140737000746160 139707325562615 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
/proc/1209/statm: 3786194 7227 3120 1 0 3748377 0
[pid=1209/tid=1210] ppid=1207 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/1209/task/1210/stat : 1210 (java) S 1207 1207 32513 0 -1 1077944384 3626 0 0 0 8 1 0 0 20 0 15 0 443718310 15508250624 7227 33554432000 4194304 4196468 140737000763616 139707329791968 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1211] ppid=1207 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1211/stat : 1211 (java) S 1207 1207 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443718310 15508250624 7227 33554432000 4194304 4196468 140737000763616 139707237219344 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1212] ppid=1207 vsize=15144776 memory=139773020079744 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1212/stat : 1212 (java) S 1207 1207 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443718310 15508250624 7293 33554432000 4194304 4196468 140737000763616 139707236166800 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1213] ppid=1207 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1213/stat : 1213 (java) S 1207 1207 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443718310 15508250624 7293 33554432000 4194304 4196468 140737000763616 139707235113744 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1214] ppid=1207 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1214/stat : 1214 (java) S 1207 1207 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443718310 15508250624 7293 33554432000 4194304 4196468 140737000763616 139706914302864 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1215] ppid=1207 vsize=15144776 memory=139773020079744 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1215/stat : 1215 (java) S 1207 1207 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443718312 15508250624 7293 33554432000 4194304 4196468 140737000763616 139706794260720 139707325573762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1216] ppid=1207 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1216/stat : 1216 (java) S 1207 1207 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443718312 15508250624 7293 33554432000 4194304 4196468 140737000763616 139706793206944 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1217] ppid=1207 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1217/stat : 1217 (java) S 1207 1207 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443718313 15508250624 7293 33554432000 4194304 4196468 140737000763616 139706792153840 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1218] ppid=1207 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1218/stat : 1218 (java) S 1207 1207 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443718315 15508250624 7293 33554432000 4194304 4196468 140737000763616 139706791102416 139707325581211 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1219] ppid=1207 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1219/stat : 1219 (java) R 1207 1207 32513 0 -1 4202560 340 0 0 0 0 0 0 0 20 0 15 0 443718315 15508250624 7293 33554432000 4194304 4196468 140737000763616 139706790050544 139707303395472 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1220] ppid=1207 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1220/stat : 1220 (java) R 1207 1207 32513 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 443718315 15508250624 7293 33554432000 4194304 4196468 140737000763616 139706788998000 139707325573762 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1221] ppid=1207 vsize=15144776 memory=139773020079744 CPUtime=0.02 cores=0,2,4,6
/proc/1209/task/1221/stat : 1221 (java) S 1207 1207 32513 0 -1 1077944384 349 0 0 0 2 0 0 0 20 0 15 0 443718315 15508250624 7293 33554432000 4194304 4196468 140737000763616 139706787944944 139707325573762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1222] ppid=1207 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1222/stat : 1222 (java) S 1207 1207 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443718315 15508250624 7293 33554432000 4194304 4196468 140737000763616 139706786892640 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1223] ppid=1207 vsize=15144776 memory=139773020079744 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1223/stat : 1223 (java) S 1207 1207 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443718315 15508250624 7293 33554432000 4194304 4196468 140737000763616 139706785839664 139707325573762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30356 KiB
[startup+0.210794 s]*
/proc/loadavg: 8.58 8.60 7.06 7/234 1225
/proc/meminfo: memFree=31271728/32770624 swapFree=66997368/67108860
[pid=1207] ppid=1204 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1207/stat : 1207 (xcsp3-exec) S 1204 1207 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443718309 115843072 362 33554432000 4194304 5098028 140732679789296 140732679787400 139853871710844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37859328 140732679791482 140732679791725 140732679791725 140732679794634 0
/proc/1207/statm: 28282 362 304 221 0 87 0
[pid=1209] ppid=1207 vsize=15144776 memory=40992 CPUtime=0.33 cores=0,2,4,6
/proc/1209/stat : 1209 (java) S 1207 1207 32513 0 -1 1077944320 9433 0 0 0 30 3 0 0 20 0 15 0 443718309 15508250624 10248 33554432000 4194304 4196468 140737000763616 140737000746160 139707325562615 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
/proc/1209/statm: 3786194 10248 3301 1 0 3748377 0
[pid=1209/tid=1210] ppid=1207 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/1209/task/1210/stat : 1210 (java) R 1207 1207 32513 0 -1 4202560 6626 0 0 0 17 3 0 0 20 0 15 0 443718310 15508250624 10248 33554432000 4194304 4196468 140737000763616 139707329794528 139706914385032 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1211] ppid=1207 vsize=15144776 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1211/stat : 1211 (java) S 1207 1207 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443718310 15508250624 10248 33554432000 4194304 4196468 140737000763616 139707237219344 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1212] ppid=1207 vsize=15144776 memory=3544807168357828256 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1212/stat : 1212 (java) S 1207 1207 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443718310 15508250624 10248 33554432000 4194304 4196468 140737000763616 139707236166800 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1213] ppid=1207 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1213/stat : 1213 (java) S 1207 1207 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443718310 15508250624 10248 33554432000 4194304 4196468 140737000763616 139707235113744 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1214] ppid=1207 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1214/stat : 1214 (java) S 1207 1207 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443718310 15508250624 10248 33554432000 4194304 4196468 140737000763616 139706914302864 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1215] ppid=1207 vsize=15144776 memory=139773020079744 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1215/stat : 1215 (java) S 1207 1207 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 443718312 15508250624 10248 33554432000 4194304 4196468 140737000763616 139706794260720 139707325573762 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1216] ppid=1207 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1216/stat : 1216 (java) S 1207 1207 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443718312 15508250624 10248 33554432000 4194304 4196468 140737000763616 139706793206944 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1217] ppid=1207 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1217/stat : 1217 (java) S 1207 1207 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443718313 15508250624 10248 33554432000 4194304 4196468 140737000763616 139706792153840 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1218] ppid=1207 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1218/stat : 1218 (java) S 1207 1207 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443718315 15508250624 10248 33554432000 4194304 4196468 140737000763616 139706791102416 139707325581211 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1219] ppid=1207 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/1209/task/1219/stat : 1219 (java) S 1207 1207 32513 0 -1 1077944384 615 0 0 0 3 0 0 0 20 0 15 0 443718315 15508250624 10248 33554432000 4194304 4196468 140737000763616 139706790050544 139707325573762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1220] ppid=1207 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/1209/task/1220/stat : 1220 (java) S 1207 1207 32513 0 -1 1077944384 149 0 0 0 1 0 0 0 20 0 15 0 443718315 15508250624 10248 33554432000 4194304 4196468 140737000763616 139706788998000 139707325573762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1221] ppid=1207 vsize=15144776 memory=139773020079744 CPUtime=0.08 cores=0,2,4,6
/proc/1209/task/1221/stat : 1221 (java) R 1207 1207 32513 0 -1 4202560 741 0 0 0 8 0 0 0 20 0 15 0 443718315 15508250624 10248 33554432000 4194304 4196468 140737000763616 139706787944752 139706914308206 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1222] ppid=1207 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1222/stat : 1222 (java) S 1207 1207 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443718315 15508250624 10248 33554432000 4194304 4196468 140737000763616 139706786892640 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1223] ppid=1207 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1223/stat : 1223 (java) S 1207 1207 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443718315 15508250624 10248 33554432000 4194304 4196468 140737000763616 139706785839664 139707325573762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42440 KiB
[startup+0.310626 s]*
/proc/loadavg: 8.58 8.60 7.06 9/234 1225
/proc/meminfo: memFree=31262272/32770624 swapFree=66997368/67108860
[pid=1207] ppid=1204 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1207/stat : 1207 (xcsp3-exec) S 1204 1207 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443718309 115843072 362 33554432000 4194304 5098028 140732679789296 140732679787400 139853871710844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37859328 140732679791482 140732679791725 140732679791725 140732679794634 0
/proc/1207/statm: 28282 362 304 221 0 87 0
[pid=1209] ppid=1207 vsize=15149032 memory=49680 CPUtime=0.53 cores=0,2,4,6
/proc/1209/stat : 1209 (java) S 1207 1207 32513 0 -1 1077944320 10787 0 0 0 49 4 0 0 20 0 15 0 443718309 15512608768 12420 33554432000 4194304 4196468 140737000763616 140737000746160 139707325562615 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
/proc/1209/statm: 3787258 12420 3349 1 0 3748377 0
[pid=1209/tid=1210] ppid=1207 vsize=15149032 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/1209/task/1210/stat : 1210 (java) R 1207 1207 32513 0 -1 4202560 7800 0 0 0 27 3 0 0 20 0 15 0 443718310 15512608768 12449 33554432000 4194304 4196468 140737000763616 139707329793728 139707309643102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1211] ppid=1207 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1211/stat : 1211 (java) S 1207 1207 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443718310 15512608768 12449 33554432000 4194304 4196468 140737000763616 139707237219344 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1212] ppid=1207 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1212/stat : 1212 (java) S 1207 1207 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443718310 15512608768 12449 33554432000 4194304 4196468 140737000763616 139707236166800 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1213] ppid=1207 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1213/stat : 1213 (java) S 1207 1207 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443718310 15512608768 12449 33554432000 4194304 4196468 140737000763616 139707235113744 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1214] ppid=1207 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1214/stat : 1214 (java) S 1207 1207 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443718310 15512608768 12449 33554432000 4194304 4196468 140737000763616 139706914302864 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1215] ppid=1207 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1215/stat : 1215 (java) S 1207 1207 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 443718312 15512608768 12449 33554432000 4194304 4196468 140737000763616 139706794260720 139707325573762 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1216] ppid=1207 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1216/stat : 1216 (java) S 1207 1207 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443718312 15512608768 12449 33554432000 4194304 4196468 140737000763616 139706793206944 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1217] ppid=1207 vsize=15149032 memory=3833746603143278640 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1217/stat : 1217 (java) S 1207 1207 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443718313 15512608768 12449 33554432000 4194304 4196468 140737000763616 139706792153840 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1218] ppid=1207 vsize=15149032 memory=7959395632135221304 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1218/stat : 1218 (java) S 1207 1207 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443718315 15512608768 12449 33554432000 4194304 4196468 140737000763616 139706791102416 139707325581211 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1219] ppid=1207 vsize=15149032 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/1209/task/1219/stat : 1219 (java) R 1207 1207 32513 0 -1 4202560 708 0 0 0 6 0 0 0 20 0 15 0 443718315 15512608768 12449 33554432000 4194304 4196468 140737000763616 139706790036640 139707307083758 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1220] ppid=1207 vsize=15149032 memory=3467824627879784501 CPUtime=0.03 cores=0,2,4,6
/proc/1209/task/1220/stat : 1220 (java) S 1207 1207 32513 0 -1 1077944384 181 0 0 0 3 0 0 0 20 0 15 0 443718315 15512608768 12449 33554432000 4194304 4196468 140737000763616 139706788998000 139707325573762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1221] ppid=1207 vsize=15149032 memory=3756202581041948336 CPUtime=0.12 cores=0,2,4,6
/proc/1209/task/1221/stat : 1221 (java) S 1207 1207 32513 0 -1 1077944384 846 0 0 0 12 0 0 0 20 0 15 0 443718315 15512608768 12449 33554432000 4194304 4196468 140737000763616 139706787944944 139707325573762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1222] ppid=1207 vsize=15149032 memory=3467824627879784479 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1222/stat : 1222 (java) S 1207 1207 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443718315 15512608768 12449 33554432000 4194304 4196468 140737000763616 139706786892640 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1223] ppid=1207 vsize=15149032 memory=3977720067401328308 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1223/stat : 1223 (java) S 1207 1207 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443718315 15512608768 12449 33554432000 4194304 4196468 140737000763616 139706785839664 139707325573762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51128 KiB
[startup+0.700785 s]
/proc/loadavg: 8.58 8.60 7.06 9/234 1225
/proc/meminfo: memFree=31247368/32770624 swapFree=66997368/67108860
[pid=1207] ppid=1204 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1207/stat : 1207 (xcsp3-exec) S 1204 1207 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443718309 115843072 362 33554432000 4194304 5098028 140732679789296 140732679787400 139853871710844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37859328 140732679791482 140732679791725 140732679791725 140732679794634 0
/proc/1207/statm: 28282 362 304 221 0 87 0
[pid=1209] ppid=1207 vsize=15419460 memory=89048 CPUtime=1.5 cores=0,2,4,6
/proc/1209/stat : 1209 (java) S 1207 1207 32513 0 -1 1077944320 14491 0 0 0 144 6 0 0 20 0 19 0 443718309 15789527040 22262 33554432000 4194304 4196468 140737000763616 140737000746160 139707325562615 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
/proc/1209/statm: 3854865 22262 3450 1 0 3815965 0
[pid=1209/tid=1210] ppid=1207 vsize=15419460 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/1209/task/1210/stat : 1210 (java) S 1207 1207 32513 0 -1 1077944384 9473 0 0 0 62 4 0 0 20 0 19 0 443718310 15789527040 22262 33554432000 4194304 4196468 140737000763616 139707329803392 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1211] ppid=1207 vsize=15419460 memory=51 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1211/stat : 1211 (java) S 1207 1207 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 443718310 15789527040 22262 33554432000 4194304 4196468 140737000763616 139707237219344 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1212] ppid=1207 vsize=15419460 memory=110 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1212/stat : 1212 (java) S 1207 1207 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 443718310 15789527040 22262 33554432000 4194304 4196468 140737000763616 139707236166800 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1213] ppid=1207 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1213/stat : 1213 (java) S 1207 1207 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 443718310 15789527040 22262 33554432000 4194304 4196468 140737000763616 139707235113744 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1214] ppid=1207 vsize=15419460 memory=3 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1214/stat : 1214 (java) S 1207 1207 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 443718310 15789527040 22269 33554432000 4194304 4196468 140737000763616 139706914302864 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1215] ppid=1207 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1215/stat : 1215 (java) S 1207 1207 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 443718312 15789527040 22269 33554432000 4194304 4196468 140737000763616 139706794260720 139707325573762 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1216] ppid=1207 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1216/stat : 1216 (java) S 1207 1207 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 443718312 15789527040 22269 33554432000 4194304 4196468 140737000763616 139706793206944 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1217] ppid=1207 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1217/stat : 1217 (java) S 1207 1207 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 443718313 15789527040 22269 33554432000 4194304 4196468 140737000763616 139706792153840 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1218] ppid=1207 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1218/stat : 1218 (java) S 1207 1207 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443718315 15789527040 22269 33554432000 4194304 4196468 140737000763616 139706791102416 139707325581211 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1219] ppid=1207 vsize=15419460 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/1209/task/1219/stat : 1219 (java) R 1207 1207 32513 0 -1 4202560 1106 0 0 0 20 0 0 0 20 0 19 0 443718315 15789527040 22269 33554432000 4194304 4196468 140737000763616 139706790050672 139707325583962 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1220] ppid=1207 vsize=15419460 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/1209/task/1220/stat : 1220 (java) R 1207 1207 32513 0 -1 1077944384 704 0 0 0 18 0 0 0 20 0 19 0 443718315 15789527040 22269 33554432000 4194304 4196468 140737000763616 139706788991024 139707325572821 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1221] ppid=1207 vsize=15419460 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/1209/task/1221/stat : 1221 (java) R 1207 1207 32513 0 -1 4202560 1741 0 0 0 39 0 0 0 20 0 19 0 443718315 15789527040 22269 33554432000 4194304 4196468 140737000763616 139706787944944 139707325583962 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1222] ppid=1207 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1222/stat : 1222 (java) S 1207 1207 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443718315 15789527040 22269 33554432000 4194304 4196468 140737000763616 139706786892640 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1223] ppid=1207 vsize=15419460 memory=1268 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1223/stat : 1223 (java) S 1207 1207 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 443718315 15789527040 22269 33554432000 4194304 4196468 140737000763616 139706785839664 139707325573762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 90496 KiB
[startup+1.50651 s]
/proc/loadavg: 8.58 8.60 7.06 9/238 1237
/proc/meminfo: memFree=31183252/32770624 swapFree=66997368/67108860
[pid=1207] ppid=1204 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1207/stat : 1207 (xcsp3-exec) S 1204 1207 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443718309 115843072 362 33554432000 4194304 5098028 140732679789296 140732679787400 139853871710844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37859328 140732679791482 140732679791725 140732679791725 140732679794634 0
/proc/1207/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 250992 KiB
[startup+17.6015 s]
/proc/loadavg: 8.38 8.55 7.07 9/237 1336
/proc/meminfo: memFree=31065884/32770624 swapFree=66997368/67108860
[pid=1207] ppid=1204 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1207/stat : 1207 (xcsp3-exec) S 1204 1207 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443718309 115843072 362 33554432000 4194304 5098028 140732679789296 140732679787400 139853871710844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37859328 140732679791482 140732679791725 140732679791725 140732679794634 0
/proc/1207/statm: 28282 362 304 221 0 87 0
[pid=1209] ppid=1207 vsize=15552588 memory=251108 CPUtime=68.52 cores=0,2,4,6
/proc/1209/stat : 1209 (java) S 1207 1207 32513 0 -1 1077944320 66472 0 0 0 6835 17 0 0 20 0 19 0 443718309 15925850112 62777 33554432000 4194304 4196468 140737000763616 140737000746160 139707325562615 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
/proc/1209/statm: 3888147 62777 3530 1 0 3849247 0
[pid=1209/tid=1210] ppid=1207 vsize=15552588 memory=8112282956445269571 CPUtime=0.67 cores=0,2,4,6
/proc/1209/task/1210/stat : 1210 (java) S 1207 1207 32513 0 -1 1077944384 9847 0 0 0 63 4 0 0 20 0 19 0 443718310 15925850112 62777 33554432000 4194304 4196468 140737000763616 139707329803392 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1211] ppid=1207 vsize=15552588 memory=6944656592455359580 CPUtime=0.02 cores=0,2,4,6
/proc/1209/task/1211/stat : 1211 (java) S 1207 1207 32513 0 -1 1077944384 398 0 0 0 2 0 0 0 20 0 19 0 443718310 15925850112 62777 33554432000 4194304 4196468 140737000763616 139707237219344 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1212] ppid=1207 vsize=15552588 memory=6944656592455360604 CPUtime=0.02 cores=0,2,4,6
/proc/1209/task/1212/stat : 1212 (java) S 1207 1207 32513 0 -1 1077944384 1674 0 0 0 2 0 0 0 20 0 19 0 443718310 15925850112 62777 33554432000 4194304 4196468 140737000763616 139707236166800 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1213] ppid=1207 vsize=15552588 memory=-2026666227646606628 CPUtime=0.03 cores=0,2,4,6
/proc/1209/task/1213/stat : 1213 (java) S 1207 1207 32513 0 -1 1077944384 2219 0 0 0 3 0 0 0 20 0 19 0 443718310 15925850112 62777 33554432000 4194304 4196468 140737000763616 139707235113744 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1214] ppid=1207 vsize=15552588 memory=-4866526899798303339 CPUtime=0.03 cores=0,2,4,6
/proc/1209/task/1214/stat : 1214 (java) S 1207 1207 32513 0 -1 1077944384 193 0 0 0 3 0 0 0 20 0 19 0 443718310 15925850112 62777 33554432000 4194304 4196468 140737000763616 139706914302864 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1215] ppid=1207 vsize=15552588 memory=9023629670928638048 CPUtime=0.02 cores=0,2,4,6
/proc/1209/task/1215/stat : 1215 (java) S 1207 1207 32513 0 -1 1077944384 1101 0 0 0 2 0 0 0 20 0 19 0 443718312 15925850112 62777 33554432000 4194304 4196468 140737000763616 139706794260720 139707325573762 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1216] ppid=1207 vsize=15552588 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1216/stat : 1216 (java) S 1207 1207 32513 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 443718312 15925850112 62777 33554432000 4194304 4196468 140737000763616 139706793207008 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1217] ppid=1207 vsize=15552588 memory=252032 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1217/stat : 1217 (java) S 1207 1207 32513 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 443718313 15925850112 62777 33554432000 4194304 4196468 140737000763616 139706792153856 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1218] ppid=1207 vsize=15552588 memory=932 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1218/stat : 1218 (java) S 1207 1207 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443718315 15925850112 62777 33554432000 4194304 4196468 140737000763616 139706791102416 139707325581211 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1219] ppid=1207 vsize=15552588 memory=1412 CPUtime=4.55 cores=0,2,4,6
/proc/1209/task/1219/stat : 1219 (java) S 1207 1207 32513 0 -1 1077944384 18410 0 0 0 453 2 0 0 20 0 19 0 443718315 15925850112 62777 33554432000 4194304 4196468 140737000763616 139706790050544 139707325573762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1220] ppid=1207 vsize=15552588 memory=2832 CPUtime=4.33 cores=0,2,4,6
/proc/1209/task/1220/stat : 1220 (java) S 1207 1207 32513 0 -1 1077944384 18699 0 0 0 431 2 0 0 20 0 19 0 443718315 15925850112 62777 33554432000 4194304 4196468 140737000763616 139706788998000 139707325573762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1221] ppid=1207 vsize=15552588 memory=1448 CPUtime=0.78 cores=0,2,4,6
/proc/1209/task/1221/stat : 1221 (java) S 1207 1207 32513 0 -1 1077944384 6353 0 0 0 77 1 0 0 20 0 19 0 443718315 15925850112 62777 33554432000 4194304 4196468 140737000763616 139706787944944 139707325573762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1222] ppid=1207 vsize=15552588 memory=247724 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1222/stat : 1222 (java) S 1207 1207 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443718315 15925850112 62777 33554432000 4194304 4196468 140737000763616 139706786892640 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1223] ppid=1207 vsize=15552588 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1223/stat : 1223 (java) S 1207 1207 32513 0 -1 1077944384 519 0 0 0 0 0 0 0 20 0 19 0 443718315 15925850112 62777 33554432000 4194304 4196468 140737000763616 139706785839664 139707325573762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1332] ppid=1207 vsize=15552588 memory=1412 CPUtime=7.56 cores=0,2,4,6
/proc/1209/task/1332/stat : 1332 (java) R 1207 1207 32513 0 -1 4202560 190 0 0 0 756 0 0 0 20 0 19 0 443719305 15925850112 62777 33554432000 4194304 4196468 140737000763616 139706774523352 139706921907231 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1333] ppid=1207 vsize=15552588 memory=3108 CPUtime=7.55 cores=0,2,4,6
/proc/1209/task/1333/stat : 1333 (java) R 1207 1207 32513 0 -1 4202560 542 0 0 0 755 0 0 0 20 0 19 0 443719305 15925850112 62777 33554432000 4194304 4196468 140737000763616 139706770315064 139706920965783 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1334] ppid=1207 vsize=15552588 memory=1388 CPUtime=7.56 cores=0,2,4,6
/proc/1209/task/1334/stat : 1334 (java) R 1207 1207 32513 0 -1 4202560 140 0 0 0 756 0 0 0 20 0 19 0 443719305 15925850112 62777 33554432000 4194304 4196468 140737000763616 139706766688584 139706920963976 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1335] ppid=1207 vsize=15552588 memory=1452 CPUtime=7.53 cores=0,2,4,6
/proc/1209/task/1335/stat : 1335 (java) R 1207 1207 32513 0 -1 4202560 454 0 0 0 753 0 0 0 20 0 19 0 443719305 15925850112 62777 33554432000 4194304 4196468 140737000763616 139706772421448 139706919258977 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
Current children cumulated CPU time: 68.52 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 252556 KiB
[startup+18.4015 s]
/proc/loadavg: 8.38 8.55 7.07 9/237 1336
/proc/meminfo: memFree=31066148/32770624 swapFree=66997368/67108860
[pid=1207] ppid=1204 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1207/stat : 1207 (xcsp3-exec) S 1204 1207 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443718309 115843072 362 33554432000 4194304 5098028 140732679789296 140732679787400 139853871710844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37859328 140732679791482 140732679791725 140732679791725 140732679794634 0
/proc/1207/statm: 28282 362 304 221 0 87 0
[pid=1209] ppid=1207 vsize=15552588 memory=250600 CPUtime=71.7 cores=0,2,4,6
/proc/1209/stat : 1209 (java) S 1207 1207 32513 0 -1 1077944320 67202 0 0 0 7153 17 0 0 20 0 19 0 443718309 15925850112 62650 33554432000 4194304 4196468 140737000763616 140737000746160 139707325562615 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
/proc/1209/statm: 3888147 62650 3530 1 0 3849247 0
[pid=1209/tid=1210] ppid=1207 vsize=15552588 memory=8112282956445269571 CPUtime=0.67 cores=0,2,4,6
/proc/1209/task/1210/stat : 1210 (java) S 1207 1207 32513 0 -1 1077944384 9847 0 0 0 63 4 0 0 20 0 19 0 443718310 15925850112 62650 33554432000 4194304 4196468 140737000763616 139707329803392 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1211] ppid=1207 vsize=15552588 memory=25908 CPUtime=0.02 cores=0,2,4,6
/proc/1209/task/1211/stat : 1211 (java) S 1207 1207 32513 0 -1 1077944384 403 0 0 0 2 0 0 0 20 0 19 0 443718310 15925850112 62650 33554432000 4194304 4196468 140737000763616 139707237219344 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1212] ppid=1207 vsize=15552588 memory=12024 CPUtime=0.02 cores=0,2,4,6
/proc/1209/task/1212/stat : 1212 (java) S 1207 1207 32513 0 -1 1077944384 1692 0 0 0 2 0 0 0 20 0 19 0 443718310 15925850112 62650 33554432000 4194304 4196468 140737000763616 139707236166800 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1213] ppid=1207 vsize=15552588 memory=1448 CPUtime=0.03 cores=0,2,4,6
/proc/1209/task/1213/stat : 1213 (java) S 1207 1207 32513 0 -1 1077944384 2359 0 0 0 3 0 0 0 20 0 19 0 443718310 15925850112 62650 33554432000 4194304 4196468 140737000763616 139707235113744 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1214] ppid=1207 vsize=15552588 memory=251100 CPUtime=0.03 cores=0,2,4,6
/proc/1209/task/1214/stat : 1214 (java) S 1207 1207 32513 0 -1 1077944384 222 0 0 0 3 0 0 0 20 0 19 0 443718310 15925850112 62650 33554432000 4194304 4196468 140737000763616 139706914302864 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1215] ppid=1207 vsize=15552588 memory=4100 CPUtime=0.02 cores=0,2,4,6
/proc/1209/task/1215/stat : 1215 (java) S 1207 1207 32513 0 -1 1077944384 1210 0 0 0 2 0 0 0 20 0 19 0 443718312 15925850112 62650 33554432000 4194304 4196468 140737000763616 139706794260720 139707325573762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1216] ppid=1207 vsize=15552588 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1216/stat : 1216 (java) S 1207 1207 32513 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 443718312 15925850112 62650 33554432000 4194304 4196468 140737000763616 139706793207008 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1217] ppid=1207 vsize=15552588 memory=249544 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1217/stat : 1217 (java) S 1207 1207 32513 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 443718313 15925850112 62650 33554432000 4194304 4196468 140737000763616 139706792153856 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1218] ppid=1207 vsize=15552588 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1218/stat : 1218 (java) S 1207 1207 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443718315 15925850112 62650 33554432000 4194304 4196468 140737000763616 139706791102416 139707325581211 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1219] ppid=1207 vsize=15552588 memory=2708 CPUtime=4.55 cores=0,2,4,6
/proc/1209/task/1219/stat : 1219 (java) S 1207 1207 32513 0 -1 1077944384 18410 0 0 0 453 2 0 0 20 0 19 0 443718315 15925850112 62650 33554432000 4194304 4196468 140737000763616 139706790050544 139707325573762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1220] ppid=1207 vsize=15552588 memory=2592 CPUtime=4.33 cores=0,2,4,6
/proc/1209/task/1220/stat : 1220 (java) S 1207 1207 32513 0 -1 1077944384 18699 0 0 0 431 2 0 0 20 0 19 0 443718315 15925850112 62650 33554432000 4194304 4196468 140737000763616 139706788998000 139707325573762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1221] ppid=1207 vsize=15552588 memory=6935054825532540783 CPUtime=0.78 cores=0,2,4,6
/proc/1209/task/1221/stat : 1221 (java) S 1207 1207 32513 0 -1 1077944384 6354 0 0 0 77 1 0 0 20 0 19 0 443718315 15925850112 62650 33554432000 4194304 4196468 140737000763616 139706787944944 139707325573762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1222] ppid=1207 vsize=15552588 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1222/stat : 1222 (java) S 1207 1207 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443718315 15925850112 62650 33554432000 4194304 4196468 140737000763616 139706786892640 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1223] ppid=1207 vsize=15552588 memory=47756 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1223/stat : 1223 (java) S 1207 1207 32513 0 -1 1077944384 534 0 0 0 0 0 0 0 20 0 19 0 443718315 15925850112 62650 33554432000 4194304 4196468 140737000763616 139706785839664 139707325573762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1332] ppid=1207 vsize=15552588 memory=3028 CPUtime=8.36 cores=0,2,4,6
/proc/1209/task/1332/stat : 1332 (java) R 1207 1207 32513 0 -1 4202560 296 0 0 0 836 0 0 0 20 0 19 0 443719305 15925850112 62650 33554432000 4194304 4196468 140737000763616 139706774523352 139706919259519 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1333] ppid=1207 vsize=15552588 memory=2012 CPUtime=8.33 cores=0,2,4,6
/proc/1209/task/1333/stat : 1333 (java) R 1207 1207 32513 0 -1 4202560 645 0 0 0 833 0 0 0 20 0 19 0 443719305 15925850112 62650 33554432000 4194304 4196468 140737000763616 139706770315584 139706918862237 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1334] ppid=1207 vsize=15552588 memory=1412 CPUtime=8.36 cores=0,2,4,6
/proc/1209/task/1334/stat : 1334 (java) R 1207 1207 32513 0 -1 4202560 224 0 0 0 836 0 0 0 20 0 19 0 443719305 15925850112 62650 33554432000 4194304 4196468 140737000763616 139706766687728 139706919443548 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1335] ppid=1207 vsize=15552588 memory=3108 CPUtime=8.32 cores=0,2,4,6
/proc/1209/task/1335/stat : 1335 (java) R 1207 1207 32513 0 -1 4202560 574 0 0 0 832 0 0 0 20 0 19 0 443719305 15925850112 62650 33554432000 4194304 4196468 140737000763616 139706772417920 139706921210232 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
Current children cumulated CPU time: 71.7 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 252048 KiB
[startup+19.2015 s]
/proc/loadavg: 8.38 8.55 7.07 9/237 1336
/proc/meminfo: memFree=31068256/32770624 swapFree=66997368/67108860
[pid=1207] ppid=1204 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1207/stat : 1207 (xcsp3-exec) S 1204 1207 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443718309 115843072 362 33554432000 4194304 5098028 140732679789296 140732679787400 139853871710844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37859328 140732679791482 140732679791725 140732679791725 140732679794634 0
/proc/1207/statm: 28282 362 304 221 0 87 0
[pid=1209] ppid=1207 vsize=15552588 memory=250604 CPUtime=74.89 cores=0,2,4,6
/proc/1209/stat : 1209 (java) S 1207 1207 32513 0 -1 1077944320 68008 0 0 0 7472 17 0 0 20 0 19 0 443718309 15925850112 62651 33554432000 4194304 4196468 140737000763616 140737000746160 139707325562615 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
/proc/1209/statm: 3888147 62651 3530 1 0 3849247 0
[pid=1209/tid=1210] ppid=1207 vsize=15552588 memory=4486604260213485459 CPUtime=0.67 cores=0,2,4,6
/proc/1209/task/1210/stat : 1210 (java) S 1207 1207 32513 0 -1 1077944384 9847 0 0 0 63 4 0 0 20 0 19 0 443718310 15925850112 62651 33554432000 4194304 4196468 140737000763616 139707329803392 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1211] ppid=1207 vsize=15552588 memory=1448 CPUtime=0.02 cores=0,2,4,6
/proc/1209/task/1211/stat : 1211 (java) S 1207 1207 32513 0 -1 1077944384 403 0 0 0 2 0 0 0 20 0 19 0 443718310 15925850112 62651 33554432000 4194304 4196468 140737000763616 139707237219344 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1212] ppid=1207 vsize=15552588 memory=2500 CPUtime=0.02 cores=0,2,4,6
/proc/1209/task/1212/stat : 1212 (java) S 1207 1207 32513 0 -1 1077944384 1692 0 0 0 2 0 0 0 20 0 19 0 443718310 15925850112 62651 33554432000 4194304 4196468 140737000763616 139707236166800 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1213] ppid=1207 vsize=15552588 memory=37700 CPUtime=0.03 cores=0,2,4,6
/proc/1209/task/1213/stat : 1213 (java) S 1207 1207 32513 0 -1 1077944384 2359 0 0 0 3 0 0 0 20 0 19 0 443718310 15925850112 62651 33554432000 4194304 4196468 140737000763616 139707235113744 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1214] ppid=1207 vsize=15552588 memory=812 CPUtime=0.03 cores=0,2,4,6
/proc/1209/task/1214/stat : 1214 (java) S 1207 1207 32513 0 -1 1077944384 222 0 0 0 3 0 0 0 20 0 19 0 443718310 15925850112 62651 33554432000 4194304 4196468 140737000763616 139706914302864 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1215] ppid=1207 vsize=15552588 memory=1764 CPUtime=0.02 cores=0,2,4,6
/proc/1209/task/1215/stat : 1215 (java) S 1207 1207 32513 0 -1 1077944384 1210 0 0 0 2 0 0 0 20 0 19 0 443718312 15925850112 62651 33554432000 4194304 4196468 140737000763616 139706794260720 139707325573762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1216] ppid=1207 vsize=15552588 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1216/stat : 1216 (java) S 1207 1207 32513 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 443718312 15925850112 62651 33554432000 4194304 4196468 140737000763616 139706793207008 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1217] ppid=1207 vsize=15552588 memory=9303 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1217/stat : 1217 (java) S 1207 1207 32513 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 443718313 15925850112 62651 33554432000 4194304 4196468 140737000763616 139706792153856 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1218] ppid=1207 vsize=15552588 memory=3519315 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1218/stat : 1218 (java) S 1207 1207 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443718315 15925850112 62651 33554432000 4194304 4196468 140737000763616 139706791102416 139707325581211 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1219] ppid=1207 vsize=15552588 memory=0 CPUtime=4.58 cores=0,2,4,6
/proc/1209/task/1219/stat : 1219 (java) S 1207 1207 32513 0 -1 1077944384 19179 0 0 0 456 2 0 0 20 0 19 0 443718315 15925850112 62651 33554432000 4194304 4196468 140737000763616 139706790050544 139707325573762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1220] ppid=1207 vsize=15552588 memory=0 CPUtime=4.33 cores=0,2,4,6
/proc/1209/task/1220/stat : 1220 (java) S 1207 1207 32513 0 -1 1077944384 18699 0 0 0 431 2 0 0 20 0 19 0 443718315 15925850112 62651 33554432000 4194304 4196468 140737000763616 139706788998000 139707325573762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1221] ppid=1207 vsize=15552588 memory=0 CPUtime=0.78 cores=0,2,4,6
/proc/1209/task/1221/stat : 1221 (java) S 1207 1207 32513 0 -1 1077944384 6354 0 0 0 77 1 0 0 20 0 19 0 443718315 15925850112 62651 33554432000 4194304 4196468 140737000763616 139706787944944 139707325573762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1222] ppid=1207 vsize=15552588 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1222/stat : 1222 (java) S 1207 1207 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443718315 15925850112 62651 33554432000 4194304 4196468 140737000763616 139706786892640 139707325572821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1223] ppid=1207 vsize=15552588 memory=250600 CPUtime=0 cores=0,2,4,6
/proc/1209/task/1223/stat : 1223 (java) S 1207 1207 32513 0 -1 1077944384 534 0 0 0 0 0 0 0 20 0 19 0 443718315 15925850112 62651 33554432000 4194304 4196468 140737000763616 139706785839664 139707325573762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1332] ppid=1207 vsize=15552588 memory=238252 CPUtime=9.15 cores=0,2,4,6
/proc/1209/task/1332/stat : 1332 (java) R 1207 1207 32513 0 -1 4202560 296 0 0 0 915 0 0 0 20 0 19 0 443719305 15925850112 62651 33554432000 4194304 4196468 140737000763616 139706774523352 139706921210264 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1333] ppid=1207 vsize=15552588 memory=776 CPUtime=9.1 cores=0,2,4,6
/proc/1209/task/1333/stat : 1333 (java) R 1207 1207 32513 0 -1 4202560 664 0 0 0 910 0 0 0 20 0 19 0 443719305 15925850112 62651 33554432000 4194304 4196468 140737000763616 139706770315584 139706919258865 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1334] ppid=1207 vsize=15552588 memory=3992 CPUtime=9.16 cores=0,2,4,6
/proc/1209/task/1334/stat : 1334 (java) R 1207 1207 32513 0 -1 4202560 224 0 0 0 916 0 0 0 20 0 19 0 443719305 15925850112 62651 33554432000 4194304 4196468 140737000763616 139706766687864 139706921162363 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
[pid=1209/tid=1335] ppid=1207 vsize=15552588 memory=2828 CPUtime=9.12 cores=0,2,4,6
/proc/1209/task/1335/stat : 1335 (java) R 1207 1207 32513 0 -1 4202560 592 0 0 0 912 0 0 0 20 0 19 0 443719305 15925850112 62651 33554432000 4194304 4196468 140737000763616 139706772418536 139706918451911 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20140032 140737000772591 140737000772762 140737000772762 140737000775631 0
Current children cumulated CPU time: 74.89 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 252052 KiB
[startup+19.6008 s]
/proc/loadavg: 8.38 8.55 7.07 9/237 1336
/proc/meminfo: memFree=31068256/32770624 swapFree=66997368/67108860
[pid=1207] ppid=1204 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1207/stat : 1207 (xcsp3-exec) S 1204 1207 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443718309 115843072 362 33554432000 4194304 5098028 140732679789296 140732679787400 139853871710844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37859328 140732679791482 140732679791725 140732679791725 140732679794634 0
/proc/1207/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 0
Real time (s): 19.6089
CPU time (s): 76.4923
CPU user time (s): 76.3019
CPU system time (s): 0.190412
CPU usage (%): 390.091
Max. virtual memory (cumulated for all children) (KiB): 15665716
Max. memory (cumulated for all children) (KiB): 258432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 76.3019
system time used= 0.190412
maximum resident set size= 257192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70202
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= 4224
involuntary context switches= 2486
# summary of solver processes directly reported to runsolver:
# pid: 1207
# total CPU time (s): 76.4923
# total CPU user time (s): 76.3019
# total CPU system time (s): 0.190412
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.146785 second user time and 0.25433 second system time
The end