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 (12448 MiB free)
memory of node 1: 16384 MiB (14132 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399141-1568695144/watcher-4399141-1568695144 -o /tmp/evaluation-result-4399141-1568695144/solver-4399141-1568695144 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568694401-32469 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 904201741 HOME/instance-4399141-1568695144.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3349, runsolver pid=3346
[startup+0.100059 s]*
/proc/loadavg: 7.95 7.52 4.84 8/233 3365
/proc/meminfo: memFree=27201236/32770624 swapFree=66939908/67108860
[pid=3349] ppid=3346 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3349/stat : 3349 (xcsp3-exec) S 3346 3349 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445429286 115843072 362 33554432000 4194304 5098028 140725877042768 140725877040872 139731047281276 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26497024 140725877048187 140725877048429 140725877048429 140725877051338 0
/proc/3349/statm: 28282 362 304 221 0 87 0
[pid=3351] ppid=3349 vsize=15144776 memory=29844 CPUtime=0.12 cores=1,3,5,7
/proc/3351/stat : 3351 (java) S 3349 3349 32437 0 -1 1077944320 5935 0 0 0 11 1 0 0 20 0 15 0 445429287 15508250624 7461 33554432000 4194304 4196468 140728693090176 140728693072720 140484311785207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
/proc/3351/statm: 3786194 7461 3122 1 0 3748377 0
[pid=3351/tid=3352] ppid=3349 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/3351/task/3352/stat : 3352 (java) S 3349 3349 32437 0 -1 1077944384 3852 0 0 0 8 1 0 0 20 0 15 0 445429287 15508250624 7527 33554432000 4194304 4196468 140728693090176 140484316018336 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3353] ppid=3349 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3353/stat : 3353 (java) S 3349 3349 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445429288 15508250624 7527 33554432000 4194304 4196468 140728693090176 140484223441168 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3354] ppid=3349 vsize=15144776 memory=139872266114688 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3354/stat : 3354 (java) S 3349 3349 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445429288 15508250624 7527 33554432000 4194304 4196468 140728693090176 140484222388624 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3355] ppid=3349 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3355/stat : 3355 (java) S 3349 3349 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445429288 15508250624 7527 33554432000 4194304 4196468 140728693090176 140484221336080 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3356] ppid=3349 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3356/stat : 3356 (java) S 3349 3349 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445429288 15508250624 7527 33554432000 4194304 4196468 140728693090176 140483900730000 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3357] ppid=3349 vsize=15144776 memory=139872266114688 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3357/stat : 3357 (java) S 3349 3349 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445429289 15508250624 7527 33554432000 4194304 4196468 140728693090176 140483185129968 140484311796354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3358] ppid=3349 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3358/stat : 3358 (java) S 3349 3349 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445429290 15508250624 7527 33554432000 4194304 4196468 140728693090176 140483184076192 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3359] ppid=3349 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3359/stat : 3359 (java) S 3349 3349 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445429290 15508250624 7527 33554432000 4194304 4196468 140728693090176 140483183023600 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3360] ppid=3349 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3360/stat : 3360 (java) S 3349 3349 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445429292 15508250624 7527 33554432000 4194304 4196468 140728693090176 140483181972176 140484311803803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3361] ppid=3349 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3361/stat : 3361 (java) R 3349 3349 32437 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 445429292 15508250624 7527 33554432000 4194304 4196468 140728693090176 140483180918768 140484311796354 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3362] ppid=3349 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3362/stat : 3362 (java) R 3349 3349 32437 0 -1 4202560 150 0 0 0 0 0 0 0 20 0 15 0 445429292 15508250624 7527 33554432000 4194304 4196468 140728693090176 140483179866320 140484292230496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3363] ppid=3349 vsize=15144776 memory=139872266114688 CPUtime=0.02 cores=1,3,5,7
/proc/3351/task/3363/stat : 3363 (java) S 3349 3349 32437 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 15 0 445429292 15508250624 7527 33554432000 4194304 4196468 140728693090176 140483178813680 140484311796354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3364] ppid=3349 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3364/stat : 3364 (java) S 3349 3349 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445429292 15508250624 7527 33554432000 4194304 4196468 140728693090176 140483177761376 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3365] ppid=3349 vsize=15144776 memory=139872266114688 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3365/stat : 3365 (java) S 3349 3349 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445429293 15508250624 7527 33554432000 4194304 4196468 140728693090176 140483176708912 140484311796354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31292 KiB
[startup+0.210803 s]*
/proc/loadavg: 7.95 7.52 4.84 8/233 3365
/proc/meminfo: memFree=27188348/32770624 swapFree=66939908/67108860
[pid=3349] ppid=3346 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3349/stat : 3349 (xcsp3-exec) S 3346 3349 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445429286 115843072 362 33554432000 4194304 5098028 140725877042768 140725877040872 139731047281276 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26497024 140725877048187 140725877048429 140725877048429 140725877051338 0
/proc/3349/statm: 28282 362 304 221 0 87 0
[pid=3351] ppid=3349 vsize=15144776 memory=41268 CPUtime=0.34 cores=1,3,5,7
/proc/3351/stat : 3351 (java) S 3349 3349 32437 0 -1 1077944320 9487 0 0 0 31 3 0 0 20 0 15 0 445429287 15508250624 10317 33554432000 4194304 4196468 140728693090176 140728693072720 140484311785207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
/proc/3351/statm: 3786194 10317 3304 1 0 3748377 0
[pid=3351/tid=3352] ppid=3349 vsize=15144776 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/3351/task/3352/stat : 3352 (java) R 3349 3349 32437 0 -1 4202560 6677 0 0 0 17 2 0 0 20 0 15 0 445429287 15508250624 10317 33554432000 4194304 4196468 140728693090176 140484316019904 140484311797142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3353] ppid=3349 vsize=15144776 memory=4294977831 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3353/stat : 3353 (java) S 3349 3349 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445429288 15508250624 10317 33554432000 4194304 4196468 140728693090176 140484223441168 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3354] ppid=3349 vsize=15144776 memory=3546498325077317280 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3354/stat : 3354 (java) S 3349 3349 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445429288 15508250624 10317 33554432000 4194304 4196468 140728693090176 140484222388624 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3355] ppid=3349 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3355/stat : 3355 (java) S 3349 3349 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445429288 15508250624 10317 33554432000 4194304 4196468 140728693090176 140484221336080 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3356] ppid=3349 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3356/stat : 3356 (java) S 3349 3349 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445429288 15508250624 10317 33554432000 4194304 4196468 140728693090176 140483900730000 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3357] ppid=3349 vsize=15144776 memory=139872266114688 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3357/stat : 3357 (java) S 3349 3349 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445429289 15508250624 10317 33554432000 4194304 4196468 140728693090176 140483185129968 140484311796354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3358] ppid=3349 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3358/stat : 3358 (java) S 3349 3349 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445429290 15508250624 10317 33554432000 4194304 4196468 140728693090176 140483184076192 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3359] ppid=3349 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3359/stat : 3359 (java) S 3349 3349 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445429290 15508250624 10317 33554432000 4194304 4196468 140728693090176 140483183023600 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3360] ppid=3349 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3360/stat : 3360 (java) S 3349 3349 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445429292 15508250624 10317 33554432000 4194304 4196468 140728693090176 140483181972176 140484311803803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3361] ppid=3349 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3351/task/3361/stat : 3361 (java) S 3349 3349 32437 0 -1 1077944384 401 0 0 0 3 0 0 0 20 0 15 0 445429292 15508250624 10317 33554432000 4194304 4196468 140728693090176 140483180918768 140484311796354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3362] ppid=3349 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/3351/task/3362/stat : 3362 (java) S 3349 3349 32437 0 -1 1077944384 353 0 0 0 1 0 0 0 20 0 15 0 445429292 15508250624 10317 33554432000 4194304 4196468 140728693090176 140483179866224 140484311796354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3363] ppid=3349 vsize=15144776 memory=139872266114688 CPUtime=0.08 cores=1,3,5,7
/proc/3351/task/3363/stat : 3363 (java) S 3349 3349 32437 0 -1 1077944384 752 0 0 0 8 0 0 0 20 0 15 0 445429292 15508250624 10317 33554432000 4194304 4196468 140728693090176 140483178813680 140484311796354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3364] ppid=3349 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3364/stat : 3364 (java) S 3349 3349 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445429292 15508250624 10317 33554432000 4194304 4196468 140728693090176 140483177761376 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3365] ppid=3349 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3365/stat : 3365 (java) S 3349 3349 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445429293 15508250624 10317 33554432000 4194304 4196468 140728693090176 140483176708912 140484311796354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42716 KiB
[startup+0.310692 s]*
/proc/loadavg: 7.95 7.52 4.84 8/233 3365
/proc/meminfo: memFree=27181224/32770624 swapFree=66939908/67108860
[pid=3349] ppid=3346 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3349/stat : 3349 (xcsp3-exec) S 3346 3349 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445429286 115843072 362 33554432000 4194304 5098028 140725877042768 140725877040872 139731047281276 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26497024 140725877048187 140725877048429 140725877048429 140725877051338 0
/proc/3349/statm: 28282 362 304 221 0 87 0
[pid=3351] ppid=3349 vsize=15149032 memory=49904 CPUtime=0.53 cores=1,3,5,7
/proc/3351/stat : 3351 (java) S 3349 3349 32437 0 -1 1077944320 10831 0 0 0 49 4 0 0 20 0 15 0 445429287 15512608768 12476 33554432000 4194304 4196468 140728693090176 140728693072720 140484311785207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
/proc/3351/statm: 3787258 12476 3362 1 0 3748377 0
[pid=3351/tid=3352] ppid=3349 vsize=15149032 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/3351/task/3352/stat : 3352 (java) R 3349 3349 32437 0 -1 4202560 7824 0 0 0 27 3 0 0 20 0 15 0 445429287 15512608768 12476 33554432000 4194304 4196468 140728693090176 140484316018880 140484295865694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3353] ppid=3349 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3353/stat : 3353 (java) S 3349 3349 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445429288 15512608768 12476 33554432000 4194304 4196468 140728693090176 140484223441168 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3354] ppid=3349 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3354/stat : 3354 (java) S 3349 3349 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445429288 15512608768 12476 33554432000 4194304 4196468 140728693090176 140484222388624 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3355] ppid=3349 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3355/stat : 3355 (java) S 3349 3349 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445429288 15512608768 12476 33554432000 4194304 4196468 140728693090176 140484221336080 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3356] ppid=3349 vsize=15149032 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3356/stat : 3356 (java) S 3349 3349 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445429288 15512608768 12476 33554432000 4194304 4196468 140728693090176 140483900730000 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3357] ppid=3349 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3357/stat : 3357 (java) S 3349 3349 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445429289 15512608768 12476 33554432000 4194304 4196468 140728693090176 140483185129968 140484311796354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3358] ppid=3349 vsize=15149032 memory=9122745479247552727 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3358/stat : 3358 (java) S 3349 3349 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445429290 15512608768 12476 33554432000 4194304 4196468 140728693090176 140483184076192 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3359] ppid=3349 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3359/stat : 3359 (java) S 3349 3349 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445429290 15512608768 12476 33554432000 4194304 4196468 140728693090176 140483183023600 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3360] ppid=3349 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3360/stat : 3360 (java) S 3349 3349 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445429292 15512608768 12476 33554432000 4194304 4196468 140728693090176 140483181972176 140484311803803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3361] ppid=3349 vsize=15149032 memory=6944652177228980320 CPUtime=0.04 cores=1,3,5,7
/proc/3351/task/3361/stat : 3361 (java) S 3349 3349 32437 0 -1 1077944384 431 0 0 0 4 0 0 0 20 0 15 0 445429292 15512608768 12476 33554432000 4194304 4196468 140728693090176 140483180918768 140484311796354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3362] ppid=3349 vsize=15149032 memory=-6654736624941491801 CPUtime=0.04 cores=1,3,5,7
/proc/3351/task/3362/stat : 3362 (java) R 3349 3349 32437 0 -1 4202560 461 0 0 0 4 0 0 0 20 0 15 0 445429292 15512608768 12476 33554432000 4194304 4196468 140728693090176 140483179847240 140484293328980 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3363] ppid=3349 vsize=15149032 memory=5792585022635482273 CPUtime=0.13 cores=1,3,5,7
/proc/3351/task/3363/stat : 3363 (java) S 3349 3349 32437 0 -1 1077944384 851 0 0 0 13 0 0 0 20 0 15 0 445429292 15512608768 12476 33554432000 4194304 4196468 140728693090176 140483178813680 140484311796354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3364] ppid=3349 vsize=15149032 memory=6944656592455350634 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3364/stat : 3364 (java) S 3349 3349 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445429292 15512608768 12476 33554432000 4194304 4196468 140728693090176 140483177761376 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3365] ppid=3349 vsize=15149032 memory=-8675733323038954102 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3365/stat : 3365 (java) S 3349 3349 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445429293 15512608768 12476 33554432000 4194304 4196468 140728693090176 140483176708912 140484311796354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51352 KiB
[startup+0.702251 s]
/proc/loadavg: 7.95 7.52 4.84 9/233 3365
/proc/meminfo: memFree=27171088/32770624 swapFree=66939908/67108860
[pid=3349] ppid=3346 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3349/stat : 3349 (xcsp3-exec) S 3346 3349 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445429286 115843072 362 33554432000 4194304 5098028 140725877042768 140725877040872 139731047281276 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26497024 140725877048187 140725877048429 140725877048429 140725877051338 0
/proc/3349/statm: 28282 362 304 221 0 87 0
[pid=3351] ppid=3349 vsize=15417412 memory=88968 CPUtime=1.64 cores=1,3,5,7
/proc/3351/stat : 3351 (java) S 3349 3349 32437 0 -1 1077944320 13993 0 0 0 158 6 0 0 20 0 19 0 445429287 15787429888 22242 33554432000 4194304 4196468 140728693090176 140728693072720 140484311785207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
/proc/3351/statm: 3854353 22242 3459 1 0 3815453 0
[pid=3351/tid=3352] ppid=3349 vsize=15417412 memory=56 CPUtime=0.63 cores=1,3,5,7
/proc/3351/task/3352/stat : 3352 (java) S 3349 3349 32437 0 -1 1077944384 9214 0 0 0 60 3 0 0 20 0 19 0 445429287 15787429888 22242 33554432000 4194304 4196468 140728693090176 140484316025984 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3353] ppid=3349 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3353/stat : 3353 (java) S 3349 3349 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445429288 15787429888 22242 33554432000 4194304 4196468 140728693090176 140484223441168 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3354] ppid=3349 vsize=15417412 memory=148 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3354/stat : 3354 (java) S 3349 3349 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445429288 15787429888 22242 33554432000 4194304 4196468 140728693090176 140484222388624 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3355] ppid=3349 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3355/stat : 3355 (java) S 3349 3349 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445429288 15787429888 22242 33554432000 4194304 4196468 140728693090176 140484221336080 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3356] ppid=3349 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3356/stat : 3356 (java) S 3349 3349 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445429288 15787429888 22242 33554432000 4194304 4196468 140728693090176 140483900730000 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3357] ppid=3349 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3357/stat : 3357 (java) S 3349 3349 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 445429289 15787429888 22242 33554432000 4194304 4196468 140728693090176 140483185129968 140484311796354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3358] ppid=3349 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3358/stat : 3358 (java) S 3349 3349 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445429290 15787429888 22242 33554432000 4194304 4196468 140728693090176 140483184076192 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3359] ppid=3349 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3359/stat : 3359 (java) S 3349 3349 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445429290 15787429888 22242 33554432000 4194304 4196468 140728693090176 140483183023600 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3360] ppid=3349 vsize=15417412 memory=776 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3360/stat : 3360 (java) S 3349 3349 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445429292 15787429888 22242 33554432000 4194304 4196468 140728693090176 140483181972176 140484311803803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3361] ppid=3349 vsize=15417412 memory=2832 CPUtime=0.24 cores=1,3,5,7
/proc/3351/task/3361/stat : 3361 (java) R 3349 3349 32437 0 -1 4202560 868 0 0 0 24 0 0 0 20 0 19 0 445429292 15787429888 22242 33554432000 4194304 4196468 140728693090176 140483180910720 140484293329383 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3362] ppid=3349 vsize=15417412 memory=668 CPUtime=0.24 cores=1,3,5,7
/proc/3351/task/3362/stat : 3362 (java) R 3349 3349 32437 0 -1 4202560 705 0 0 0 24 0 0 0 20 0 19 0 445429292 15787429888 22242 33554432000 4194304 4196468 140728693090176 140483179866224 140484304882043 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3363] ppid=3349 vsize=15417412 memory=1256 CPUtime=0.4 cores=1,3,5,7
/proc/3351/task/3363/stat : 3363 (java) R 3349 3349 32437 0 -1 1077944384 1691 0 0 0 40 0 0 0 20 0 19 0 445429292 15787429888 22242 33554432000 4194304 4196468 140728693090176 140483178809408 140484311795413 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3364] ppid=3349 vsize=15417412 memory=1076 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3364/stat : 3364 (java) S 3349 3349 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445429292 15787429888 22242 33554432000 4194304 4196468 140728693090176 140483177761376 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3365] ppid=3349 vsize=15417412 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3365/stat : 3365 (java) S 3349 3349 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445429293 15787429888 22242 33554432000 4194304 4196468 140728693090176 140483176708912 140484311796354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 90416 KiB
[startup+1.50091 s]
/proc/loadavg: 7.95 7.52 4.84 13/237 3369
/proc/meminfo: memFree=27133364/32770624 swapFree=66939908/67108860
[pid=3349] ppid=3346 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3349/stat : 3349 (xcsp3-exec) S 3346 3349 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445429286 115843072 362 33554432000 4194304 5098028 140725877042768 140725877040872 139731047281276 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26497024 140725877048187 140725877048429 140725877048429 140725877051338 0
/proc/3349/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/3351/task/3369/stat : 3369 (java) R 3349 3349 32437 0 -1 4202560 45 0 0 0 51 0 0 0 20 0 19 0 445429353 15787429888 31477 33554432000 4194304 4196468 140728693090176 140483164569384 140483906657328 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
Current children cumulated CPU time: 4.79 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 127356 KiB
[startup+2.19771 s]
# the end of solver process 3349 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.39564 s, system=0.091763 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60725 s]
/proc/loadavg: 7.95 7.52 4.84 13/237 3369
/proc/meminfo: memFree=27133364/32770624 swapFree=66939908/67108860
[pid=3349] ppid=3346 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3349/stat : 3349 (xcsp3-exec) S 3346 3349 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445429286 115843072 362 33554432000 4194304 5098028 140725877042768 140725877040872 139731047281276 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26497024 140725877048187 140725877048429 140725877048429 140725877051338 0
/proc/3349/statm: 28282 362 304 221 0 87 0
[pid=3351] ppid=3349 vsize=15417412 memory=132352 CPUtime=5.21 cores=1,3,5,7
/proc/3351/stat : 3351 (java) S 3349 3349 32437 0 -1 1077944320 16145 0 0 0 514 7 0 0 20 0 19 0 445429287 15787429888 33088 33554432000 4194304 4196468 140728693090176 140728693072720 140484311785207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
/proc/3351/statm: 3854353 33088 3483 1 0 3815453 0
[pid=3351/tid=3352] ppid=3349 vsize=15417412 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/3351/task/3352/stat : 3352 (java) S 3349 3349 32437 0 -1 1077944384 9214 0 0 0 60 3 0 0 20 0 19 0 445429287 15787429888 33088 33554432000 4194304 4196468 140728693090176 140484316025984 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3353] ppid=3349 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3353/stat : 3353 (java) S 3349 3349 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445429288 15787429888 33088 33554432000 4194304 4196468 140728693090176 140484223441168 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3354] ppid=3349 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3354/stat : 3354 (java) S 3349 3349 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445429288 15787429888 33088 33554432000 4194304 4196468 140728693090176 140484222388624 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3355] ppid=3349 vsize=15417412 memory=10754 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3355/stat : 3355 (java) S 3349 3349 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445429288 15787429888 33088 33554432000 4194304 4196468 140728693090176 140484221336080 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3356] ppid=3349 vsize=15417412 memory=19455 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3356/stat : 3356 (java) S 3349 3349 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445429288 15787429888 33088 33554432000 4194304 4196468 140728693090176 140483900730000 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3357] ppid=3349 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3357/stat : 3357 (java) S 3349 3349 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 445429289 15787429888 33088 33554432000 4194304 4196468 140728693090176 140483185129968 140484311796354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3358] ppid=3349 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3358/stat : 3358 (java) S 3349 3349 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445429290 15787429888 33088 33554432000 4194304 4196468 140728693090176 140483184076192 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3359] ppid=3349 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3359/stat : 3359 (java) S 3349 3349 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445429290 15787429888 33088 33554432000 4194304 4196468 140728693090176 140483183023600 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3360] ppid=3349 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3360/stat : 3360 (java) S 3349 3349 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445429292 15787429888 33088 33554432000 4194304 4196468 140728693090176 140483181972176 140484311803803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3361] ppid=3349 vsize=15417412 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/3351/task/3361/stat : 3361 (java) R 3349 3349 32437 0 -1 4202560 1478 0 0 0 62 0 0 0 20 0 19 0 445429292 15787429888 33088 33554432000 4194304 4196468 140728693090176 140483180918768 140484294998568 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3362] ppid=3349 vsize=15417412 memory=0 CPUtime=0.9 cores=1,3,5,7
/proc/3351/task/3362/stat : 3362 (java) R 3349 3349 32437 0 -1 1077944384 1813 0 0 0 90 0 0 0 20 0 19 0 445429292 15787429888 33088 33554432000 4194304 4196468 140728693090176 140483179866224 140484311796354 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3363] ppid=3349 vsize=15417412 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/3351/task/3363/stat : 3363 (java) R 3349 3349 32437 0 -1 1077944384 2099 0 0 0 54 1 0 0 20 0 19 0 445429292 15787429888 33088 33554432000 4194304 4196468 140728693090176 140483178808752 140484311795413 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3364] ppid=3349 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3364/stat : 3364 (java) S 3349 3349 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445429292 15787429888 33088 33554432000 4194304 4196468 140728693090176 140483177761376 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3365] ppid=3349 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3365/stat : 3365 (java) S 3349 3349 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445429293 15787429888 33088 33554432000 4194304 4196468 140728693090176 140483176708912 140484311796354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3366] ppid=3349 vsize=15417412 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/3351/task/3366/stat : 3366 (java) R 3349 3349 32437 0 -1 4202560 61 0 0 0 62 0 0 0 20 0 19 0 445429352 15787429888 33088 33554432000 4194304 4196468 140728693090176 140483167730688 140483906679392 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3367] ppid=3349 vsize=15417412 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/3351/task/3367/stat : 3367 (java) R 3349 3349 32437 0 -1 4202560 92 0 0 0 59 0 0 0 20 0 19 0 445429353 15787429888 33088 33554432000 4194304 4196468 140728693090176 140483166679736 140483906207650 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3368] ppid=3349 vsize=15417412 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/3351/task/3368/stat : 3368 (java) R 3349 3349 32437 0 -1 4202560 37 0 0 0 66 0 0 0 20 0 19 0 445429353 15787429888 33088 33554432000 4194304 4196468 140728693090176 140483165626624 140483906414395 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3369] ppid=3349 vsize=15417412 memory=7012760381536167531 CPUtime=0.57 cores=1,3,5,7
/proc/3351/task/3369/stat : 3369 (java) R 3349 3349 32437 0 -1 4202560 45 0 0 0 57 0 0 0 20 0 19 0 445429353 15787429888 33088 33554432000 4194304 4196468 140728693090176 140483164573624 140483905528658 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
Current children cumulated CPU time: 5.21 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 133800 KiB
[startup+2.00625 s]*
/proc/loadavg: 7.95 7.52 4.84 11/237 3369
/proc/meminfo: memFree=27069756/32770624 swapFree=66939908/67108860
[pid=3349] ppid=3346 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3349/stat : 3349 (xcsp3-exec) S 3346 3349 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445429286 115843072 362 33554432000 4194304 5098028 140725877042768 140725877040872 139731047281276 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26497024 140725877048187 140725877048429 140725877048429 140725877051338 0
/proc/3349/statm: 28282 362 304 221 0 87 0
[pid=3351] ppid=3349 vsize=15417412 memory=164088 CPUtime=6.81 cores=1,3,5,7
/proc/3351/stat : 3351 (java) S 3349 3349 32437 0 -1 1077944320 20155 0 0 0 673 8 0 0 20 0 19 0 445429287 15787429888 41022 33554432000 4194304 4196468 140728693090176 140728693072720 140484311785207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
/proc/3351/statm: 3854353 41022 3486 1 0 3815453 0
[pid=3351/tid=3352] ppid=3349 vsize=15417412 memory=7031125463459224206 CPUtime=0.63 cores=1,3,5,7
/proc/3351/task/3352/stat : 3352 (java) S 3349 3349 32437 0 -1 1077944384 9214 0 0 0 60 3 0 0 20 0 19 0 445429287 15787429888 41022 33554432000 4194304 4196468 140728693090176 140484316025984 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3353] ppid=3349 vsize=15417412 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3353/stat : 3353 (java) S 3349 3349 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445429288 15787429888 41022 33554432000 4194304 4196468 140728693090176 140484223441168 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3354] ppid=3349 vsize=15417412 memory=279744386119632 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3354/stat : 3354 (java) S 3349 3349 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445429288 15787429888 41022 33554432000 4194304 4196468 140728693090176 140484222388624 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3355] ppid=3349 vsize=15417412 memory=333507736 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3355/stat : 3355 (java) S 3349 3349 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445429288 15787429888 41022 33554432000 4194304 4196468 140728693090176 140484221336080 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3356] ppid=3349 vsize=15417412 memory=2320251254937432120 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3356/stat : 3356 (java) S 3349 3349 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445429288 15787429888 41022 33554432000 4194304 4196468 140728693090176 140483900730000 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3357] ppid=3349 vsize=15417412 memory=3905944065050184626 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3357/stat : 3357 (java) S 3349 3349 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 445429289 15787429888 41022 33554432000 4194304 4196468 140728693090176 140483185129968 140484311796354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3358] ppid=3349 vsize=15417412 memory=3472328296227418159 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3358/stat : 3358 (java) S 3349 3349 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445429290 15787429888 41022 33554432000 4194304 4196468 140728693090176 140483184076192 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3359] ppid=3349 vsize=15417412 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3359/stat : 3359 (java) S 3349 3349 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445429290 15787429888 41022 33554432000 4194304 4196468 140728693090176 140483183023600 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3360] ppid=3349 vsize=15417412 memory=279744239668528 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3360/stat : 3360 (java) S 3349 3349 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445429292 15787429888 41022 33554432000 4194304 4196468 140728693090176 140483181972176 140484311803803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3361] ppid=3349 vsize=15417412 memory=0 CPUtime=0.8 cores=1,3,5,7
/proc/3351/task/3361/stat : 3361 (java) R 3349 3349 32437 0 -1 4202560 3218 0 0 0 80 0 0 0 20 0 19 0 445429292 15787429888 41022 33554432000 4194304 4196468 140728693090176 140483180904792 140484293329872 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3362] ppid=3349 vsize=15417412 memory=1701 CPUtime=1.05 cores=1,3,5,7
/proc/3351/task/3362/stat : 3362 (java) R 3349 3349 32437 0 -1 4202560 3237 0 0 0 105 0 0 0 20 0 19 0 445429292 15787429888 41022 33554432000 4194304 4196468 140728693090176 140483179852448 140484292021332 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3363] ppid=3349 vsize=15417412 memory=139872266121312 CPUtime=0.59 cores=1,3,5,7
/proc/3351/task/3363/stat : 3363 (java) S 3349 3349 32437 0 -1 1077944384 2651 0 0 0 58 1 0 0 20 0 19 0 445429292 15787429888 41022 33554432000 4194304 4196468 140728693090176 140483178813680 140484311796354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3364] ppid=3349 vsize=15417412 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3364/stat : 3364 (java) S 3349 3349 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445429292 15787429888 41022 33554432000 4194304 4196468 140728693090176 140483177761376 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3365] ppid=3349 vsize=15417412 memory=2320679186365386167 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3365/stat : 3365 (java) S 3349 3349 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445429293 15787429888 41022 33554432000 4194304 4196468 140728693090176 140483176708912 140484311796354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3366] ppid=3349 vsize=15417412 memory=2319389199166349360 CPUtime=1.01 cores=1,3,5,7
/proc/3351/task/3366/stat : 3366 (java) R 3349 3349 32437 0 -1 4202560 141 0 0 0 101 0 0 0 20 0 19 0 445429352 15787429888 41022 33554432000 4194304 4196468 140728693090176 140483167727352 140483905528658 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3367] ppid=3349 vsize=15417412 memory=6199980737164381108 CPUtime=0.89 cores=1,3,5,7
/proc/3351/task/3367/stat : 3367 (java) R 3349 3349 32437 0 -1 4202560 251 0 0 0 89 0 0 0 20 0 19 0 445429353 15787429888 41022 33554432000 4194304 4196468 140728693090176 140483166677624 140483905528658 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3368] ppid=3349 vsize=15417412 memory=7517644958369591856 CPUtime=0.91 cores=1,3,5,7
/proc/3351/task/3368/stat : 3368 (java) R 3349 3349 32437 0 -1 4202560 49 0 0 0 91 0 0 0 20 0 19 0 445429353 15787429888 41022 33554432000 4194304 4196468 140728693090176 140483165623288 140483905528944 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3369] ppid=3349 vsize=15417412 memory=7681421203011431829 CPUtime=0.88 cores=1,3,5,7
/proc/3351/task/3369/stat : 3369 (java) R 3349 3349 32437 0 -1 4202560 95 0 0 0 88 0 0 0 20 0 19 0 445429353 15787429888 41022 33554432000 4194304 4196468 140728693090176 140483164568968 140483906657188 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
Current children cumulated CPU time: 6.81 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 165536 KiB
[startup+2.11096 s]
/proc/loadavg: 7.95 7.52 4.84 11/237 3369
/proc/meminfo: memFree=27069756/32770624 swapFree=66939908/67108860
[pid=3349] ppid=3346 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3349/stat : 3349 (xcsp3-exec) S 3346 3349 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445429286 115843072 362 33554432000 4194304 5098028 140725877042768 140725877040872 139731047281276 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26497024 140725877048187 140725877048429 140725877048429 140725877051338 0
/proc/3349/statm: 28282 362 304 221 0 87 0
[pid=3351] ppid=3349 vsize=15417412 memory=168460 CPUtime=7.19 cores=1,3,5,7
/proc/3351/stat : 3351 (java) S 3349 3349 32437 0 -1 1077944320 20294 0 0 0 711 8 0 0 20 0 19 0 445429287 15787429888 42115 33554432000 4194304 4196468 140728693090176 140728693072720 140484311785207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
/proc/3351/statm: 3854353 42115 3486 1 0 3815453 0
[pid=3351/tid=3352] ppid=3349 vsize=15417412 memory=33 CPUtime=0.63 cores=1,3,5,7
/proc/3351/task/3352/stat : 3352 (java) S 3349 3349 32437 0 -1 1077944384 9214 0 0 0 60 3 0 0 20 0 19 0 445429287 15787429888 42115 33554432000 4194304 4196468 140728693090176 140484316025984 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3353] ppid=3349 vsize=15417412 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3353/stat : 3353 (java) S 3349 3349 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445429288 15787429888 42115 33554432000 4194304 4196468 140728693090176 140484223441168 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3354] ppid=3349 vsize=15417412 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3354/stat : 3354 (java) S 3349 3349 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445429288 15787429888 42115 33554432000 4194304 4196468 140728693090176 140484222388624 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3355] ppid=3349 vsize=15417412 memory=6364800609063900036 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3355/stat : 3355 (java) S 3349 3349 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445429288 15787429888 42115 33554432000 4194304 4196468 140728693090176 140484221336080 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3356] ppid=3349 vsize=15417412 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3356/stat : 3356 (java) S 3349 3349 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445429288 15787429888 42115 33554432000 4194304 4196468 140728693090176 140483900730000 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3357] ppid=3349 vsize=15417412 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3357/stat : 3357 (java) S 3349 3349 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 445429289 15787429888 42115 33554432000 4194304 4196468 140728693090176 140483185129968 140484311796354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3358] ppid=3349 vsize=15417412 memory=7235707078695020649 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3358/stat : 3358 (java) S 3349 3349 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445429290 15787429888 42115 33554432000 4194304 4196468 140728693090176 140483184076192 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3359] ppid=3349 vsize=15417412 memory=6080809751607995237 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3359/stat : 3359 (java) S 3349 3349 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445429290 15787429888 42115 33554432000 4194304 4196468 140728693090176 140483183023600 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3360] ppid=3349 vsize=15417412 memory=277755 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3360/stat : 3360 (java) S 3349 3349 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445429292 15787429888 42115 33554432000 4194304 4196468 140728693090176 140483181972176 140484311803803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3361] ppid=3349 vsize=15417412 memory=0 CPUtime=0.85 cores=1,3,5,7
/proc/3351/task/3361/stat : 3361 (java) R 3349 3349 32437 0 -1 4202560 3274 0 0 0 85 0 0 0 20 0 19 0 445429292 15787429888 42115 33554432000 4194304 4196468 140728693090176 140483180905336 140484295692293 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3362] ppid=3349 vsize=15417412 memory=0 CPUtime=1.09 cores=1,3,5,7
/proc/3351/task/3362/stat : 3362 (java) R 3349 3349 32437 0 -1 4202560 3297 0 0 0 109 0 0 0 20 0 19 0 445429292 15787429888 42115 33554432000 4194304 4196468 140728693090176 140483179852792 140484293329312 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3363] ppid=3349 vsize=15417412 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/3351/task/3363/stat : 3363 (java) S 3349 3349 32437 0 -1 1077944384 2652 0 0 0 58 1 0 0 20 0 19 0 445429292 15787429888 42115 33554432000 4194304 4196468 140728693090176 140483178813680 140484311796354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3364] ppid=3349 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3364/stat : 3364 (java) S 3349 3349 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445429292 15787429888 42115 33554432000 4194304 4196468 140728693090176 140483177761376 140484311795413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3365] ppid=3349 vsize=15417412 memory=7368002589315584080 CPUtime=0 cores=1,3,5,7
/proc/3351/task/3365/stat : 3365 (java) S 3349 3349 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445429293 15787429888 42115 33554432000 4194304 4196468 140728693090176 140483176708912 140484311796354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3366] ppid=3349 vsize=15417412 memory=7524780874704577135 CPUtime=1.1 cores=1,3,5,7
/proc/3351/task/3366/stat : 3366 (java) R 3349 3349 32437 0 -1 4202560 143 0 0 0 110 0 0 0 20 0 19 0 445429352 15787429888 42115 33554432000 4194304 4196468 140728693090176 140483167726968 140483906710432 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3367] ppid=3349 vsize=15417412 memory=6080809751607995237 CPUtime=0.93 cores=1,3,5,7
/proc/3351/task/3367/stat : 3367 (java) R 3349 3349 32437 0 -1 4202560 255 0 0 0 93 0 0 0 20 0 19 0 445429353 15787429888 42115 33554432000 4194304 4196468 140728693090176 140483166675736 140483904775632 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3368] ppid=3349 vsize=15417412 memory=55597 CPUtime=0.95 cores=1,3,5,7
/proc/3351/task/3368/stat : 3368 (java) R 3349 3349 32437 0 -1 4202560 49 0 0 0 95 0 0 0 20 0 19 0 445429353 15787429888 42115 33554432000 4194304 4196468 140728693090176 140483165623016 140483906445251 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
[pid=3351/tid=3369] ppid=3349 vsize=15417412 memory=139872119973792 CPUtime=0.97 cores=1,3,5,7
/proc/3351/task/3369/stat : 3369 (java) R 3349 3349 32437 0 -1 4202560 102 0 0 0 97 0 0 0 20 0 19 0 445429353 15787429888 42115 33554432000 4194304 4196468 140728693090176 140483164568968 140483905528658 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140728693097455 140728693097626 140728693097626 140728693100495 0
Current children cumulated CPU time: 7.19 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 169908 KiB
Child status: 0
Real time (s): 2.19776
CPU time (s): 7.4874
CPU user time (s): 7.39564
CPU system time (s): 0.091763
CPU usage (%): 340.683
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 169908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.39564
system time used= 0.091763
maximum resident set size= 181448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21319
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2303
involuntary context switches= 327
# summary of solver processes directly reported to runsolver:
# pid: 3349
# total CPU time (s): 7.4874
# total CPU user time (s): 7.39564
# total CPU system time (s): 0.091763
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040921 second user time and 0.067843 second system time
The end