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-4254924-1501623124/watcher-4254924-1501623124 -o /tmp/evaluation-result-4254924-1501623124/solver-4254924-1501623124 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501616951-11514 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1018046735 HOME/instance-4254924-1501623124.xml
pid=24056
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.96 1.94 1.90 3/200 24059
/proc/meminfo: memFree=31076984/32770624 swapFree=0/293108
[pid=24059] ppid=24056 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/24059/stat : 24059 (runsolver) D 24056 24059 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9818168 24240128 108 18446744073709551615 4194304 4338465 140730031529824 140730031527464 139715572626135 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 27578368 140730031534172 140730031534662 140730031534662 140730031538122 0
/proc/24059/statm: 5918 108 54 36 0 2156 0
[startup+0.100141 s]
/proc/loadavg: 1.96 1.94 1.90 3/200 24059
/proc/meminfo: memFree=31076984/32770624 swapFree=0/293108
[pid=24059] ppid=24056 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24059/stat : 24059 (xcsp3-exec) S 24056 24059 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9818168 9740288 344 18446744073709551615 4194304 5098028 140727383866528 140727383864632 140512578687612 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 39153664 140727383871899 140727383872103 140727383872103 140727383875563 0
/proc/24059/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200252 s]
/proc/loadavg: 1.96 1.94 1.90 3/200 24059
/proc/meminfo: memFree=31076984/32770624 swapFree=0/293108
[pid=24059] ppid=24056 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24059/stat : 24059 (xcsp3-exec) S 24056 24059 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9818168 9740288 344 18446744073709551615 4194304 5098028 140727383866528 140727383864632 140512578687612 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 39153664 140727383871899 140727383872103 140727383872103 140727383875563 0
/proc/24059/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.301678 s]
/proc/loadavg: 1.96 1.94 1.90 3/200 24059
/proc/meminfo: memFree=31076984/32770624 swapFree=0/293108
[pid=24059] ppid=24056 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24059/stat : 24059 (xcsp3-exec) S 24056 24059 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9818168 9740288 344 18446744073709551615 4194304 5098028 140727383866528 140727383864632 140512578687612 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 39153664 140727383871899 140727383872103 140727383872103 140727383875563 0
/proc/24059/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701094 s]
/proc/loadavg: 1.96 1.94 1.90 3/200 24059
/proc/meminfo: memFree=31076984/32770624 swapFree=0/293108
[pid=24059] ppid=24056 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24059/stat : 24059 (xcsp3-exec) S 24056 24059 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9818168 9740288 344 18446744073709551615 4194304 5098028 140727383866528 140727383864632 140512578687612 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 39153664 140727383871899 140727383872103 140727383872103 140727383875563 0
/proc/24059/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50072 s]
/proc/loadavg: 1.96 1.94 1.90 3/216 24075
/proc/meminfo: memFree=31015048/32770624 swapFree=0/293132
[pid=24059] ppid=24056 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24059/stat : 24059 (xcsp3-exec) S 24056 24059 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9818168 9740288 344 18446744073709551615 4194304 5098028 140727383866528 140727383864632 140512578687612 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 39153664 140727383871899 140727383872103 140727383872103 140727383875563 0
/proc/24059/statm: 2378 344 289 221 0 87 0
[pid=24061] ppid=24059 vsize=13980732 CPUtime=3.02 cores=0,2,4,6
/proc/24061/stat : 24061 (java) S 24059 24059 5234 0 -1 1077944320 18695 0 0 0 295 7 0 0 20 0 15 0 9818175 14316269568 24592 18446744073709551615 4194304 4196468 140735196454496 140735196437040 140660144099063 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
/proc/24061/statm: 3495183 24592 3175 1 0 3483484 0
[pid=24061/tid=24062] ppid=24059 vsize=13980732 CPUtime=1.36 cores=0,2,4,6
/proc/24061/task/24062/stat : 24062 (java) R 24059 24059 5234 0 -1 4202560 9165 0 0 0 132 4 0 0 20 0 15 0 9818175 14316269568 24592 18446744073709551615 4194304 4196468 140735196454496 140660148335904 140659788681215 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24063] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24063/stat : 24063 (java) S 24059 24059 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9818176 14316269568 24592 18446744073709551615 4194304 4196468 140735196454496 140660113811984 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24064] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24064/stat : 24064 (java) S 24059 24059 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9818176 14316269568 24592 18446744073709551615 4194304 4196468 140735196454496 140659742763664 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24065] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24065/stat : 24065 (java) S 24059 24059 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9818176 14316269568 24592 18446744073709551615 4194304 4196468 140735196454496 140659741710608 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24066] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24066/stat : 24066 (java) S 24059 24059 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9818176 14316269568 24592 18446744073709551615 4194304 4196468 140735196454496 140659740658064 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24067] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24067/stat : 24067 (java) S 24059 24059 5234 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 9818177 14316269568 24592 18446744073709551615 4194304 4196468 140735196454496 140659622611696 140660144110210 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24068] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24068/stat : 24068 (java) S 24059 24059 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9818178 14316269568 24592 18446744073709551615 4194304 4196468 140735196454496 140659621557920 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24069] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24069/stat : 24069 (java) S 24059 24059 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9818178 14316269568 24592 18446744073709551615 4194304 4196468 140735196454496 140659620504816 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24070] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24070/stat : 24070 (java) S 24059 24059 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9818180 14316269568 24592 18446744073709551615 4194304 4196468 140735196454496 140659619453392 140660144117659 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24071] ppid=24059 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/24061/task/24071/stat : 24071 (java) S 24059 24059 5234 0 -1 1077944384 2928 0 0 0 63 0 0 0 20 0 15 0 9818180 14316269568 24592 18446744073709551615 4194304 4196468 140735196454496 140659618400496 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24072] ppid=24059 vsize=13980732 CPUtime=0.61 cores=0,2,4,6
/proc/24061/task/24072/stat : 24072 (java) S 24059 24059 5234 0 -1 1077944384 3113 0 0 0 61 0 0 0 20 0 15 0 9818180 14316269568 24592 18446744073709551615 4194304 4196468 140735196454496 140659617347952 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24073] ppid=24059 vsize=13980732 CPUtime=0.37 cores=0,2,4,6
/proc/24061/task/24073/stat : 24073 (java) S 24059 24059 5234 0 -1 1077944384 2117 0 0 0 37 0 0 0 20 0 15 0 9818180 14316269568 24592 18446744073709551615 4194304 4196468 140735196454496 140659616294896 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24074] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24074/stat : 24074 (java) S 24059 24059 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9818181 14316269568 24592 18446744073709551615 4194304 4196468 140735196454496 140659615242592 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24075] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24075/stat : 24075 (java) S 24059 24059 5234 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 9818185 14316269568 24592 18446744073709551615 4194304 4196468 140735196454496 140659614190640 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 13990244
[startup+3.10076 s]
/proc/loadavg: 1.96 1.94 1.90 5/216 24075
/proc/meminfo: memFree=30955360/32770624 swapFree=0/293132
[pid=24059] ppid=24056 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24059/stat : 24059 (xcsp3-exec) S 24056 24059 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9818168 9740288 344 18446744073709551615 4194304 5098028 140727383866528 140727383864632 140512578687612 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 39153664 140727383871899 140727383872103 140727383872103 140727383875563 0
/proc/24059/statm: 2378 344 289 221 0 87 0
[pid=24061] ppid=24059 vsize=13980732 CPUtime=5.33 cores=0,2,4,6
/proc/24061/stat : 24061 (java) S 24059 24059 5234 0 -1 1077944320 20178 0 0 0 524 9 0 0 20 0 15 0 9818175 14316269568 49918 18446744073709551615 4194304 4196468 140735196454496 140735196437040 140660144099063 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
/proc/24061/statm: 3495183 49918 3196 1 0 3483484 0
[pid=24061/tid=24062] ppid=24059 vsize=13980732 CPUtime=2.95 cores=0,2,4,6
/proc/24061/task/24062/stat : 24062 (java) R 24059 24059 5234 0 -1 4202560 9422 0 0 0 289 6 0 0 20 0 15 0 9818175 14316269568 49918 18446744073709551615 4194304 4196468 140735196454496 140660148338000 140659789508693 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24063] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24063/stat : 24063 (java) S 24059 24059 5234 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 9818176 14316269568 49918 18446744073709551615 4194304 4196468 140735196454496 140660113811984 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24064] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24064/stat : 24064 (java) S 24059 24059 5234 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 9818176 14316269568 49918 18446744073709551615 4194304 4196468 140735196454496 140659742763664 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24065] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24065/stat : 24065 (java) S 24059 24059 5234 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 9818176 14316269568 49918 18446744073709551615 4194304 4196468 140735196454496 140659741710608 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24066] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24066/stat : 24066 (java) S 24059 24059 5234 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 15 0 9818176 14316269568 49918 18446744073709551615 4194304 4196468 140735196454496 140659740658064 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24067] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24067/stat : 24067 (java) S 24059 24059 5234 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 9818177 14316269568 49918 18446744073709551615 4194304 4196468 140735196454496 140659622611696 140660144110210 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24068] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24068/stat : 24068 (java) S 24059 24059 5234 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 9818178 14316269568 49918 18446744073709551615 4194304 4196468 140735196454496 140659621557920 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24069] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24069/stat : 24069 (java) S 24059 24059 5234 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9818178 14316269568 49918 18446744073709551615 4194304 4196468 140735196454496 140659620504816 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24070] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24070/stat : 24070 (java) S 24059 24059 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9818180 14316269568 49918 18446744073709551615 4194304 4196468 140735196454496 140659619453392 140660144117659 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24071] ppid=24059 vsize=13980732 CPUtime=0.9 cores=0,2,4,6
/proc/24061/task/24071/stat : 24071 (java) S 24059 24059 5234 0 -1 1077944384 2970 0 0 0 90 0 0 0 20 0 15 0 9818180 14316269568 49918 18446744073709551615 4194304 4196468 140735196454496 140659618400496 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24072] ppid=24059 vsize=13980732 CPUtime=0.97 cores=0,2,4,6
/proc/24061/task/24072/stat : 24072 (java) S 24059 24059 5234 0 -1 1077944384 3193 0 0 0 97 0 0 0 20 0 15 0 9818180 14316269568 49918 18446744073709551615 4194304 4196468 140735196454496 140659617347952 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24073] ppid=24059 vsize=13980732 CPUtime=0.42 cores=0,2,4,6
/proc/24061/task/24073/stat : 24073 (java) S 24059 24059 5234 0 -1 1077944384 2684 0 0 0 42 0 0 0 20 0 15 0 9818180 14316269568 49918 18446744073709551615 4194304 4196468 140735196454496 140659616294896 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24074] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24074/stat : 24074 (java) S 24059 24059 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9818181 14316269568 49918 18446744073709551615 4194304 4196468 140735196454496 140659615242592 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24075] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24075/stat : 24075 (java) S 24059 24059 5234 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 9818185 14316269568 49918 18446744073709551615 4194304 4196468 140735196454496 140659614190640 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
Current children cumulated CPU time (s) 5.33
Current children cumulated vsize (KiB) 13990244
[startup+6.30077 s]
/proc/loadavg: 1.96 1.95 1.90 3/216 24075
/proc/meminfo: memFree=30886412/32770624 swapFree=0/293140
[pid=24059] ppid=24056 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24059/stat : 24059 (xcsp3-exec) S 24056 24059 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9818168 9740288 344 18446744073709551615 4194304 5098028 140727383866528 140727383864632 140512578687612 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 39153664 140727383871899 140727383872103 140727383872103 140727383875563 0
/proc/24059/statm: 2378 344 289 221 0 87 0
[pid=24061] ppid=24059 vsize=13980732 CPUtime=8.82 cores=0,2,4,6
/proc/24061/stat : 24061 (java) S 24059 24059 5234 0 -1 1077944320 20316 0 0 0 871 11 0 0 20 0 15 0 9818175 14316269568 52411 18446744073709551615 4194304 4196468 140735196454496 140735196437040 140660144099063 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
/proc/24061/statm: 3495183 52411 3207 1 0 3483484 0
[pid=24061/tid=24062] ppid=24059 vsize=13980732 CPUtime=6.11 cores=0,2,4,6
/proc/24061/task/24062/stat : 24062 (java) R 24059 24059 5234 0 -1 4202560 9431 0 0 0 605 6 0 0 20 0 15 0 9818175 14316269568 52411 18446744073709551615 4194304 4196468 140735196454496 140660148338000 140659789348107 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24063] ppid=24059 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/24061/task/24063/stat : 24063 (java) S 24059 24059 5234 0 -1 1077944384 53 0 0 0 3 0 0 0 20 0 15 0 9818176 14316269568 52411 18446744073709551615 4194304 4196468 140735196454496 140660113811984 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24064] ppid=24059 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/24061/task/24064/stat : 24064 (java) S 24059 24059 5234 0 -1 1077944384 115 0 0 0 3 0 0 0 20 0 15 0 9818176 14316269568 52411 18446744073709551615 4194304 4196468 140735196454496 140659742763664 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24065] ppid=24059 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/24061/task/24065/stat : 24065 (java) S 24059 24059 5234 0 -1 1077944384 54 0 0 0 3 0 0 0 20 0 15 0 9818176 14316269568 52411 18446744073709551615 4194304 4196468 140735196454496 140659741710608 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24066] ppid=24059 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/24061/task/24066/stat : 24066 (java) S 24059 24059 5234 0 -1 1077944384 249 0 0 0 3 0 0 0 20 0 15 0 9818176 14316269568 52411 18446744073709551615 4194304 4196468 140735196454496 140659740658064 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24067] ppid=24059 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24061/task/24067/stat : 24067 (java) S 24059 24059 5234 0 -1 1077944384 158 0 0 0 1 0 0 0 20 0 15 0 9818177 14316269568 52411 18446744073709551615 4194304 4196468 140735196454496 140659622611696 140660144110210 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24068] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24068/stat : 24068 (java) S 24059 24059 5234 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 9818178 14316269568 52411 18446744073709551615 4194304 4196468 140735196454496 140659621557920 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24069] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24069/stat : 24069 (java) S 24059 24059 5234 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9818178 14316269568 52411 18446744073709551615 4194304 4196468 140735196454496 140659620504816 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24070] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24070/stat : 24070 (java) S 24059 24059 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9818180 14316269568 52411 18446744073709551615 4194304 4196468 140735196454496 140659619453392 140660144117659 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24071] ppid=24059 vsize=13980732 CPUtime=0.98 cores=0,2,4,6
/proc/24061/task/24071/stat : 24071 (java) S 24059 24059 5234 0 -1 1077944384 2990 0 0 0 98 0 0 0 20 0 15 0 9818180 14316269568 52411 18446744073709551615 4194304 4196468 140735196454496 140659618400496 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24072] ppid=24059 vsize=13980732 CPUtime=1.06 cores=0,2,4,6
/proc/24061/task/24072/stat : 24072 (java) S 24059 24059 5234 0 -1 1077944384 3214 0 0 0 106 0 0 0 20 0 15 0 9818180 14316269568 52411 18446744073709551615 4194304 4196468 140735196454496 140659617347952 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24073] ppid=24059 vsize=13980732 CPUtime=0.44 cores=0,2,4,6
/proc/24061/task/24073/stat : 24073 (java) S 24059 24059 5234 0 -1 1077944384 2697 0 0 0 44 0 0 0 20 0 15 0 9818180 14316269568 52411 18446744073709551615 4194304 4196468 140735196454496 140659616294896 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24074] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24074/stat : 24074 (java) S 24059 24059 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9818181 14316269568 52411 18446744073709551615 4194304 4196468 140735196454496 140659615242592 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24075] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24075/stat : 24075 (java) S 24059 24059 5234 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 9818185 14316269568 52411 18446744073709551615 4194304 4196468 140735196454496 140659614190640 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
Current children cumulated CPU time (s) 8.82
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.88 1.93 1.90 3/216 24076
/proc/meminfo: memFree=30815948/32770624 swapFree=0/293144
[pid=24059] ppid=24056 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24059/stat : 24059 (xcsp3-exec) S 24056 24059 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9818168 9740288 344 18446744073709551615 4194304 5098028 140727383866528 140727383864632 140512578687612 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 39153664 140727383871899 140727383872103 140727383872103 140727383875563 0
/proc/24059/statm: 2378 344 289 221 0 87 0
[pid=24061] ppid=24059 vsize=13980732 CPUtime=16.33 cores=0,2,4,6
/proc/24061/stat : 24061 (java) S 24059 24059 5234 0 -1 1077944320 25372 0 0 0 1612 21 0 0 20 0 15 0 9818175 14316269568 61397 18446744073709551615 4194304 4196468 140735196454496 140735196437040 140660144099063 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
/proc/24061/statm: 3495183 61397 3212 1 0 3483484 0
[pid=24061/tid=24062] ppid=24059 vsize=13980732 CPUtime=12.47 cores=0,2,4,6
/proc/24061/task/24062/stat : 24062 (java) R 24059 24059 5234 0 -1 4202560 10432 0 0 0 1241 6 0 0 20 0 15 0 9818175 14316269568 61397 18446744073709551615 4194304 4196468 140735196454496 140660148338160 140659789658806 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24063] ppid=24059 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/24061/task/24063/stat : 24063 (java) S 24059 24059 5234 0 -1 1077944384 104 0 0 0 5 2 0 0 20 0 15 0 9818176 14316269568 61397 18446744073709551615 4194304 4196468 140735196454496 140660113811984 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24064] ppid=24059 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/24061/task/24064/stat : 24064 (java) S 24059 24059 5234 0 -1 1077944384 184 0 0 0 5 2 0 0 20 0 15 0 9818176 14316269568 61397 18446744073709551615 4194304 4196468 140735196454496 140659742763664 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
################
# More data... #
################
[pid=24061/tid=24068] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24068/stat : 24068 (java) S 24059 24059 5234 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 9818178 14316269568 69978 18446744073709551615 4194304 4196468 140735196454496 140659621557920 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24069] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24069/stat : 24069 (java) S 24059 24059 5234 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9818178 14316269568 69978 18446744073709551615 4194304 4196468 140735196454496 140659620504816 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24070] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24070/stat : 24070 (java) S 24059 24059 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9818180 14316269568 69978 18446744073709551615 4194304 4196468 140735196454496 140659619453392 140660144117659 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24071] ppid=24059 vsize=13980732 CPUtime=2.08 cores=0,2,4,6
/proc/24061/task/24071/stat : 24071 (java) S 24059 24059 5234 0 -1 1077944384 8523 0 0 0 207 1 0 0 20 0 15 0 9818180 14316269568 69978 18446744073709551615 4194304 4196468 140735196454496 140659618400496 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24072] ppid=24059 vsize=13980732 CPUtime=2.26 cores=0,2,4,6
/proc/24061/task/24072/stat : 24072 (java) S 24059 24059 5234 0 -1 1077944384 12943 0 0 0 225 1 0 0 20 0 15 0 9818180 14316269568 69978 18446744073709551615 4194304 4196468 140735196454496 140659617347952 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24073] ppid=24059 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/24061/task/24073/stat : 24073 (java) S 24059 24059 5234 0 -1 1077944384 8400 0 0 0 59 1 0 0 20 0 15 0 9818180 14316269568 69978 18446744073709551615 4194304 4196468 140735196454496 140659616294896 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24074] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24074/stat : 24074 (java) S 24059 24059 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9818181 14316269568 69978 18446744073709551615 4194304 4196468 140735196454496 140659615242592 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24075] ppid=24059 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/24061/task/24075/stat : 24075 (java) S 24059 24059 5234 0 -1 1077944384 229 0 0 0 1 3 0 0 20 0 15 0 9818185 14316269568 69978 18446744073709551615 4194304 4196468 140735196454496 140659614190640 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
Current children cumulated CPU time (s) 108.55
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.66 1.82 1.86 3/215 24165
/proc/meminfo: memFree=31258772/32770624 swapFree=0/293300
[pid=24059] ppid=24056 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24059/stat : 24059 (xcsp3-exec) S 24056 24059 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9818168 9740288 344 18446744073709551615 4194304 5098028 140727383866528 140727383864632 140512578687612 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 39153664 140727383871899 140727383872103 140727383872103 140727383875563 0
/proc/24059/statm: 2378 344 289 221 0 87 0
[pid=24061] ppid=24059 vsize=13980732 CPUtime=170.11 cores=0,2,4,6
/proc/24061/stat : 24061 (java) S 24059 24059 5234 0 -1 1077944320 62511 0 0 0 16945 66 0 0 20 0 15 0 9818175 14316269568 88391 18446744073709551615 4194304 4196468 140735196454496 140735196437040 140660144099063 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
/proc/24061/statm: 3495183 88391 3219 1 0 3483484 0
[pid=24061/tid=24062] ppid=24059 vsize=13980732 CPUtime=160.87 cores=0,2,4,6
/proc/24061/task/24062/stat : 24062 (java) R 24059 24059 5234 0 -1 4202560 16119 0 0 0 16080 7 0 0 20 0 15 0 9818175 14316269568 88391 18446744073709551615 4194304 4196468 140735196454496 140660148338224 140659791000404 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24063] ppid=24059 vsize=13980732 CPUtime=0.86 cores=0,2,4,6
/proc/24061/task/24063/stat : 24063 (java) S 24059 24059 5234 0 -1 1077944384 1182 0 0 0 74 12 0 0 20 0 15 0 9818176 14316269568 88391 18446744073709551615 4194304 4196468 140735196454496 140660113811984 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24064] ppid=24059 vsize=13980732 CPUtime=0.85 cores=0,2,4,6
/proc/24061/task/24064/stat : 24064 (java) S 24059 24059 5234 0 -1 1077944384 2052 0 0 0 73 12 0 0 20 0 15 0 9818176 14316269568 88391 18446744073709551615 4194304 4196468 140735196454496 140659742763664 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24065] ppid=24059 vsize=13980732 CPUtime=0.86 cores=0,2,4,6
/proc/24061/task/24065/stat : 24065 (java) S 24059 24059 5234 0 -1 1077944384 1988 0 0 0 73 13 0 0 20 0 15 0 9818176 14316269568 88391 18446744073709551615 4194304 4196468 140735196454496 140659741710608 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24066] ppid=24059 vsize=13980732 CPUtime=0.86 cores=0,2,4,6
/proc/24061/task/24066/stat : 24066 (java) S 24059 24059 5234 0 -1 1077944384 2619 0 0 0 74 12 0 0 20 0 15 0 9818176 14316269568 88391 18446744073709551615 4194304 4196468 140735196454496 140659740658064 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24067] ppid=24059 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/24061/task/24067/stat : 24067 (java) S 24059 24059 5234 0 -1 1077944384 1599 0 0 0 26 4 0 0 20 0 15 0 9818177 14316269568 88391 18446744073709551615 4194304 4196468 140735196454496 140659622611696 140660144110210 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24068] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24068/stat : 24068 (java) S 24059 24059 5234 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 9818178 14316269568 88391 18446744073709551615 4194304 4196468 140735196454496 140659621557920 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24069] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24069/stat : 24069 (java) S 24059 24059 5234 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9818178 14316269568 88391 18446744073709551615 4194304 4196468 140735196454496 140659620504816 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24070] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24070/stat : 24070 (java) S 24059 24059 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9818180 14316269568 88391 18446744073709551615 4194304 4196468 140735196454496 140659619453392 140660144117659 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24071] ppid=24059 vsize=13980732 CPUtime=2.16 cores=0,2,4,6
/proc/24061/task/24071/stat : 24071 (java) S 24059 24059 5234 0 -1 1077944384 10143 0 0 0 215 1 0 0 20 0 15 0 9818180 14316269568 88391 18446744073709551615 4194304 4196468 140735196454496 140659618400496 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24072] ppid=24059 vsize=13980732 CPUtime=2.56 cores=0,2,4,6
/proc/24061/task/24072/stat : 24072 (java) S 24059 24059 5234 0 -1 1077944384 16501 0 0 0 255 1 0 0 20 0 15 0 9818180 14316269568 88391 18446744073709551615 4194304 4196468 140735196454496 140659617347952 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24073] ppid=24059 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/24061/task/24073/stat : 24073 (java) S 24059 24059 5234 0 -1 1077944384 8714 0 0 0 62 1 0 0 20 0 15 0 9818180 14316269568 88391 18446744073709551615 4194304 4196468 140735196454496 140659616294896 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24074] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24074/stat : 24074 (java) S 24059 24059 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9818181 14316269568 88391 18446744073709551615 4194304 4196468 140735196454496 140659615242592 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24075] ppid=24059 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/24061/task/24075/stat : 24075 (java) S 24059 24059 5234 0 -1 1077944384 254 0 0 0 3 4 0 0 20 0 15 0 9818185 14316269568 88391 18446744073709551615 4194304 4196468 140735196454496 140659614190640 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
Current children cumulated CPU time (s) 170.11
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.79 1.84 1.86 3/215 24167
/proc/meminfo: memFree=30940072/32770624 swapFree=0/293348
[pid=24059] ppid=24056 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24059/stat : 24059 (xcsp3-exec) S 24056 24059 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9818168 9740288 344 18446744073709551615 4194304 5098028 140727383866528 140727383864632 140512578687612 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 39153664 140727383871899 140727383872103 140727383872103 140727383875563 0
/proc/24059/statm: 2378 344 289 221 0 87 0
[pid=24061] ppid=24059 vsize=13980732 CPUtime=231.49 cores=0,2,4,6
/proc/24061/stat : 24061 (java) S 24059 24059 5234 0 -1 1077944320 71267 0 0 0 23072 77 0 0 20 0 15 0 9818175 14316269568 104614 18446744073709551615 4194304 4196468 140735196454496 140735196437040 140660144099063 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
/proc/24061/statm: 3495183 104614 3219 1 0 3483484 0
[pid=24061/tid=24062] ppid=24059 vsize=13980732 CPUtime=220.36 cores=0,2,4,6
/proc/24061/task/24062/stat : 24062 (java) R 24059 24059 5234 0 -1 4202560 18759 0 0 0 22028 8 0 0 20 0 15 0 9818175 14316269568 104614 18446744073709551615 4194304 4196468 140735196454496 140660148337904 140659788681540 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24063] ppid=24059 vsize=13980732 CPUtime=1.2 cores=0,2,4,6
/proc/24061/task/24063/stat : 24063 (java) S 24059 24059 5234 0 -1 1077944384 1975 0 0 0 106 14 0 0 20 0 15 0 9818176 14316269568 104614 18446744073709551615 4194304 4196468 140735196454496 140660113811984 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24064] ppid=24059 vsize=13980732 CPUtime=1.19 cores=0,2,4,6
/proc/24061/task/24064/stat : 24064 (java) S 24059 24059 5234 0 -1 1077944384 2496 0 0 0 105 14 0 0 20 0 15 0 9818176 14316269568 104614 18446744073709551615 4194304 4196468 140735196454496 140659742763664 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24065] ppid=24059 vsize=13980732 CPUtime=1.2 cores=0,2,4,6
/proc/24061/task/24065/stat : 24065 (java) S 24059 24059 5234 0 -1 1077944384 2451 0 0 0 105 15 0 0 20 0 15 0 9818176 14316269568 104614 18446744073709551615 4194304 4196468 140735196454496 140659741710608 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24066] ppid=24059 vsize=13980732 CPUtime=1.2 cores=0,2,4,6
/proc/24061/task/24066/stat : 24066 (java) S 24059 24059 5234 0 -1 1077944384 3159 0 0 0 105 15 0 0 20 0 15 0 9818176 14316269568 104614 18446744073709551615 4194304 4196468 140735196454496 140659740658064 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24067] ppid=24059 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/24061/task/24067/stat : 24067 (java) S 24059 24059 5234 0 -1 1077944384 1877 0 0 0 36 5 0 0 20 0 15 0 9818177 14316269568 104614 18446744073709551615 4194304 4196468 140735196454496 140659622611696 140660144110210 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24068] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24068/stat : 24068 (java) S 24059 24059 5234 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 9818178 14316269568 104614 18446744073709551615 4194304 4196468 140735196454496 140659621557920 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24069] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24069/stat : 24069 (java) S 24059 24059 5234 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9818178 14316269568 104614 18446744073709551615 4194304 4196468 140735196454496 140659620504816 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24070] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24070/stat : 24070 (java) S 24059 24059 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9818180 14316269568 104614 18446744073709551615 4194304 4196468 140735196454496 140659619453392 140660144117659 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24071] ppid=24059 vsize=13980732 CPUtime=2.3 cores=0,2,4,6
/proc/24061/task/24071/stat : 24071 (java) S 24059 24059 5234 0 -1 1077944384 11018 0 0 0 229 1 0 0 20 0 15 0 9818180 14316269568 104614 18446744073709551615 4194304 4196468 140735196454496 140659618400496 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24072] ppid=24059 vsize=13980732 CPUtime=2.79 cores=0,2,4,6
/proc/24061/task/24072/stat : 24072 (java) S 24059 24059 5234 0 -1 1077944384 18290 0 0 0 278 1 0 0 20 0 15 0 9818180 14316269568 104614 18446744073709551615 4194304 4196468 140735196454496 140659617347952 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24073] ppid=24059 vsize=13980732 CPUtime=0.65 cores=0,2,4,6
/proc/24061/task/24073/stat : 24073 (java) S 24059 24059 5234 0 -1 1077944384 9622 0 0 0 64 1 0 0 20 0 15 0 9818180 14316269568 104614 18446744073709551615 4194304 4196468 140735196454496 140659616294896 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24074] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24074/stat : 24074 (java) S 24059 24059 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9818181 14316269568 104614 18446744073709551615 4194304 4196468 140735196454496 140659615242592 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24075] ppid=24059 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/24061/task/24075/stat : 24075 (java) S 24059 24059 5234 0 -1 1077944384 280 0 0 0 4 6 0 0 20 0 15 0 9818185 14316269568 104614 18446744073709551615 4194304 4196468 140735196454496 140659614190640 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
Current children cumulated CPU time (s) 231.49
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.85 1.85 1.87 3/215 24167
/proc/meminfo: memFree=30767412/32770624 swapFree=0/293356
[pid=24059] ppid=24056 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24059/stat : 24059 (xcsp3-exec) S 24056 24059 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9818168 9740288 344 18446744073709551615 4194304 5098028 140727383866528 140727383864632 140512578687612 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 39153664 140727383871899 140727383872103 140727383872103 140727383875563 0
/proc/24059/statm: 2378 344 289 221 0 87 0
[pid=24061] ppid=24059 vsize=13980732 CPUtime=249.54 cores=0,2,4,6
/proc/24061/stat : 24061 (java) S 24059 24059 5234 0 -1 1077944320 71762 0 0 0 24873 81 0 0 20 0 15 0 9818175 14316269568 109643 18446744073709551615 4194304 4196468 140735196454496 140735196437040 140660144099063 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
/proc/24061/statm: 3495183 109643 3219 1 0 3483484 0
[pid=24061/tid=24062] ppid=24059 vsize=13980732 CPUtime=237.89 cores=0,2,4,6
/proc/24061/task/24062/stat : 24062 (java) R 24059 24059 5234 0 -1 4202560 18850 0 0 0 23781 8 0 0 20 0 15 0 9818175 14316269568 109643 18446744073709551615 4194304 4196468 140735196454496 140660148337792 140659788864504 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24063] ppid=24059 vsize=13980732 CPUtime=1.32 cores=0,2,4,6
/proc/24061/task/24063/stat : 24063 (java) S 24059 24059 5234 0 -1 1077944384 2066 0 0 0 117 15 0 0 20 0 15 0 9818176 14316269568 109643 18446744073709551615 4194304 4196468 140735196454496 140660113811984 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24064] ppid=24059 vsize=13980732 CPUtime=1.31 cores=0,2,4,6
/proc/24061/task/24064/stat : 24064 (java) S 24059 24059 5234 0 -1 1077944384 2563 0 0 0 116 15 0 0 20 0 15 0 9818176 14316269568 109643 18446744073709551615 4194304 4196468 140735196454496 140659742763664 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24065] ppid=24059 vsize=13980732 CPUtime=1.31 cores=0,2,4,6
/proc/24061/task/24065/stat : 24065 (java) S 24059 24059 5234 0 -1 1077944384 2501 0 0 0 115 16 0 0 20 0 15 0 9818176 14316269568 109643 18446744073709551615 4194304 4196468 140735196454496 140659741710608 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24066] ppid=24059 vsize=13980732 CPUtime=1.31 cores=0,2,4,6
/proc/24061/task/24066/stat : 24066 (java) S 24059 24059 5234 0 -1 1077944384 3242 0 0 0 116 15 0 0 20 0 15 0 9818176 14316269568 109643 18446744073709551615 4194304 4196468 140735196454496 140659740658064 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24067] ppid=24059 vsize=13980732 CPUtime=0.44 cores=0,2,4,6
/proc/24061/task/24067/stat : 24067 (java) S 24059 24059 5234 0 -1 1077944384 1883 0 0 0 39 5 0 0 20 0 15 0 9818177 14316269568 109643 18446744073709551615 4194304 4196468 140735196454496 140659622611696 140660144110210 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24068] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24068/stat : 24068 (java) S 24059 24059 5234 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 9818178 14316269568 109643 18446744073709551615 4194304 4196468 140735196454496 140659621557920 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24069] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24069/stat : 24069 (java) S 24059 24059 5234 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9818178 14316269568 109643 18446744073709551615 4194304 4196468 140735196454496 140659620504816 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24070] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24070/stat : 24070 (java) S 24059 24059 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9818180 14316269568 109643 18446744073709551615 4194304 4196468 140735196454496 140659619453392 140660144117659 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24071] ppid=24059 vsize=13980732 CPUtime=2.3 cores=0,2,4,6
/proc/24061/task/24071/stat : 24071 (java) S 24059 24059 5234 0 -1 1077944384 11018 0 0 0 229 1 0 0 20 0 15 0 9818180 14316269568 109643 18446744073709551615 4194304 4196468 140735196454496 140659618400496 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24072] ppid=24059 vsize=13980732 CPUtime=2.79 cores=0,2,4,6
/proc/24061/task/24072/stat : 24072 (java) S 24059 24059 5234 0 -1 1077944384 18397 0 0 0 278 1 0 0 20 0 15 0 9818180 14316269568 109643 18446744073709551615 4194304 4196468 140735196454496 140659617347952 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24073] ppid=24059 vsize=13980732 CPUtime=0.65 cores=0,2,4,6
/proc/24061/task/24073/stat : 24073 (java) S 24059 24059 5234 0 -1 1077944384 9622 0 0 0 64 1 0 0 20 0 15 0 9818180 14316269568 109643 18446744073709551615 4194304 4196468 140735196454496 140659616294896 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24074] ppid=24059 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24061/task/24074/stat : 24074 (java) S 24059 24059 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9818181 14316269568 109643 18446744073709551615 4194304 4196468 140735196454496 140659615242592 140660144109269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
[pid=24061/tid=24075] ppid=24059 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/24061/task/24075/stat : 24075 (java) S 24059 24059 5234 0 -1 1077944384 280 0 0 0 5 7 0 0 20 0 15 0 9818185 14316269568 109643 18446744073709551615 4194304 4196468 140735196454496 140659614190640 140660144110210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140735196459476 140735196459651 140735196459651 140735196463055 0
Current children cumulated CPU time (s) 249.54
Current children cumulated vsize (KiB) 13990244
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 24061 sig 9
??? kill 24059 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 24059 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2011
# CPU time returned by wait4() is 0.002011
# while last known CPU time is 249.54
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.017
CPU time (s): 249.54
CPU user time (s): 248.73
CPU system time (s): 0.81
CPU usage (%): 103.968
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.002011
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508
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 1.09354 second user time and 1.51336 second system time
The end