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-4249378-1502079616/watcher-4249378-1502079616 -o /tmp/evaluation-result-4249378-1502079616/solver-4249378-1502079616 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502078046-15622 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 1839821619 HOME/instance-4249378-1502079616.xml
pid=15975
running on 4 cores: 1,3,5,7
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: 5.80 6.77 4.54 2/203 15978
/proc/meminfo: memFree=30698504/32770624 swapFree=0/366744
[pid=15978] ppid=15975 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/15978/stat : 15978 (runsolver) D 15975 15978 2911 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 107614727 24240128 107 18446744073709551615 4194304 4338465 140724450853648 140724450851288 140235336954583 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 19914752 140724450861142 140724450861641 140724450861641 140724450865098 0
/proc/15978/statm: 5918 107 54 36 0 2156 0
[startup+0.100154 s]
/proc/loadavg: 5.80 6.77 4.54 2/203 15978
/proc/meminfo: memFree=30698504/32770624 swapFree=0/366744
[pid=15978] ppid=15975 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15978/stat : 15978 (xcsp3-exec) S 15975 15978 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 107614727 9740288 345 18446744073709551615 4194304 5098028 140728373766048 140728373764152 140170245415548 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 38682624 140728373772696 140728373772906 140728373772906 140728373776363 0
/proc/15978/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200939 s]
/proc/loadavg: 5.80 6.77 4.54 2/203 15978
/proc/meminfo: memFree=30698504/32770624 swapFree=0/366744
[pid=15978] ppid=15975 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15978/stat : 15978 (xcsp3-exec) S 15975 15978 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 107614727 9740288 345 18446744073709551615 4194304 5098028 140728373766048 140728373764152 140170245415548 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 38682624 140728373772696 140728373772906 140728373772906 140728373776363 0
/proc/15978/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300302 s]
/proc/loadavg: 5.80 6.77 4.54 2/203 15978
/proc/meminfo: memFree=30698504/32770624 swapFree=0/366744
[pid=15978] ppid=15975 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15978/stat : 15978 (xcsp3-exec) S 15975 15978 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 107614727 9740288 345 18446744073709551615 4194304 5098028 140728373766048 140728373764152 140170245415548 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 38682624 140728373772696 140728373772906 140728373772906 140728373776363 0
/proc/15978/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.703408 s]
/proc/loadavg: 5.80 6.77 4.54 2/203 15978
/proc/meminfo: memFree=30698504/32770624 swapFree=0/366744
[pid=15978] ppid=15975 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15978/stat : 15978 (xcsp3-exec) S 15975 15978 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 107614727 9740288 345 18446744073709551615 4194304 5098028 140728373766048 140728373764152 140170245415548 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 38682624 140728373772696 140728373772906 140728373772906 140728373776363 0
/proc/15978/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50074 s]
/proc/loadavg: 5.80 6.77 4.54 5/219 15994
/proc/meminfo: memFree=30516976/32770624 swapFree=0/366784
[pid=15978] ppid=15975 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15978/stat : 15978 (xcsp3-exec) S 15975 15978 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 107614727 9740288 345 18446744073709551615 4194304 5098028 140728373766048 140728373764152 140170245415548 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 38682624 140728373772696 140728373772906 140728373772906 140728373776363 0
/proc/15978/statm: 2378 345 289 221 0 87 0
[pid=15980] ppid=15978 vsize=12919328 CPUtime=4.13 cores=1,3,5,7
/proc/15980/stat : 15980 (java) S 15978 15978 2911 0 -1 1077944320 17058 0 0 0 401 12 0 0 20 0 15 0 107614732 13229391872 57666 18446744073709551615 4194304 4196468 140723888059616 140723888042160 139822716608247 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
/proc/15980/statm: 3229832 57666 3221 1 0 3218124 0
[pid=15980/tid=15981] ppid=15978 vsize=12919328 CPUtime=1.35 cores=1,3,5,7
/proc/15980/task/15981/stat : 15981 (java) R 15978 15978 2911 0 -1 4202560 8854 0 0 0 131 4 0 0 20 0 15 0 107614733 13229391872 57666 18446744073709551615 4194304 4196468 140723888059616 139822720843640 139822347510723 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15982] ppid=15978 vsize=12919328 CPUtime=0.03 cores=1,3,5,7
/proc/15980/task/15982/stat : 15982 (java) S 15978 15978 2911 0 -1 1077944384 35 0 0 0 2 1 0 0 20 0 15 0 107614733 13229391872 57666 18446744073709551615 4194304 4196468 140723888059616 139822673574544 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15983] ppid=15978 vsize=12919328 CPUtime=0.02 cores=1,3,5,7
/proc/15980/task/15983/stat : 15983 (java) S 15978 15978 2911 0 -1 1077944384 313 0 0 0 1 1 0 0 20 0 15 0 107614733 13229391872 57666 18446744073709551615 4194304 4196468 140723888059616 139822672521744 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15984] ppid=15978 vsize=12919328 CPUtime=0.02 cores=1,3,5,7
/proc/15980/task/15984/stat : 15984 (java) S 15978 15978 2911 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 15 0 107614733 13229391872 57666 18446744073709551615 4194304 4196468 140723888059616 139822671468944 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15985] ppid=15978 vsize=12919328 CPUtime=0.03 cores=1,3,5,7
/proc/15980/task/15985/stat : 15985 (java) S 15978 15978 2911 0 -1 1077944384 68 0 0 0 2 1 0 0 20 0 15 0 107614733 13229391872 57666 18446744073709551615 4194304 4196468 140723888059616 139822670416144 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15986] ppid=15978 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15986/stat : 15986 (java) S 15978 15978 2911 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 107614735 13229391872 57666 18446744073709551615 4194304 4196468 140723888059616 139822267718512 139822716619394 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15987] ppid=15978 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15987/stat : 15987 (java) S 15978 15978 2911 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 107614735 13229391872 57666 18446744073709551615 4194304 4196468 140723888059616 139822266664544 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15988] ppid=15978 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15988/stat : 15988 (java) S 15978 15978 2911 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 107614735 13229391872 57666 18446744073709551615 4194304 4196468 140723888059616 139822265611648 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15989] ppid=15978 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15989/stat : 15989 (java) S 15978 15978 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107614738 13229391872 57666 18446744073709551615 4194304 4196468 140723888059616 139822264559952 139822716626843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15990] ppid=15978 vsize=12919328 CPUtime=1.05 cores=1,3,5,7
/proc/15980/task/15990/stat : 15990 (java) R 15978 15978 2911 0 -1 4202560 2477 0 0 0 104 1 0 0 20 0 15 0 107614738 13229391872 57666 18446744073709551615 4194304 4196468 140723888059616 139822263495904 139822698129312 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15991] ppid=15978 vsize=12919328 CPUtime=1.04 cores=1,3,5,7
/proc/15980/task/15991/stat : 15991 (java) R 15978 15978 2911 0 -1 4202560 1788 0 0 0 104 0 0 0 20 0 15 0 107614738 13229391872 57666 18446744073709551615 4194304 4196468 140723888059616 139822262447704 139822695864822 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15992] ppid=15978 vsize=12919328 CPUtime=0.5 cores=1,3,5,7
/proc/15980/task/15992/stat : 15992 (java) S 15978 15978 2911 0 -1 1077944384 2119 0 0 0 50 0 0 0 20 0 15 0 107614738 13229391872 57666 18446744073709551615 4194304 4196468 140723888059616 139822261401712 139822716619394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15993] ppid=15978 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15993/stat : 15993 (java) S 15978 15978 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107614738 13229391872 57666 18446744073709551615 4194304 4196468 140723888059616 139822260349152 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15994] ppid=15978 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15994/stat : 15994 (java) S 15978 15978 2911 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107614741 13229391872 57666 18446744073709551615 4194304 4196468 140723888059616 139822259297456 139822716619394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 12928840
[startup+3.10145 s]
/proc/loadavg: 5.80 6.77 4.54 5/219 15994
/proc/meminfo: memFree=30301020/32770624 swapFree=0/366784
[pid=15978] ppid=15975 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15978/stat : 15978 (xcsp3-exec) S 15975 15978 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 107614727 9740288 345 18446744073709551615 4194304 5098028 140728373766048 140728373764152 140170245415548 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 38682624 140728373772696 140728373772906 140728373772906 140728373776363 0
/proc/15978/statm: 2378 345 289 221 0 87 0
[pid=15980] ppid=15978 vsize=12919328 CPUtime=9.24 cores=1,3,5,7
/proc/15980/stat : 15980 (java) S 15978 15978 2911 0 -1 1077944320 24103 0 0 0 887 37 0 0 20 0 15 0 107614732 13229391872 197914 18446744073709551615 4194304 4196468 140723888059616 140723888042160 139822716608247 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
/proc/15980/statm: 3229832 197914 3238 1 0 3218124 0
[pid=15980/tid=15981] ppid=15978 vsize=12919328 CPUtime=2.71 cores=1,3,5,7
/proc/15980/task/15981/stat : 15981 (java) R 15978 15978 2911 0 -1 4202560 9109 0 0 0 261 10 0 0 20 0 15 0 107614733 13229391872 197914 18446744073709551615 4194304 4196468 140723888059616 139822720845600 139822348991588 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15982] ppid=15978 vsize=12919328 CPUtime=0.25 cores=1,3,5,7
/proc/15980/task/15982/stat : 15982 (java) S 15978 15978 2911 0 -1 1077944384 133 0 0 0 20 5 0 0 20 0 15 0 107614733 13229391872 197914 18446744073709551615 4194304 4196468 140723888059616 139822673574544 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15983] ppid=15978 vsize=12919328 CPUtime=0.24 cores=1,3,5,7
/proc/15980/task/15983/stat : 15983 (java) S 15978 15978 2911 0 -1 1077944384 397 0 0 0 19 5 0 0 20 0 15 0 107614733 13229391872 197914 18446744073709551615 4194304 4196468 140723888059616 139822672521744 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15984] ppid=15978 vsize=12919328 CPUtime=0.26 cores=1,3,5,7
/proc/15980/task/15984/stat : 15984 (java) S 15978 15978 2911 0 -1 1077944384 124 0 0 0 20 6 0 0 20 0 15 0 107614733 13229391872 197914 18446744073709551615 4194304 4196468 140723888059616 139822671468944 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15985] ppid=15978 vsize=12919328 CPUtime=0.26 cores=1,3,5,7
/proc/15980/task/15985/stat : 15985 (java) S 15978 15978 2911 0 -1 1077944384 162 0 0 0 20 6 0 0 20 0 15 0 107614733 13229391872 197914 18446744073709551615 4194304 4196468 140723888059616 139822670416144 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15986] ppid=15978 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15986/stat : 15986 (java) S 15978 15978 2911 0 -1 1077944384 546 0 0 0 0 0 0 0 20 0 15 0 107614735 13229391872 197914 18446744073709551615 4194304 4196468 140723888059616 139822267718512 139822716619394 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15987] ppid=15978 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15987/stat : 15987 (java) S 15978 15978 2911 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 107614735 13229391872 197914 18446744073709551615 4194304 4196468 140723888059616 139822266664544 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15988] ppid=15978 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15988/stat : 15988 (java) S 15978 15978 2911 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 107614735 13229391872 197914 18446744073709551615 4194304 4196468 140723888059616 139822265611648 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15989] ppid=15978 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15989/stat : 15989 (java) S 15978 15978 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107614738 13229391872 197914 18446744073709551615 4194304 4196468 140723888059616 139822264559952 139822716626843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15990] ppid=15978 vsize=12919328 CPUtime=2.4 cores=1,3,5,7
/proc/15980/task/15990/stat : 15990 (java) R 15978 15978 2911 0 -1 4202560 5173 0 0 0 239 1 0 0 20 0 15 0 107614738 13229391872 197914 18446744073709551615 4194304 4196468 140723888059616 139822263497424 139822702672192 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15991] ppid=15978 vsize=12919328 CPUtime=2.41 cores=1,3,5,7
/proc/15980/task/15991/stat : 15991 (java) R 15978 15978 2911 0 -1 4202560 4887 0 0 0 240 1 0 0 20 0 15 0 107614738 13229391872 197914 18446744073709551615 4194304 4196468 140723888059616 139822262440608 139822701725355 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15992] ppid=15978 vsize=12919328 CPUtime=0.62 cores=1,3,5,7
/proc/15980/task/15992/stat : 15992 (java) S 15978 15978 2911 0 -1 1077944384 2276 0 0 0 62 0 0 0 20 0 15 0 107614738 13229391872 197914 18446744073709551615 4194304 4196468 140723888059616 139822261401712 139822716619394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15993] ppid=15978 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15993/stat : 15993 (java) S 15978 15978 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107614738 13229391872 197914 18446744073709551615 4194304 4196468 140723888059616 139822260349152 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15994] ppid=15978 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15994/stat : 15994 (java) S 15978 15978 2911 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107614741 13229391872 197914 18446744073709551615 4194304 4196468 140723888059616 139822259297456 139822716619394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
Current children cumulated CPU time (s) 9.24
Current children cumulated vsize (KiB) 12928840
[startup+6.30073 s]
/proc/loadavg: 5.65 6.72 4.53 3/223 16002
/proc/meminfo: memFree=29915404/32770624 swapFree=0/366780
[pid=15978] ppid=15975 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15978/stat : 15978 (xcsp3-exec) S 15975 15978 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 107614727 9740288 345 18446744073709551615 4194304 5098028 140728373766048 140728373764152 140170245415548 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 38682624 140728373772696 140728373772906 140728373772906 140728373776363 0
/proc/15978/statm: 2378 345 289 221 0 87 0
[pid=15980] ppid=15978 vsize=13185584 CPUtime=16.34 cores=1,3,5,7
/proc/15980/stat : 15980 (java) S 15978 15978 2911 0 -1 1077944320 31058 0 0 0 1594 40 0 0 20 0 19 0 107614732 13502038016 198273 18446744073709551615 4194304 4196468 140723888059616 140723888042160 139822716608247 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
/proc/15980/statm: 3296396 198273 3260 1 0 3284688 0
[pid=15980/tid=15981] ppid=15978 vsize=13185584 CPUtime=3.14 cores=1,3,5,7
/proc/15980/task/15981/stat : 15981 (java) S 15978 15978 2911 0 -1 1077944384 9393 0 0 0 304 10 0 0 20 0 19 0 107614733 13502038016 198273 18446744073709551615 4194304 4196468 140723888059616 139822720849024 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15982] ppid=15978 vsize=13185584 CPUtime=0.25 cores=1,3,5,7
/proc/15980/task/15982/stat : 15982 (java) S 15978 15978 2911 0 -1 1077944384 133 0 0 0 20 5 0 0 20 0 19 0 107614733 13502038016 198273 18446744073709551615 4194304 4196468 140723888059616 139822673574544 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15983] ppid=15978 vsize=13185584 CPUtime=0.24 cores=1,3,5,7
/proc/15980/task/15983/stat : 15983 (java) S 15978 15978 2911 0 -1 1077944384 397 0 0 0 19 5 0 0 20 0 19 0 107614733 13502038016 198273 18446744073709551615 4194304 4196468 140723888059616 139822672521744 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15984] ppid=15978 vsize=13185584 CPUtime=0.26 cores=1,3,5,7
/proc/15980/task/15984/stat : 15984 (java) S 15978 15978 2911 0 -1 1077944384 124 0 0 0 20 6 0 0 20 0 19 0 107614733 13502038016 198273 18446744073709551615 4194304 4196468 140723888059616 139822671468944 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15985] ppid=15978 vsize=13185584 CPUtime=0.26 cores=1,3,5,7
/proc/15980/task/15985/stat : 15985 (java) S 15978 15978 2911 0 -1 1077944384 162 0 0 0 20 6 0 0 20 0 19 0 107614733 13502038016 198273 18446744073709551615 4194304 4196468 140723888059616 139822670416144 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15986] ppid=15978 vsize=13185584 CPUtime=0.01 cores=1,3,5,7
/proc/15980/task/15986/stat : 15986 (java) S 15978 15978 2911 0 -1 1077944384 635 0 0 0 1 0 0 0 20 0 19 0 107614735 13502038016 198273 18446744073709551615 4194304 4196468 140723888059616 139822267718512 139822716619394 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15987] ppid=15978 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15987/stat : 15987 (java) S 15978 15978 2911 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 107614735 13502038016 198273 18446744073709551615 4194304 4196468 140723888059616 139822266664544 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15988] ppid=15978 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15988/stat : 15988 (java) S 15978 15978 2911 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 107614735 13502038016 198273 18446744073709551615 4194304 4196468 140723888059616 139822265611648 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15989] ppid=15978 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15989/stat : 15989 (java) S 15978 15978 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 107614738 13502038016 198273 18446744073709551615 4194304 4196468 140723888059616 139822264559952 139822716626843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15990] ppid=15978 vsize=13185584 CPUtime=3.67 cores=1,3,5,7
/proc/15980/task/15990/stat : 15990 (java) S 15978 15978 2911 0 -1 1077944384 6506 0 0 0 365 2 0 0 20 0 19 0 107614738 13502038016 198273 18446744073709551615 4194304 4196468 140723888059616 139822263507312 139822716619394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15991] ppid=15978 vsize=13185584 CPUtime=3.58 cores=1,3,5,7
/proc/15980/task/15991/stat : 15991 (java) S 15978 15978 2911 0 -1 1077944384 6253 0 0 0 357 1 0 0 20 0 19 0 107614738 13502038016 198273 18446744073709551615 4194304 4196468 140723888059616 139822262454512 139822716619394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15992] ppid=15978 vsize=13185584 CPUtime=0.88 cores=1,3,5,7
/proc/15980/task/15992/stat : 15992 (java) S 15978 15978 2911 0 -1 1077944384 3671 0 0 0 87 1 0 0 20 0 19 0 107614738 13502038016 198273 18446744073709551615 4194304 4196468 140723888059616 139822261401712 139822716619394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15993] ppid=15978 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15993/stat : 15993 (java) S 15978 15978 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 107614738 13502038016 198273 18446744073709551615 4194304 4196468 140723888059616 139822260349152 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15994] ppid=15978 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15994/stat : 15994 (java) S 15978 15978 2911 0 -1 1077944384 993 0 0 0 0 0 0 0 20 0 19 0 107614741 13502038016 198273 18446744073709551615 4194304 4196468 140723888059616 139822259297456 139822716619394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
Current children cumulated CPU time (s) 16.34
Current children cumulated vsize (KiB) 13195096
[startup+12.7009 s]
/proc/loadavg: 5.36 6.64 4.52 3/223 16007
/proc/meminfo: memFree=29914916/32770624 swapFree=0/366780
[pid=15978] ppid=15975 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15978/stat : 15978 (xcsp3-exec) S 15975 15978 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 107614727 9740288 345 18446744073709551615 4194304 5098028 140728373766048 140728373764152 140170245415548 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 38682624 140728373772696 140728373772906 140728373772906 140728373776363 0
/proc/15978/statm: 2378 345 289 221 0 87 0
[pid=15980] ppid=15978 vsize=13185584 CPUtime=22.92 cores=1,3,5,7
/proc/15980/stat : 15980 (java) S 15978 15978 2911 0 -1 1077944320 33480 0 0 0 2251 41 0 0 20 0 19 0 107614732 13502038016 198333 18446744073709551615 4194304 4196468 140723888059616 140723888042160 139822716608247 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
/proc/15980/statm: 3296396 198333 3260 1 0 3284688 0
[pid=15980/tid=15981] ppid=15978 vsize=13185584 CPUtime=3.14 cores=1,3,5,7
/proc/15980/task/15981/stat : 15981 (java) S 15978 15978 2911 0 -1 1077944384 9393 0 0 0 304 10 0 0 20 0 19 0 107614733 13502038016 198333 18446744073709551615 4194304 4196468 140723888059616 139822720849024 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15982] ppid=15978 vsize=13185584 CPUtime=0.25 cores=1,3,5,7
/proc/15980/task/15982/stat : 15982 (java) S 15978 15978 2911 0 -1 1077944384 133 0 0 0 20 5 0 0 20 0 19 0 107614733 13502038016 198333 18446744073709551615 4194304 4196468 140723888059616 139822673574544 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15983] ppid=15978 vsize=13185584 CPUtime=0.24 cores=1,3,5,7
/proc/15980/task/15983/stat : 15983 (java) S 15978 15978 2911 0 -1 1077944384 397 0 0 0 19 5 0 0 20 0 19 0 107614733 13502038016 198333 18446744073709551615 4194304 4196468 140723888059616 139822672521744 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
################
# More data... #
################
/proc/15978/statm: 2378 345 289 221 0 87 0
[pid=15980] ppid=15978 vsize=13185584 CPUtime=2083.85 cores=1,3,5,7
/proc/15980/stat : 15980 (java) S 15978 15978 2911 0 -1 1077944320 153820 0 0 0 208196 189 0 0 20 0 19 0 107614732 13502038016 576854 18446744073709551615 4194304 4196468 140723888059616 140723888042160 139822716608247 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
/proc/15980/statm: 3296396 576854 3282 1 0 3284688 0
[pid=15980/tid=15981] ppid=15978 vsize=13185584 CPUtime=3.15 cores=1,3,5,7
/proc/15980/task/15981/stat : 15981 (java) S 15978 15978 2911 0 -1 1077944384 9990 0 0 0 305 10 0 0 20 0 19 0 107614733 13502038016 576854 18446744073709551615 4194304 4196468 140723888059616 139822720849024 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15982] ppid=15978 vsize=13185584 CPUtime=1.58 cores=1,3,5,7
/proc/15980/task/15982/stat : 15982 (java) S 15978 15978 2911 0 -1 1077944384 3450 0 0 0 142 16 0 0 20 0 19 0 107614733 13502038016 576854 18446744073709551615 4194304 4196468 140723888059616 139822673574544 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15983] ppid=15978 vsize=13185584 CPUtime=1.56 cores=1,3,5,7
/proc/15980/task/15983/stat : 15983 (java) S 15978 15978 2911 0 -1 1077944384 3802 0 0 0 139 17 0 0 20 0 19 0 107614733 13502038016 576854 18446744073709551615 4194304 4196468 140723888059616 139822672521744 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15984] ppid=15978 vsize=13185584 CPUtime=1.59 cores=1,3,5,7
/proc/15980/task/15984/stat : 15984 (java) S 15978 15978 2911 0 -1 1077944384 6865 0 0 0 142 17 0 0 20 0 19 0 107614733 13502038016 576854 18446744073709551615 4194304 4196468 140723888059616 139822671468944 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15985] ppid=15978 vsize=13185584 CPUtime=1.6 cores=1,3,5,7
/proc/15980/task/15985/stat : 15985 (java) S 15978 15978 2911 0 -1 1077944384 6218 0 0 0 142 18 0 0 20 0 19 0 107614733 13502038016 576854 18446744073709551615 4194304 4196468 140723888059616 139822670416144 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15986] ppid=15978 vsize=13185584 CPUtime=0.64 cores=1,3,5,7
/proc/15980/task/15986/stat : 15986 (java) S 15978 15978 2911 0 -1 1077944384 9238 0 0 0 58 6 0 0 20 0 19 0 107614735 13502038016 576854 18446744073709551615 4194304 4196468 140723888059616 139822267718512 139822716619394 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15987] ppid=15978 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15987/stat : 15987 (java) S 15978 15978 2911 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 107614735 13502038016 576854 18446744073709551615 4194304 4196468 140723888059616 139822266664544 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15988] ppid=15978 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15988/stat : 15988 (java) S 15978 15978 2911 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 107614735 13502038016 576854 18446744073709551615 4194304 4196468 140723888059616 139822265611648 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15989] ppid=15978 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15989/stat : 15989 (java) S 15978 15978 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 107614738 13502038016 576854 18446744073709551615 4194304 4196468 140723888059616 139822264559952 139822716626843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15990] ppid=15978 vsize=13185584 CPUtime=5.36 cores=1,3,5,7
/proc/15980/task/15990/stat : 15990 (java) S 15978 15978 2911 0 -1 1077944384 23922 0 0 0 532 4 0 0 20 0 19 0 107614738 13502038016 576854 18446744073709551615 4194304 4196468 140723888059616 139822263507312 139822716619394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15991] ppid=15978 vsize=13185584 CPUtime=5.35 cores=1,3,5,7
/proc/15980/task/15991/stat : 15991 (java) S 15978 15978 2911 0 -1 1077944384 22539 0 0 0 533 2 0 0 20 0 19 0 107614738 13502038016 576854 18446744073709551615 4194304 4196468 140723888059616 139822262454512 139822716619394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15992] ppid=15978 vsize=13185584 CPUtime=1.09 cores=1,3,5,7
/proc/15980/task/15992/stat : 15992 (java) S 15978 15978 2911 0 -1 1077944384 17044 0 0 0 107 2 0 0 20 0 19 0 107614738 13502038016 576854 18446744073709551615 4194304 4196468 140723888059616 139822261401712 139822716619394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15993] ppid=15978 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15993/stat : 15993 (java) S 15978 15978 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 107614738 13502038016 576854 18446744073709551615 4194304 4196468 140723888059616 139822260349152 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15994] ppid=15978 vsize=13185584 CPUtime=0.82 cores=1,3,5,7
/proc/15980/task/15994/stat : 15994 (java) S 15978 15978 2911 0 -1 1077944384 3366 0 0 0 33 49 0 0 20 0 19 0 107614741 13502038016 576854 18446744073709551615 4194304 4196468 140723888059616 139822259297456 139822716619394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=16174] ppid=15978 vsize=13185584 CPUtime=359.99 cores=1,3,5,7
/proc/15980/task/16174/stat : 16174 (java) R 15978 15978 2911 0 -1 4202560 5508 0 0 0 35998 1 0 0 20 0 19 0 107696885 13502038016 576854 18446744073709551615 4194304 4196468 140723888059616 139820980481744 139822344743376 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=16175] ppid=15978 vsize=13185584 CPUtime=360.09 cores=1,3,5,7
/proc/15980/task/16175/stat : 16175 (java) R 15978 15978 2911 0 -1 4202560 13651 0 0 0 36002 7 0 0 20 0 19 0 107696885 13502038016 576854 18446744073709551615 4194304 4196468 140723888059616 139821722196512 139822351763705 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=16176] ppid=15978 vsize=13185584 CPUtime=1.19 cores=1,3,5,7
/proc/15980/task/16176/stat : 16176 (java) S 15978 15978 2911 0 -1 1077944384 182 0 0 0 119 0 0 0 20 0 19 0 107696885 13502038016 576854 18446744073709551615 4194304 4196468 140723888059616 139820981540048 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=16177] ppid=15978 vsize=13185584 CPUtime=359.99 cores=1,3,5,7
/proc/15980/task/16177/stat : 16177 (java) R 15978 15978 2911 0 -1 4202560 6913 0 0 0 35995 4 0 0 20 0 19 0 107696885 13502038016 576854 18446744073709551615 4194304 4196468 140723888059616 139820982587376 139822351757708 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
Current children cumulated CPU time (s) 2083.85
Current children cumulated vsize (KiB) 13195096
[startup+1242.3 s]
/proc/loadavg: 3.63 3.92 4.17 5/224 16210
/proc/meminfo: memFree=26837416/32770624 swapFree=0/367480
[pid=15978] ppid=15975 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15978/stat : 15978 (xcsp3-exec) S 15975 15978 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 107614727 9740288 345 18446744073709551615 4194304 5098028 140728373766048 140728373764152 140170245415548 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 38682624 140728373772696 140728373772906 140728373772906 140728373776363 0
/proc/15978/statm: 2378 345 289 221 0 87 0
[pid=15980] ppid=15978 vsize=13185584 CPUtime=2263.72 cores=1,3,5,7
/proc/15980/stat : 15980 (java) S 15978 15978 2911 0 -1 1077944320 158298 0 0 0 226179 193 0 0 20 0 19 0 107614732 13502038016 568519 18446744073709551615 4194304 4196468 140723888059616 140723888042160 139822716608247 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
/proc/15980/statm: 3296396 568519 3282 1 0 3284688 0
[pid=15980/tid=15981] ppid=15978 vsize=13185584 CPUtime=3.15 cores=1,3,5,7
/proc/15980/task/15981/stat : 15981 (java) S 15978 15978 2911 0 -1 1077944384 9990 0 0 0 305 10 0 0 20 0 19 0 107614733 13502038016 568519 18446744073709551615 4194304 4196468 140723888059616 139822720849024 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15982] ppid=15978 vsize=13185584 CPUtime=1.68 cores=1,3,5,7
/proc/15980/task/15982/stat : 15982 (java) S 15978 15978 2911 0 -1 1077944384 3847 0 0 0 152 16 0 0 20 0 19 0 107614733 13502038016 568519 18446744073709551615 4194304 4196468 140723888059616 139822673574544 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15983] ppid=15978 vsize=13185584 CPUtime=1.66 cores=1,3,5,7
/proc/15980/task/15983/stat : 15983 (java) S 15978 15978 2911 0 -1 1077944384 3959 0 0 0 149 17 0 0 20 0 19 0 107614733 13502038016 568519 18446744073709551615 4194304 4196468 140723888059616 139822672521744 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15984] ppid=15978 vsize=13185584 CPUtime=1.69 cores=1,3,5,7
/proc/15980/task/15984/stat : 15984 (java) S 15978 15978 2911 0 -1 1077944384 7212 0 0 0 151 18 0 0 20 0 19 0 107614733 13502038016 568519 18446744073709551615 4194304 4196468 140723888059616 139822671468944 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15985] ppid=15978 vsize=13185584 CPUtime=1.69 cores=1,3,5,7
/proc/15980/task/15985/stat : 15985 (java) S 15978 15978 2911 0 -1 1077944384 6395 0 0 0 151 18 0 0 20 0 19 0 107614733 13502038016 568519 18446744073709551615 4194304 4196468 140723888059616 139822670416144 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15986] ppid=15978 vsize=13185584 CPUtime=0.67 cores=1,3,5,7
/proc/15980/task/15986/stat : 15986 (java) S 15978 15978 2911 0 -1 1077944384 9525 0 0 0 60 7 0 0 20 0 19 0 107614735 13502038016 568519 18446744073709551615 4194304 4196468 140723888059616 139822267718512 139822716619394 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15987] ppid=15978 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15987/stat : 15987 (java) S 15978 15978 2911 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 107614735 13502038016 568519 18446744073709551615 4194304 4196468 140723888059616 139822266664544 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15988] ppid=15978 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15988/stat : 15988 (java) S 15978 15978 2911 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 107614735 13502038016 568519 18446744073709551615 4194304 4196468 140723888059616 139822265611648 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15989] ppid=15978 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15989/stat : 15989 (java) S 15978 15978 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 107614738 13502038016 568519 18446744073709551615 4194304 4196468 140723888059616 139822264559952 139822716626843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15990] ppid=15978 vsize=13185584 CPUtime=5.36 cores=1,3,5,7
/proc/15980/task/15990/stat : 15990 (java) S 15978 15978 2911 0 -1 1077944384 23925 0 0 0 532 4 0 0 20 0 19 0 107614738 13502038016 568519 18446744073709551615 4194304 4196468 140723888059616 139822263507312 139822716619394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15991] ppid=15978 vsize=13185584 CPUtime=5.35 cores=1,3,5,7
/proc/15980/task/15991/stat : 15991 (java) S 15978 15978 2911 0 -1 1077944384 22541 0 0 0 533 2 0 0 20 0 19 0 107614738 13502038016 568519 18446744073709551615 4194304 4196468 140723888059616 139822262454512 139822716619394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15992] ppid=15978 vsize=13185584 CPUtime=1.09 cores=1,3,5,7
/proc/15980/task/15992/stat : 15992 (java) S 15978 15978 2911 0 -1 1077944384 18316 0 0 0 107 2 0 0 20 0 19 0 107614738 13502038016 568519 18446744073709551615 4194304 4196468 140723888059616 139822261401712 139822716619394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15993] ppid=15978 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15993/stat : 15993 (java) S 15978 15978 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 107614738 13502038016 568519 18446744073709551615 4194304 4196468 140723888059616 139822260349152 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15994] ppid=15978 vsize=13185584 CPUtime=0.87 cores=1,3,5,7
/proc/15980/task/15994/stat : 15994 (java) S 15978 15978 2911 0 -1 1077944384 3388 0 0 0 36 51 0 0 20 0 19 0 107614741 13502038016 568519 18446744073709551615 4194304 4196468 140723888059616 139822259297456 139822716619394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=16174] ppid=15978 vsize=13185584 CPUtime=419.77 cores=1,3,5,7
/proc/15980/task/16174/stat : 16174 (java) R 15978 15978 2911 0 -1 4202560 5881 0 0 0 41976 1 0 0 20 0 19 0 107696885 13502038016 568519 18446744073709551615 4194304 4196468 140723888059616 139820980480752 139822352205550 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=16175] ppid=15978 vsize=13185584 CPUtime=419.88 cores=1,3,5,7
/proc/15980/task/16175/stat : 16175 (java) R 15978 15978 2911 0 -1 4202560 14549 0 0 0 41981 7 0 0 20 0 19 0 107696885 13502038016 568519 18446744073709551615 4194304 4196468 140723888059616 139821722194536 139822345153630 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=16176] ppid=15978 vsize=13185584 CPUtime=1.19 cores=1,3,5,7
/proc/15980/task/16176/stat : 16176 (java) S 15978 15978 2911 0 -1 1077944384 182 0 0 0 119 0 0 0 20 0 19 0 107696885 13502038016 568519 18446744073709551615 4194304 4196468 140723888059616 139820981540048 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=16177] ppid=15978 vsize=13185584 CPUtime=419.81 cores=1,3,5,7
/proc/15980/task/16177/stat : 16177 (java) R 15978 15978 2911 0 -1 4202560 7456 0 0 0 41977 4 0 0 20 0 19 0 107696885 13502038016 568519 18446744073709551615 4194304 4196468 140723888059616 139820982590544 139822351316077 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
Current children cumulated CPU time (s) 2263.72
Current children cumulated vsize (KiB) 13195096
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1287.8 s]
/proc/loadavg: 3.83 3.93 4.16 5/224 16212
/proc/meminfo: memFree=26867808/32770624 swapFree=0/367504
[pid=15978] ppid=15975 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15978/stat : 15978 (xcsp3-exec) S 15975 15978 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 107614727 9740288 345 18446744073709551615 4194304 5098028 140728373766048 140728373764152 140170245415548 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 38682624 140728373772696 140728373772906 140728373772906 140728373776363 0
/proc/15978/statm: 2378 345 289 221 0 87 0
[pid=15980] ppid=15978 vsize=13185584 CPUtime=2400.17 cores=1,3,5,7
/proc/15980/stat : 15980 (java) S 15978 15978 2911 0 -1 1077944320 162046 0 0 0 239818 199 0 0 20 0 19 0 107614732 13502038016 560683 18446744073709551615 4194304 4196468 140723888059616 140723888042160 139822716608247 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
/proc/15980/statm: 3296396 560683 3282 1 0 3284688 0
[pid=15980/tid=15981] ppid=15978 vsize=13185584 CPUtime=3.15 cores=1,3,5,7
/proc/15980/task/15981/stat : 15981 (java) S 15978 15978 2911 0 -1 1077944384 9990 0 0 0 305 10 0 0 20 0 19 0 107614733 13502038016 560683 18446744073709551615 4194304 4196468 140723888059616 139822720849024 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15982] ppid=15978 vsize=13185584 CPUtime=1.77 cores=1,3,5,7
/proc/15980/task/15982/stat : 15982 (java) S 15978 15978 2911 0 -1 1077944384 3978 0 0 0 160 17 0 0 20 0 19 0 107614733 13502038016 560683 18446744073709551615 4194304 4196468 140723888059616 139822673574544 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15983] ppid=15978 vsize=13185584 CPUtime=1.76 cores=1,3,5,7
/proc/15980/task/15983/stat : 15983 (java) S 15978 15978 2911 0 -1 1077944384 4134 0 0 0 158 18 0 0 20 0 19 0 107614733 13502038016 560683 18446744073709551615 4194304 4196468 140723888059616 139822672521744 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15984] ppid=15978 vsize=13185584 CPUtime=1.78 cores=1,3,5,7
/proc/15980/task/15984/stat : 15984 (java) S 15978 15978 2911 0 -1 1077944384 7707 0 0 0 159 19 0 0 20 0 19 0 107614733 13502038016 560683 18446744073709551615 4194304 4196468 140723888059616 139822671468944 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15985] ppid=15978 vsize=13185584 CPUtime=1.78 cores=1,3,5,7
/proc/15980/task/15985/stat : 15985 (java) S 15978 15978 2911 0 -1 1077944384 6696 0 0 0 160 18 0 0 20 0 19 0 107614733 13502038016 560683 18446744073709551615 4194304 4196468 140723888059616 139822670416144 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15986] ppid=15978 vsize=13185584 CPUtime=0.7 cores=1,3,5,7
/proc/15980/task/15986/stat : 15986 (java) S 15978 15978 2911 0 -1 1077944384 9816 0 0 0 62 8 0 0 20 0 19 0 107614735 13502038016 560683 18446744073709551615 4194304 4196468 140723888059616 139822267718512 139822716619394 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15987] ppid=15978 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15987/stat : 15987 (java) S 15978 15978 2911 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 107614735 13502038016 560683 18446744073709551615 4194304 4196468 140723888059616 139822266664544 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15988] ppid=15978 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15988/stat : 15988 (java) S 15978 15978 2911 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 107614735 13502038016 560683 18446744073709551615 4194304 4196468 140723888059616 139822265611648 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15989] ppid=15978 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15989/stat : 15989 (java) S 15978 15978 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 107614738 13502038016 560683 18446744073709551615 4194304 4196468 140723888059616 139822264559952 139822716626843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15990] ppid=15978 vsize=13185584 CPUtime=5.36 cores=1,3,5,7
/proc/15980/task/15990/stat : 15990 (java) S 15978 15978 2911 0 -1 1077944384 23927 0 0 0 532 4 0 0 20 0 19 0 107614738 13502038016 560683 18446744073709551615 4194304 4196468 140723888059616 139822263507312 139822716619394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15991] ppid=15978 vsize=13185584 CPUtime=5.35 cores=1,3,5,7
/proc/15980/task/15991/stat : 15991 (java) S 15978 15978 2911 0 -1 1077944384 23531 0 0 0 533 2 0 0 20 0 19 0 107614738 13502038016 560683 18446744073709551615 4194304 4196468 140723888059616 139822262454512 139822716619394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15992] ppid=15978 vsize=13185584 CPUtime=1.09 cores=1,3,5,7
/proc/15980/task/15992/stat : 15992 (java) S 15978 15978 2911 0 -1 1077944384 18318 0 0 0 107 2 0 0 20 0 19 0 107614738 13502038016 560683 18446744073709551615 4194304 4196468 140723888059616 139822261401712 139822716619394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15993] ppid=15978 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/15980/task/15993/stat : 15993 (java) S 15978 15978 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 107614738 13502038016 560683 18446744073709551615 4194304 4196468 140723888059616 139822260349152 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=15994] ppid=15978 vsize=13185584 CPUtime=0.9 cores=1,3,5,7
/proc/15980/task/15994/stat : 15994 (java) S 15978 15978 2911 0 -1 1077944384 3413 0 0 0 37 53 0 0 20 0 19 0 107614741 13502038016 560683 18446744073709551615 4194304 4196468 140723888059616 139822259297456 139822716619394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=16174] ppid=15978 vsize=13185584 CPUtime=465.09 cores=1,3,5,7
/proc/15980/task/16174/stat : 16174 (java) R 15978 15978 2911 0 -1 4202560 6226 0 0 0 46508 1 0 0 20 0 19 0 107696885 13502038016 560683 18446744073709551615 4194304 4196468 140723888059616 139820980481328 139822348180709 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=16175] ppid=15978 vsize=13185584 CPUtime=465.24 cores=1,3,5,7
/proc/15980/task/16175/stat : 16175 (java) R 15978 15978 2911 0 -1 4202560 15100 0 0 0 46517 7 0 0 20 0 19 0 107696885 13502038016 560683 18446744073709551615 4194304 4196468 140723888059616 139821722194296 139822345153630 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=16176] ppid=15978 vsize=13185584 CPUtime=1.19 cores=1,3,5,7
/proc/15980/task/16176/stat : 16176 (java) S 15978 15978 2911 0 -1 1077944384 182 0 0 0 119 0 0 0 20 0 19 0 107696885 13502038016 560683 18446744073709551615 4194304 4196468 140723888059616 139820981540048 139822716618453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
[pid=15980/tid=16177] ppid=15978 vsize=13185584 CPUtime=465.14 cores=1,3,5,7
/proc/15980/task/16177/stat : 16177 (java) R 15978 15978 2911 0 -1 4202560 7896 0 0 0 46510 4 0 0 20 0 19 0 107696885 13502038016 560683 18446744073709551615 4194304 4196468 140723888059616 139820982590544 139822351316077 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140723888062934 140723888063110 140723888063110 140723888066511 0
Current children cumulated CPU time (s) 2400.17
Current children cumulated vsize (KiB) 13195096
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 15980 sig 9
??? kill 15978 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 15978 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1870
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=121
# CPU time returned by wait4() is 0.001991
# while last known CPU time is 2400.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1287.83
CPU time (s): 2400.17
CPU user time (s): 2398.18
CPU system time (s): 1.99
CPU usage (%): 186.373
Max. virtual memory (cumulated for all children) (KiB): 13195096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00187
system time used= 0.000121
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.25235 second user time and 9.45602 second system time
The end