runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4247981-1500691159/watcher-4247981-1500691159 -o /tmp/evaluation-result-4247981-1500691159/solver-4247981-1500691159 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 859189485 HOME/instance-4247981-1500691159.xml
pid=15497
running on 8 cores: 0,2,4,6,8,10,12,14
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 15.94 15.75 13.47 10/273 15500
/proc/meminfo: memFree=31614876/32770624 swapFree=5900/263652
[pid=15500] ppid=15497 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15500/stat : 15500 (xcsp3-exec) S 15497 15500 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4382820 9740288 346 33554432000 4194304 5098028 140733172782032 140733172780136 140378073031292 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9224192 140733172786319 140733172786528 140733172786528 140733172789227 0
/proc/15500/statm: 2378 346 289 221 0 87 0
[startup+0.100119 s]
/proc/loadavg: 15.94 15.75 13.47 10/273 15500
/proc/meminfo: memFree=31614876/32770624 swapFree=5900/263652
[pid=15500] ppid=15497 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15500/stat : 15500 (xcsp3-exec) S 15497 15500 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4382820 9740288 346 33554432000 4194304 5098028 140733172782032 140733172780136 140378073031292 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9224192 140733172786319 140733172786528 140733172786528 140733172789227 0
/proc/15500/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200393 s]
/proc/loadavg: 15.94 15.75 13.47 10/273 15500
/proc/meminfo: memFree=31614876/32770624 swapFree=5900/263652
[pid=15500] ppid=15497 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15500/stat : 15500 (xcsp3-exec) S 15497 15500 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4382820 9740288 346 33554432000 4194304 5098028 140733172782032 140733172780136 140378073031292 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9224192 140733172786319 140733172786528 140733172786528 140733172789227 0
/proc/15500/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300302 s]
/proc/loadavg: 15.94 15.75 13.47 10/273 15500
/proc/meminfo: memFree=31614876/32770624 swapFree=5900/263652
[pid=15500] ppid=15497 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15500/stat : 15500 (xcsp3-exec) S 15497 15500 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4382820 9740288 346 33554432000 4194304 5098028 140733172782032 140733172780136 140378073031292 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9224192 140733172786319 140733172786528 140733172786528 140733172789227 0
/proc/15500/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700172 s]
/proc/loadavg: 15.94 15.75 13.47 10/273 15500
/proc/meminfo: memFree=31614876/32770624 swapFree=5900/263652
[pid=15500] ppid=15497 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15500/stat : 15500 (xcsp3-exec) S 15497 15500 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4382820 9740288 346 33554432000 4194304 5098028 140733172782032 140733172780136 140378073031292 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9224192 140733172786319 140733172786528 140733172786528 140733172789227 0
/proc/15500/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50079 s]
/proc/loadavg: 15.62 15.69 13.46 10/294 15521
/proc/meminfo: memFree=31524456/32770624 swapFree=5900/263680
[pid=15500] ppid=15497 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15500/stat : 15500 (xcsp3-exec) S 15497 15500 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4382820 9740288 346 33554432000 4194304 5098028 140733172782032 140733172780136 140378073031292 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9224192 140733172786319 140733172786528 140733172786528 140733172789227 0
/proc/15500/statm: 2378 346 289 221 0 87 0
[pid=15501] ppid=15500 vsize=13269256 CPUtime=3.05 cores=0,2,4,6,8,10,12,14
/proc/15501/stat : 15501 (java) S 15500 15500 16913 0 -1 1077944320 23113 0 0 0 297 8 0 0 20 0 20 0 4382820 13587718144 26383 33554432000 4194304 4196468 140734308205472 140734308188016 140201927335671 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
/proc/15501/statm: 3317314 26383 3205 1 0 3304547 0
[pid=15501/tid=15502] ppid=15500 vsize=13269256 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15502/stat : 15502 (java) R 15500 15500 16913 0 -1 4202560 6793 0 0 0 143 4 0 0 20 0 20 0 4382820 13587718144 26383 33554432000 4194304 4196468 140734308205472 140201931567880 140201568207145 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15504] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15504/stat : 15504 (java) S 15500 15500 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4382821 13587718144 26383 33554432000 4194304 4196468 140734308205472 140201526938128 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15505] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15505/stat : 15505 (java) S 15500 15500 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4382821 13587718144 26383 33554432000 4194304 4196468 140734308205472 140201525885584 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15506] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15506/stat : 15506 (java) S 15500 15500 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4382821 13587718144 26383 33554432000 4194304 4196468 140734308205472 140201524832528 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15507] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15507/stat : 15507 (java) S 15500 15500 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4382821 13587718144 26383 33554432000 4194304 4196468 140734308205472 140201523779984 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15508] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15508/stat : 15508 (java) S 15500 15500 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4382821 13587718144 26383 33554432000 4194304 4196468 140734308205472 140201522727952 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15509] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15509/stat : 15509 (java) S 15500 15500 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4382821 13587718144 26383 33554432000 4194304 4196468 140734308205472 140201521675408 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15510] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15510/stat : 15510 (java) S 15500 15500 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4382821 13587718144 26383 33554432000 4194304 4196468 140734308205472 140201520622352 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15511] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15511/stat : 15511 (java) S 15500 15500 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4382821 13587718144 26383 33554432000 4194304 4196468 140734308205472 140201519569808 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15512] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15512/stat : 15512 (java) S 15500 15500 16913 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 4382824 13587718144 26383 33554432000 4194304 4196468 140734308205472 140200592070896 140201927346818 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15513] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15513/stat : 15513 (java) S 15500 15500 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4382824 13587718144 26383 33554432000 4194304 4196468 140734308205472 140200591017120 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15514] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15514/stat : 15514 (java) S 15500 15500 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4382825 13587718144 26383 33554432000 4194304 4196468 140734308205472 140200589964016 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15515] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15515/stat : 15515 (java) S 15500 15500 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4382828 13587718144 26383 33554432000 4194304 4196468 140734308205472 140200588912592 140201927354267 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15516] ppid=15500 vsize=13269256 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15516/stat : 15516 (java) S 15500 15500 16913 0 -1 1077944384 5847 0 0 0 51 0 0 0 20 0 20 0 4382828 13587718144 26383 33554432000 4194304 4196468 140734308205472 140200587860720 140201927346818 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15517] ppid=15500 vsize=13269256 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15517/stat : 15517 (java) S 15500 15500 16913 0 -1 1077944384 4126 0 0 0 38 1 0 0 20 0 20 0 4382829 13587718144 26383 33554432000 4194304 4196468 140734308205472 140200586808176 140201927346818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15518] ppid=15500 vsize=13269256 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15518/stat : 15518 (java) S 15500 15500 16913 0 -1 1077944384 2103 0 0 0 29 0 0 0 20 0 20 0 4382829 13587718144 26383 33554432000 4194304 4196468 140734308205472 140200585755120 140201927346818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15519] ppid=15500 vsize=13269256 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15519/stat : 15519 (java) S 15500 15500 16913 0 -1 1077944384 2917 0 0 0 34 0 0 0 20 0 20 0 4382829 13587718144 26383 33554432000 4194304 4196468 140734308205472 140200584702576 140201927346818 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15520] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15520/stat : 15520 (java) S 15500 15500 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4382829 13587718144 26383 33554432000 4194304 4196468 140734308205472 140200583649760 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15521] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15521/stat : 15521 (java) S 15500 15500 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4382829 13587718144 26383 33554432000 4194304 4196468 140734308205472 140200582597296 140201927346818 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 13278768
[startup+3.10107 s]
/proc/loadavg: 15.62 15.69 13.46 10/294 15521
/proc/meminfo: memFree=31510924/32770624 swapFree=5900/263680
[pid=15500] ppid=15497 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15500/stat : 15500 (xcsp3-exec) S 15497 15500 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4382820 9740288 346 33554432000 4194304 5098028 140733172782032 140733172780136 140378073031292 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9224192 140733172786319 140733172786528 140733172786528 140733172789227 0
/proc/15500/statm: 2378 346 289 221 0 87 0
[pid=15501] ppid=15500 vsize=13269256 CPUtime=4.72 cores=0,2,4,6,8,10,12,14
/proc/15501/stat : 15501 (java) S 15500 15500 16913 0 -1 1077944320 24198 0 0 0 464 8 0 0 20 0 20 0 4382820 13587718144 31084 33554432000 4194304 4196468 140734308205472 140734308188016 140201927335671 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
/proc/15501/statm: 3317314 31084 3206 1 0 3304547 0
[pid=15501/tid=15502] ppid=15500 vsize=13269256 CPUtime=3.07 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15502/stat : 15502 (java) R 15500 15500 16913 0 -1 4202560 7207 0 0 0 303 4 0 0 20 0 20 0 4382820 13587718144 31084 33554432000 4194304 4196468 140734308205472 140201931565912 140201568158976 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15504] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15504/stat : 15504 (java) S 15500 15500 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4382821 13587718144 31084 33554432000 4194304 4196468 140734308205472 140201526938128 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15505] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15505/stat : 15505 (java) S 15500 15500 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4382821 13587718144 31084 33554432000 4194304 4196468 140734308205472 140201525885584 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15506] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15506/stat : 15506 (java) S 15500 15500 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4382821 13587718144 31084 33554432000 4194304 4196468 140734308205472 140201524832528 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15507] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15507/stat : 15507 (java) S 15500 15500 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4382821 13587718144 31084 33554432000 4194304 4196468 140734308205472 140201523779984 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15508] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15508/stat : 15508 (java) S 15500 15500 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4382821 13587718144 31084 33554432000 4194304 4196468 140734308205472 140201522727952 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15509] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15509/stat : 15509 (java) S 15500 15500 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4382821 13587718144 31084 33554432000 4194304 4196468 140734308205472 140201521675408 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15510] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15510/stat : 15510 (java) S 15500 15500 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4382821 13587718144 31084 33554432000 4194304 4196468 140734308205472 140201520622352 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15511] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15511/stat : 15511 (java) S 15500 15500 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4382821 13587718144 31084 33554432000 4194304 4196468 140734308205472 140201519569808 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15512] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15512/stat : 15512 (java) S 15500 15500 16913 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 4382824 13587718144 31084 33554432000 4194304 4196468 140734308205472 140200592070896 140201927346818 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15513] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15513/stat : 15513 (java) S 15500 15500 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4382824 13587718144 31084 33554432000 4194304 4196468 140734308205472 140200591017120 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15514] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15514/stat : 15514 (java) S 15500 15500 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4382825 13587718144 31084 33554432000 4194304 4196468 140734308205472 140200589964016 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15515] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15515/stat : 15515 (java) S 15500 15500 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4382828 13587718144 31084 33554432000 4194304 4196468 140734308205472 140200588912592 140201927354267 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15516] ppid=15500 vsize=13269256 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15516/stat : 15516 (java) S 15500 15500 16913 0 -1 1077944384 6015 0 0 0 54 0 0 0 20 0 20 0 4382828 13587718144 31084 33554432000 4194304 4196468 140734308205472 140200587860720 140201927346818 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15517] ppid=15500 vsize=13269256 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15517/stat : 15517 (java) S 15500 15500 16913 0 -1 1077944384 4202 0 0 0 39 1 0 0 20 0 20 0 4382829 13587718144 31084 33554432000 4194304 4196468 140734308205472 140200586808176 140201927346818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15518] ppid=15500 vsize=13269256 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15518/stat : 15518 (java) S 15500 15500 16913 0 -1 1077944384 2234 0 0 0 30 0 0 0 20 0 20 0 4382829 13587718144 31084 33554432000 4194304 4196468 140734308205472 140200585755120 140201927346818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15519] ppid=15500 vsize=13269256 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15519/stat : 15519 (java) S 15500 15500 16913 0 -1 1077944384 3172 0 0 0 36 0 0 0 20 0 20 0 4382829 13587718144 31084 33554432000 4194304 4196468 140734308205472 140200584702576 140201927346818 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15520] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15520/stat : 15520 (java) S 15500 15500 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4382829 13587718144 31084 33554432000 4194304 4196468 140734308205472 140200583649760 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15521] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15521/stat : 15521 (java) S 15500 15500 16913 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 4382829 13587718144 31084 33554432000 4194304 4196468 140734308205472 140200582597296 140201927346818 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
Current children cumulated CPU time (s) 4.72
Current children cumulated vsize (KiB) 13278768
[startup+6.30215 s]
/proc/loadavg: 15.62 15.69 13.46 10/294 15521
/proc/meminfo: memFree=31458600/32770624 swapFree=5900/263688
[pid=15500] ppid=15497 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15500/stat : 15500 (xcsp3-exec) S 15497 15500 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4382820 9740288 346 33554432000 4194304 5098028 140733172782032 140733172780136 140378073031292 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9224192 140733172786319 140733172786528 140733172786528 140733172789227 0
/proc/15500/statm: 2378 346 289 221 0 87 0
[pid=15501] ppid=15500 vsize=13269256 CPUtime=9.03 cores=0,2,4,6,8,10,12,14
/proc/15501/stat : 15501 (java) S 15500 15500 16913 0 -1 1077944320 32351 0 0 0 838 65 0 0 20 0 20 0 4382820 13587718144 73571 33554432000 4194304 4196468 140734308205472 140734308188016 140201927335671 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
/proc/15501/statm: 3317314 73571 3242 1 0 3304547 0
[pid=15501/tid=15502] ppid=15500 vsize=13269256 CPUtime=6.17 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15502/stat : 15502 (java) R 15500 15500 16913 0 -1 4202560 8399 0 0 0 611 6 0 0 20 0 20 0 4382820 13587718144 73571 33554432000 4194304 4196468 140734308205472 140201931573736 140201568323636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15504] ppid=15500 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15504/stat : 15504 (java) S 15500 15500 16913 0 -1 1077944384 62 0 0 0 3 6 0 0 20 0 20 0 4382821 13587718144 73571 33554432000 4194304 4196468 140734308205472 140201526938128 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15505] ppid=15500 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15505/stat : 15505 (java) S 15500 15500 16913 0 -1 1077944384 82 0 0 0 3 6 0 0 20 0 20 0 4382821 13587718144 73571 33554432000 4194304 4196468 140734308205472 140201525885584 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15506] ppid=15500 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15506/stat : 15506 (java) S 15500 15500 16913 0 -1 1077944384 201 0 0 0 3 6 0 0 20 0 20 0 4382821 13587718144 73571 33554432000 4194304 4196468 140734308205472 140201524832528 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15507] ppid=15500 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15507/stat : 15507 (java) S 15500 15500 16913 0 -1 1077944384 109 0 0 0 2 7 0 0 20 0 20 0 4382821 13587718144 73571 33554432000 4194304 4196468 140734308205472 140201523779984 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15508] ppid=15500 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15508/stat : 15508 (java) S 15500 15500 16913 0 -1 1077944384 126 0 0 0 3 6 0 0 20 0 20 0 4382821 13587718144 73571 33554432000 4194304 4196468 140734308205472 140201522727952 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15509] ppid=15500 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15509/stat : 15509 (java) S 15500 15500 16913 0 -1 1077944384 94 0 0 0 3 6 0 0 20 0 20 0 4382821 13587718144 73571 33554432000 4194304 4196468 140734308205472 140201521675408 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15510] ppid=15500 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15510/stat : 15510 (java) S 15500 15500 16913 0 -1 1077944384 276 0 0 0 3 6 0 0 20 0 20 0 4382821 13587718144 73571 33554432000 4194304 4196468 140734308205472 140201520622352 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15511] ppid=15500 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15511/stat : 15511 (java) S 15500 15500 16913 0 -1 1077944384 63 0 0 0 3 6 0 0 20 0 20 0 4382821 13587718144 73571 33554432000 4194304 4196468 140734308205472 140201519569808 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15512] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15512/stat : 15512 (java) S 15500 15500 16913 0 -1 1077944384 456 0 0 0 0 0 0 0 20 0 20 0 4382824 13587718144 73571 33554432000 4194304 4196468 140734308205472 140200592070896 140201927346818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15513] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15513/stat : 15513 (java) S 15500 15500 16913 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 4382824 13587718144 73571 33554432000 4194304 4196468 140734308205472 140200591017120 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15514] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15514/stat : 15514 (java) S 15500 15500 16913 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 20 0 4382825 13587718144 73571 33554432000 4194304 4196468 140734308205472 140200589964016 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15515] ppid=15500 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15515/stat : 15515 (java) S 15500 15500 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4382828 13587718144 73571 33554432000 4194304 4196468 140734308205472 140200588912592 140201927354267 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
################
# More data... #
################
[pid=15501/tid=15627] ppid=15500 vsize=13801768 CPUtime=199.72 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15627/stat : 15627 (java) R 15500 15500 16913 0 -1 4202560 3918 0 0 0 19971 1 0 0 20 0 28 0 4390601 14133010432 1117396 33554432000 4194304 4196468 140734308205472 140200568266600 140201572947381 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15628] ppid=15500 vsize=13801768 CPUtime=200.11 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15628/stat : 15628 (java) R 15500 15500 16913 0 -1 4202560 3659 0 0 0 20010 1 0 0 20 0 28 0 4390601 14133010432 1117396 33554432000 4194304 4196468 140734308205472 140200567213552 140201568243996 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
Current children cumulated CPU time (s) 1754.75
Current children cumulated vsize (KiB) 13811280
[startup+342.302 s]
/proc/loadavg: 9.79 11.48 12.22 17/297 15632
/proc/meminfo: memFree=17131496/32770624 swapFree=5900/264132
[pid=15500] ppid=15497 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15500/stat : 15500 (xcsp3-exec) S 15497 15500 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4382820 9740288 346 33554432000 4194304 5098028 140733172782032 140733172780136 140378073031292 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9224192 140733172786319 140733172786528 140733172786528 140733172789227 0
/proc/15500/statm: 2378 346 289 221 0 87 0
[pid=15501] ppid=15500 vsize=13801768 CPUtime=2232.51 cores=0,2,4,6,8,10,12,14
/proc/15501/stat : 15501 (java) S 15500 15500 16913 0 -1 1077944320 270754 0 0 0 221374 1877 0 0 20 0 28 0 4382820 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140734308188016 140201927335671 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
/proc/15501/statm: 3450442 1108012 3312 1 0 3437675 0
[pid=15501/tid=15502] ppid=15500 vsize=13801768 CPUtime=69.83 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15502/stat : 15502 (java) S 15500 15500 16913 0 -1 1077944384 12441 0 0 0 6971 12 0 0 20 0 28 0 4382820 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140201931576448 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15504] ppid=15500 vsize=13801768 CPUtime=8.72 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15504/stat : 15504 (java) S 15500 15500 16913 0 -1 1077944384 13023 0 0 0 649 223 0 0 20 0 28 0 4382821 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140201526938128 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15505] ppid=15500 vsize=13801768 CPUtime=8.87 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15505/stat : 15505 (java) S 15500 15500 16913 0 -1 1077944384 7379 0 0 0 665 222 0 0 20 0 28 0 4382821 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140201525885584 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15506] ppid=15500 vsize=13801768 CPUtime=8.88 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15506/stat : 15506 (java) S 15500 15500 16913 0 -1 1077944384 10236 0 0 0 655 233 0 0 20 0 28 0 4382821 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140201524832528 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15507] ppid=15500 vsize=13801768 CPUtime=8.83 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15507/stat : 15507 (java) S 15500 15500 16913 0 -1 1077944384 9491 0 0 0 652 231 0 0 20 0 28 0 4382821 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140201523779984 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15508] ppid=15500 vsize=13801768 CPUtime=8.89 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15508/stat : 15508 (java) S 15500 15500 16913 0 -1 1077944384 16764 0 0 0 663 226 0 0 20 0 28 0 4382821 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140201522727952 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15509] ppid=15500 vsize=13801768 CPUtime=8.83 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15509/stat : 15509 (java) S 15500 15500 16913 0 -1 1077944384 9092 0 0 0 661 222 0 0 20 0 28 0 4382821 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140201521675408 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15510] ppid=15500 vsize=13801768 CPUtime=8.95 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15510/stat : 15510 (java) S 15500 15500 16913 0 -1 1077944384 9902 0 0 0 661 234 0 0 20 0 28 0 4382821 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140201520622352 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15511] ppid=15500 vsize=13801768 CPUtime=8.93 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15511/stat : 15511 (java) S 15500 15500 16913 0 -1 1077944384 10679 0 0 0 671 222 0 0 20 0 28 0 4382821 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140201519569808 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15512] ppid=15500 vsize=13801768 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15512/stat : 15512 (java) S 15500 15500 16913 0 -1 1077944384 9706 0 0 0 126 11 0 0 20 0 28 0 4382824 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140200592070896 140201927346818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15513] ppid=15500 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15513/stat : 15513 (java) S 15500 15500 16913 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 4382824 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140200591017184 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15514] ppid=15500 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15514/stat : 15514 (java) S 15500 15500 16913 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 28 0 4382825 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140200589964032 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15515] ppid=15500 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15515/stat : 15515 (java) S 15500 15500 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4382828 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140200588912592 140201927354267 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15516] ppid=15500 vsize=13801768 CPUtime=4.39 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15516/stat : 15516 (java) S 15500 15500 16913 0 -1 1077944384 21948 0 0 0 436 3 0 0 20 0 28 0 4382828 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140200587860720 140201927346818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15517] ppid=15500 vsize=13801768 CPUtime=3.78 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15517/stat : 15517 (java) S 15500 15500 16913 0 -1 1077944384 19483 0 0 0 375 3 0 0 20 0 28 0 4382829 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140200586808176 140201927346818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15518] ppid=15500 vsize=13801768 CPUtime=3.65 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15518/stat : 15518 (java) S 15500 15500 16913 0 -1 1077944384 19527 0 0 0 363 2 0 0 20 0 28 0 4382829 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140200585755120 140201927346818 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15519] ppid=15500 vsize=13801768 CPUtime=1.12 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15519/stat : 15519 (java) S 15500 15500 16913 0 -1 1077944384 12054 0 0 0 110 2 0 0 20 0 28 0 4382829 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140200584702576 140201927346818 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15520] ppid=15500 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15520/stat : 15520 (java) S 15500 15500 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4382829 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140200583649760 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15521] ppid=15500 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15521/stat : 15521 (java) S 15500 15500 16913 0 -1 1077944384 1488 0 0 0 9 8 0 0 20 0 28 0 4382829 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140200582597296 140201927346818 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 8 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15621] ppid=15500 vsize=13801768 CPUtime=259.9 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15621/stat : 15621 (java) R 15500 15500 16913 0 -1 4202560 4136 0 0 0 25989 1 0 0 20 0 28 0 4390600 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140200574580984 140201568986864 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15622] ppid=15500 vsize=13801768 CPUtime=258.83 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15622/stat : 15622 (java) R 15500 15500 16913 0 -1 4202560 4276 0 0 0 25881 2 0 0 20 0 28 0 4390601 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140200573530472 140201572607904 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15623] ppid=15500 vsize=13801768 CPUtime=259.36 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15623/stat : 15623 (java) R 15500 15500 16913 0 -1 4202560 5231 0 0 0 25934 2 0 0 20 0 28 0 4390601 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140200572477736 140201572483564 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15624] ppid=15500 vsize=13801768 CPUtime=260.02 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15624/stat : 15624 (java) R 15500 15500 16913 0 -1 4202560 56549 0 0 0 25997 5 0 0 20 0 28 0 4390601 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140200571425144 140201568986989 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15625] ppid=15500 vsize=13801768 CPUtime=259.62 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15625/stat : 15625 (java) R 15500 15500 16913 0 -1 4202560 2443 0 0 0 25961 1 0 0 20 0 28 0 4390601 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140200570371840 140201568243996 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15626] ppid=15500 vsize=13801768 CPUtime=259.99 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15626/stat : 15626 (java) R 15500 15500 16913 0 -1 4202560 4933 0 0 0 25997 2 0 0 20 0 28 0 4390601 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140200569322000 140201572706621 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15627] ppid=15500 vsize=13801768 CPUtime=259.49 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15627/stat : 15627 (java) R 15500 15500 16913 0 -1 4202560 4315 0 0 0 25948 1 0 0 20 0 28 0 4390601 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140200568266488 140201567838308 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15628] ppid=15500 vsize=13801768 CPUtime=259.87 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15628/stat : 15628 (java) R 15500 15500 16913 0 -1 4202560 4240 0 0 0 25986 1 0 0 20 0 28 0 4390601 14133010432 1108012 33554432000 4194304 4196468 140734308205472 140200567213800 140201572608011 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
Current children cumulated CPU time (s) 2232.51
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+363.402 s]
/proc/loadavg: 10.91 11.64 12.26 18/302 15727
/proc/meminfo: memFree=27053380/32770624 swapFree=5900/264188
[pid=15500] ppid=15497 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15500/stat : 15500 (xcsp3-exec) S 15497 15500 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4382820 9740288 346 33554432000 4194304 5098028 140733172782032 140733172780136 140378073031292 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9224192 140733172786319 140733172786528 140733172786528 140733172789227 0
/proc/15500/statm: 2378 346 289 221 0 87 0
[pid=15501] ppid=15500 vsize=13801768 CPUtime=2400.52 cores=0,2,4,6,8,10,12,14
/proc/15501/stat : 15501 (java) S 15500 15500 16913 0 -1 1077944320 272146 0 0 0 238173 1879 0 0 20 0 28 0 4382820 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140734308188016 140201927335671 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
/proc/15501/statm: 3450442 1108005 3312 1 0 3437675 0
[pid=15501/tid=15502] ppid=15500 vsize=13801768 CPUtime=69.83 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15502/stat : 15502 (java) S 15500 15500 16913 0 -1 1077944384 12441 0 0 0 6971 12 0 0 20 0 28 0 4382820 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140201931576448 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15504] ppid=15500 vsize=13801768 CPUtime=8.78 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15504/stat : 15504 (java) S 15500 15500 16913 0 -1 1077944384 13033 0 0 0 655 223 0 0 20 0 28 0 4382821 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140201526938128 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15505] ppid=15500 vsize=13801768 CPUtime=8.93 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15505/stat : 15505 (java) S 15500 15500 16913 0 -1 1077944384 7388 0 0 0 670 223 0 0 20 0 28 0 4382821 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140201525885584 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15506] ppid=15500 vsize=13801768 CPUtime=8.94 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15506/stat : 15506 (java) S 15500 15500 16913 0 -1 1077944384 10251 0 0 0 661 233 0 0 20 0 28 0 4382821 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140201524832528 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15507] ppid=15500 vsize=13801768 CPUtime=8.87 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15507/stat : 15507 (java) S 15500 15500 16913 0 -1 1077944384 9503 0 0 0 656 231 0 0 20 0 28 0 4382821 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140201523779984 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15508] ppid=15500 vsize=13801768 CPUtime=8.94 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15508/stat : 15508 (java) S 15500 15500 16913 0 -1 1077944384 16776 0 0 0 668 226 0 0 20 0 28 0 4382821 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140201522727952 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15509] ppid=15500 vsize=13801768 CPUtime=8.88 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15509/stat : 15509 (java) S 15500 15500 16913 0 -1 1077944384 9112 0 0 0 666 222 0 0 20 0 28 0 4382821 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140201521675408 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15510] ppid=15500 vsize=13801768 CPUtime=9 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15510/stat : 15510 (java) S 15500 15500 16913 0 -1 1077944384 9913 0 0 0 666 234 0 0 20 0 28 0 4382821 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140201520622352 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15511] ppid=15500 vsize=13801768 CPUtime=8.98 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15511/stat : 15511 (java) S 15500 15500 16913 0 -1 1077944384 10688 0 0 0 676 222 0 0 20 0 28 0 4382821 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140201519569808 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15512] ppid=15500 vsize=13801768 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15512/stat : 15512 (java) S 15500 15500 16913 0 -1 1077944384 9710 0 0 0 126 11 0 0 20 0 28 0 4382824 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140200592070896 140201927346818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15513] ppid=15500 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15513/stat : 15513 (java) S 15500 15500 16913 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 4382824 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140200591017184 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15514] ppid=15500 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15514/stat : 15514 (java) S 15500 15500 16913 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 28 0 4382825 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140200589964032 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15515] ppid=15500 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15515/stat : 15515 (java) S 15500 15500 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4382828 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140200588912592 140201927354267 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15516] ppid=15500 vsize=13801768 CPUtime=4.39 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15516/stat : 15516 (java) S 15500 15500 16913 0 -1 1077944384 21948 0 0 0 436 3 0 0 20 0 28 0 4382828 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140200587860720 140201927346818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15517] ppid=15500 vsize=13801768 CPUtime=3.78 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15517/stat : 15517 (java) S 15500 15500 16913 0 -1 1077944384 19483 0 0 0 375 3 0 0 20 0 28 0 4382829 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140200586808176 140201927346818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15518] ppid=15500 vsize=13801768 CPUtime=3.65 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15518/stat : 15518 (java) S 15500 15500 16913 0 -1 1077944384 19716 0 0 0 363 2 0 0 20 0 28 0 4382829 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140200585755120 140201927346818 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15519] ppid=15500 vsize=13801768 CPUtime=1.12 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15519/stat : 15519 (java) S 15500 15500 16913 0 -1 1077944384 12054 0 0 0 110 2 0 0 20 0 28 0 4382829 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140200584702576 140201927346818 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15520] ppid=15500 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15520/stat : 15520 (java) S 15500 15500 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4382829 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140200583649760 140201927345877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15521] ppid=15500 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15521/stat : 15521 (java) S 15500 15500 16913 0 -1 1077944384 1491 0 0 0 9 9 0 0 20 0 28 0 4382829 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140200582597296 140201927346818 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 8 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15621] ppid=15500 vsize=13801768 CPUtime=280.92 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15621/stat : 15621 (java) R 15500 15500 16913 0 -1 4202560 4283 0 0 0 28091 1 0 0 20 0 28 0 4390600 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140200574581304 140201573737537 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15622] ppid=15500 vsize=13801768 CPUtime=279.57 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15622/stat : 15622 (java) R 15500 15500 16913 0 -1 4202560 4395 0 0 0 27954 3 0 0 20 0 28 0 4390601 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140200573529768 140201568796725 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15623] ppid=15500 vsize=13801768 CPUtime=280.36 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15623/stat : 15623 (java) R 15500 15500 16913 0 -1 4202560 5297 0 0 0 28034 2 0 0 20 0 28 0 4390601 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140200572477416 140201568986152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15624] ppid=15500 vsize=13801768 CPUtime=280.83 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15624/stat : 15624 (java) R 15500 15500 16913 0 -1 4202560 56878 0 0 0 28078 5 0 0 20 0 28 0 4390601 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140200571425144 140201572607787 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15625] ppid=15500 vsize=13801768 CPUtime=280.62 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15625/stat : 15625 (java) R 15500 15500 16913 0 -1 4202560 2483 0 0 0 28061 1 0 0 20 0 28 0 4390601 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140200570372136 140201572708618 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15626] ppid=15500 vsize=13801768 CPUtime=280.99 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15626/stat : 15626 (java) R 15500 15500 16913 0 -1 4202560 5071 0 0 0 28097 2 0 0 20 0 28 0 4390601 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140200569322000 140201568791268 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15627] ppid=15500 vsize=13801768 CPUtime=280.51 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15627/stat : 15627 (java) R 15500 15500 16913 0 -1 4202560 4477 0 0 0 28049 2 0 0 20 0 28 0 4390601 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140200568266240 140201572012558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
[pid=15501/tid=15628] ppid=15500 vsize=13801768 CPUtime=280.85 cores=0,2,4,6,8,10,12,14
/proc/15501/task/15628/stat : 15628 (java) R 15500 15500 16913 0 -1 4202560 4337 0 0 0 28084 1 0 0 20 0 28 0 4390601 14133010432 1108005 33554432000 4194304 4196468 140734308205472 140200567213528 140201568245346 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 21946368 140734308213948 140734308214124 140734308214124 140734308216783 0
Current children cumulated CPU time (s) 2400.52
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15501 sig 9
??? kill 15500 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15500 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=796
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2388
# CPU time returned by wait4() is 0.003184
# while last known CPU time is 2400.52
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 363.412
CPU time (s): 2400.52
CPU user time (s): 2381.73
CPU system time (s): 18.79
CPU usage (%): 660.55
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000796
system time used= 0.002388
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 3
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.88523 second user time and 4.76676 second system time
The end