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-4254106-1501612998/watcher-4254106-1501612998 -o /tmp/evaluation-result-4254106-1501612998/solver-4254106-1501612998 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501611185-5152 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 960370731 HOME/instance-4254106-1501612998.xml
pid=6177
running on 4 cores: 1,3,5,7
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.75 1.81 1.26 2/195 6180
/proc/meminfo: memFree=31795160/32770624 swapFree=0/181784
[pid=6180] ppid=6177 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6180/stat : 6180 (runsolver) D 6177 6180 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9922922 24240128 106 18446744073709551615 4194304 4338465 140734638876528 140734638874168 139996085658327 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 12812288 140734638878814 140734638879302 140734638879302 140734638882762 0
/proc/6180/statm: 5918 106 53 36 0 2156 0
[startup+0.10013 s]
/proc/loadavg: 1.75 1.81 1.26 2/195 6180
/proc/meminfo: memFree=31795160/32770624 swapFree=0/181784
[pid=6180] ppid=6177 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6180/stat : 6180 (xcsp3-exec) S 6177 6180 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9922922 9740288 345 18446744073709551615 4194304 5098028 140726425430320 140726425428424 140021670535804 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 16707584 140726425432476 140726425432679 140726425432679 140726425436139 0
/proc/6180/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200271 s]
/proc/loadavg: 1.75 1.81 1.26 2/195 6180
/proc/meminfo: memFree=31795160/32770624 swapFree=0/181784
[pid=6180] ppid=6177 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6180/stat : 6180 (xcsp3-exec) S 6177 6180 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9922922 9740288 345 18446744073709551615 4194304 5098028 140726425430320 140726425428424 140021670535804 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 16707584 140726425432476 140726425432679 140726425432679 140726425436139 0
/proc/6180/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300237 s]
/proc/loadavg: 1.75 1.81 1.26 2/195 6180
/proc/meminfo: memFree=31795160/32770624 swapFree=0/181784
[pid=6180] ppid=6177 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6180/stat : 6180 (xcsp3-exec) S 6177 6180 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9922922 9740288 345 18446744073709551615 4194304 5098028 140726425430320 140726425428424 140021670535804 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 16707584 140726425432476 140726425432679 140726425432679 140726425436139 0
/proc/6180/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700256 s]
/proc/loadavg: 1.75 1.81 1.26 2/195 6180
/proc/meminfo: memFree=31795160/32770624 swapFree=0/181784
[pid=6180] ppid=6177 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6180/stat : 6180 (xcsp3-exec) S 6177 6180 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9922922 9740288 345 18446744073709551615 4194304 5098028 140726425430320 140726425428424 140021670535804 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 16707584 140726425432476 140726425432679 140726425432679 140726425436139 0
/proc/6180/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50145 s]
/proc/loadavg: 1.85 1.83 1.27 5/211 6196
/proc/meminfo: memFree=31593180/32770624 swapFree=0/181788
[pid=6180] ppid=6177 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6180/stat : 6180 (xcsp3-exec) S 6177 6180 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9922922 9740288 345 18446744073709551615 4194304 5098028 140726425430320 140726425428424 140021670535804 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 16707584 140726425432476 140726425432679 140726425432679 140726425436139 0
/proc/6180/statm: 2378 345 289 221 0 87 0
[pid=6182] ppid=6180 vsize=13980732 CPUtime=3.74 cores=1,3,5,7
/proc/6182/stat : 6182 (java) S 6180 6180 5091 0 -1 1077944320 15383 0 0 0 355 19 0 0 20 0 15 0 9922930 14316269568 78167 18446744073709551615 4194304 4196468 140735219200416 140735219182960 139841116319479 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
/proc/6182/statm: 3495183 78167 3203 1 0 3483484 0
[pid=6182/tid=6183] ppid=6180 vsize=13980732 CPUtime=1.18 cores=1,3,5,7
/proc/6182/task/6183/stat : 6183 (java) R 6180 6180 5091 0 -1 4202560 7612 0 0 0 114 4 0 0 20 0 15 0 9922930 14316269568 78167 18446744073709551615 4194304 4196468 140735219200416 139841120555400 139840733569061 0 4 1 16800974 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6184] ppid=6180 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/6182/task/6184/stat : 6184 (java) S 6180 6180 5091 0 -1 1077944384 165 0 0 0 10 3 0 0 20 0 15 0 9922931 14316269568 78167 18446744073709551615 4194304 4196468 140735219200416 139841050753424 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6185] ppid=6180 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/6182/task/6185/stat : 6185 (java) S 6180 6180 5091 0 -1 1077944384 157 0 0 0 10 3 0 0 20 0 15 0 9922931 14316269568 78167 18446744073709551615 4194304 4196468 140735219200416 139841049700624 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6186] ppid=6180 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/6182/task/6186/stat : 6186 (java) S 6180 6180 5091 0 -1 1077944384 106 0 0 0 9 2 0 0 20 0 15 0 9922931 14316269568 78167 18446744073709551615 4194304 4196468 140735219200416 139840714357392 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6187] ppid=6180 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/6182/task/6187/stat : 6187 (java) S 6180 6180 5091 0 -1 1077944384 182 0 0 0 10 3 0 0 20 0 15 0 9922931 14316269568 78167 18446744073709551615 4194304 4196468 140735219200416 139840713304592 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6188] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6188/stat : 6188 (java) S 6180 6180 5091 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 9922932 14316269568 78167 18446744073709551615 4194304 4196468 140735219200416 139840662076016 139841116330626 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6189] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6189/stat : 6189 (java) S 6180 6180 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9922933 14316269568 78167 18446744073709551615 4194304 4196468 140735219200416 139840661021984 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6190] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6190/stat : 6190 (java) S 6180 6180 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9922933 14316269568 78167 18446744073709551615 4194304 4196468 140735219200416 139840659969648 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6191] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6191/stat : 6191 (java) S 6180 6180 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9922935 14316269568 78167 18446744073709551615 4194304 4196468 140735219200416 139840658917968 139841116338075 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6192] ppid=6180 vsize=13980732 CPUtime=0.77 cores=1,3,5,7
/proc/6182/task/6192/stat : 6192 (java) R 6180 6180 5091 0 -1 4202560 1752 0 0 0 77 0 0 0 20 0 15 0 9922935 14316269568 78167 18446744073709551615 4194304 4196468 140735219200416 139840657863216 139841095975856 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6193] ppid=6180 vsize=13980732 CPUtime=0.77 cores=1,3,5,7
/proc/6182/task/6193/stat : 6193 (java) R 6180 6180 5091 0 -1 4202560 2202 0 0 0 77 0 0 0 20 0 15 0 9922935 14316269568 78167 18446744073709551615 4194304 4196468 140735219200416 139840656801824 139841097512619 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6194] ppid=6180 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/6182/task/6194/stat : 6194 (java) R 6180 6180 5091 0 -1 4202560 1827 0 0 0 43 0 0 0 20 0 15 0 9922935 14316269568 78167 18446744073709551615 4194304 4196468 140735219200416 139840655759728 139841094685188 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6195] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6195/stat : 6195 (java) S 6180 6180 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9922935 14316269568 78167 18446744073709551615 4194304 4196468 140735219200416 139840654707168 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6196] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6196/stat : 6196 (java) S 6180 6180 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9922941 14316269568 78167 18446744073709551615 4194304 4196468 140735219200416 139840653654960 139841116330626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 13990244
[startup+3.10141 s]
/proc/loadavg: 1.85 1.83 1.27 6/211 6196
/proc/meminfo: memFree=31177524/32770624 swapFree=0/181768
[pid=6180] ppid=6177 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6180/stat : 6180 (xcsp3-exec) S 6177 6180 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9922922 9740288 345 18446744073709551615 4194304 5098028 140726425430320 140726425428424 140021670535804 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 16707584 140726425432476 140726425432679 140726425432679 140726425436139 0
/proc/6180/statm: 2378 345 289 221 0 87 0
[pid=6182] ppid=6180 vsize=13980732 CPUtime=8.94 cores=1,3,5,7
/proc/6182/stat : 6182 (java) S 6180 6180 5091 0 -1 1077944320 18221 0 0 0 835 59 0 0 20 0 15 0 9922930 14316269568 183746 18446744073709551615 4194304 4196468 140735219200416 140735219182960 139841116319479 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
/proc/6182/statm: 3495183 183746 3224 1 0 3483484 0
[pid=6182/tid=6183] ppid=6180 vsize=13980732 CPUtime=1.6 cores=1,3,5,7
/proc/6182/task/6183/stat : 6183 (java) S 6180 6180 5091 0 -1 1077944384 7919 0 0 0 154 6 0 0 20 0 15 0 9922930 14316269568 183746 18446744073709551615 4194304 4196468 140735219200416 139841120557392 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6184] ppid=6180 vsize=13980732 CPUtime=1.25 cores=1,3,5,7
/proc/6182/task/6184/stat : 6184 (java) R 6180 6180 5091 0 -1 4202560 841 0 0 0 113 12 0 0 20 0 15 0 9922931 14316269568 183746 18446744073709551615 4194304 4196468 140735219200416 139841050753424 139841101347362 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6185] ppid=6180 vsize=13980732 CPUtime=1.25 cores=1,3,5,7
/proc/6182/task/6185/stat : 6185 (java) R 6180 6180 5091 0 -1 4202560 610 0 0 0 113 12 0 0 20 0 15 0 9922931 14316269568 183746 18446744073709551615 4194304 4196468 140735219200416 139841049700824 139841100808400 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6186] ppid=6180 vsize=13980732 CPUtime=1.23 cores=1,3,5,7
/proc/6182/task/6186/stat : 6186 (java) R 6180 6180 5091 0 -1 4202560 534 0 0 0 111 12 0 0 20 0 15 0 9922931 14316269568 183746 18446744073709551615 4194304 4196468 140735219200416 139840714357392 139841109423081 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6187] ppid=6180 vsize=13980732 CPUtime=1.25 cores=1,3,5,7
/proc/6182/task/6187/stat : 6187 (java) R 6180 6180 5091 0 -1 4202560 601 0 0 0 113 12 0 0 20 0 15 0 9922931 14316269568 183746 18446744073709551615 4194304 4196468 140735219200416 139840713304592 139841109424157 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6188] ppid=6180 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/6182/task/6188/stat : 6188 (java) S 6180 6180 5091 0 -1 1077944384 510 0 0 0 6 0 0 0 20 0 15 0 9922932 14316269568 183746 18446744073709551615 4194304 4196468 140735219200416 139840662074528 139841116329685 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6189] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6189/stat : 6189 (java) S 6180 6180 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9922933 14316269568 183746 18446744073709551615 4194304 4196468 140735219200416 139840661021984 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6190] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6190/stat : 6190 (java) S 6180 6180 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9922933 14316269568 183746 18446744073709551615 4194304 4196468 140735219200416 139840659969648 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6191] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6191/stat : 6191 (java) S 6180 6180 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9922935 14316269568 183746 18446744073709551615 4194304 4196468 140735219200416 139840658917968 139841116338075 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6192] ppid=6180 vsize=13980732 CPUtime=0.88 cores=1,3,5,7
/proc/6182/task/6192/stat : 6192 (java) S 6180 6180 5091 0 -1 1077944384 1769 0 0 0 88 0 0 0 20 0 15 0 9922935 14316269568 183746 18446744073709551615 4194304 4196468 140735219200416 139840657849808 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6193] ppid=6180 vsize=13980732 CPUtime=0.89 cores=1,3,5,7
/proc/6182/task/6193/stat : 6193 (java) S 6180 6180 5091 0 -1 1077944384 2277 0 0 0 89 0 0 0 20 0 15 0 9922935 14316269568 183746 18446744073709551615 4194304 4196468 140735219200416 139840656812016 139841116330626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6194] ppid=6180 vsize=13980732 CPUtime=0.44 cores=1,3,5,7
/proc/6182/task/6194/stat : 6194 (java) S 6180 6180 5091 0 -1 1077944384 1863 0 0 0 44 0 0 0 20 0 15 0 9922935 14316269568 183746 18446744073709551615 4194304 4196468 140735219200416 139840655759728 139841116330626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6195] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6195/stat : 6195 (java) S 6180 6180 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9922935 14316269568 183746 18446744073709551615 4194304 4196468 140735219200416 139840654707168 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6196] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6196/stat : 6196 (java) S 6180 6180 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9922941 14316269568 183746 18446744073709551615 4194304 4196468 140735219200416 139840653654960 139841116330626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
Current children cumulated CPU time (s) 8.94
Current children cumulated vsize (KiB) 13990244
[startup+6.30549 s]
/proc/loadavg: 1.85 1.83 1.27 6/211 6274
/proc/meminfo: memFree=30724420/32770624 swapFree=0/181804
[pid=6180] ppid=6177 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6180/stat : 6180 (xcsp3-exec) S 6177 6180 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9922922 9740288 345 18446744073709551615 4194304 5098028 140726425430320 140726425428424 140021670535804 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 16707584 140726425432476 140726425432679 140726425432679 140726425436139 0
/proc/6180/statm: 2378 345 289 221 0 87 0
[pid=6182] ppid=6180 vsize=13980732 CPUtime=18.14 cores=1,3,5,7
/proc/6182/stat : 6182 (java) S 6180 6180 5091 0 -1 1077944320 25609 0 0 0 1716 98 0 0 20 0 15 0 9922930 14316269568 278434 18446744073709551615 4194304 4196468 140735219200416 140735219182960 139841116319479 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
/proc/6182/statm: 3495183 278434 3225 1 0 3483484 0
[pid=6182/tid=6183] ppid=6180 vsize=13980732 CPUtime=2.41 cores=1,3,5,7
/proc/6182/task/6183/stat : 6183 (java) R 6180 6180 5091 0 -1 4202560 9704 0 0 0 234 7 0 0 20 0 15 0 9922930 14316269568 278434 18446744073709551615 4194304 4196468 140735219200416 139841120556848 139840735515266 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6184] ppid=6180 vsize=13980732 CPUtime=3.13 cores=1,3,5,7
/proc/6182/task/6184/stat : 6184 (java) S 6180 6180 5091 0 -1 1077944384 1223 0 0 0 291 22 0 0 20 0 15 0 9922931 14316269568 278434 18446744073709551615 4194304 4196468 140735219200416 139841050753424 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6185] ppid=6180 vsize=13980732 CPUtime=3.1 cores=1,3,5,7
/proc/6182/task/6185/stat : 6185 (java) S 6180 6180 5091 0 -1 1077944384 981 0 0 0 288 22 0 0 20 0 15 0 9922931 14316269568 278434 18446744073709551615 4194304 4196468 140735219200416 139841049700624 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6186] ppid=6180 vsize=13980732 CPUtime=3.1 cores=1,3,5,7
/proc/6182/task/6186/stat : 6186 (java) S 6180 6180 5091 0 -1 1077944384 954 0 0 0 289 21 0 0 20 0 15 0 9922931 14316269568 278434 18446744073709551615 4194304 4196468 140735219200416 139840714357392 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6187] ppid=6180 vsize=13980732 CPUtime=3.12 cores=1,3,5,7
/proc/6182/task/6187/stat : 6187 (java) S 6180 6180 5091 0 -1 1077944384 1018 0 0 0 291 21 0 0 20 0 15 0 9922931 14316269568 278434 18446744073709551615 4194304 4196468 140735219200416 139840713304592 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6188] ppid=6180 vsize=13980732 CPUtime=0.58 cores=1,3,5,7
/proc/6182/task/6188/stat : 6188 (java) S 6180 6180 5091 0 -1 1077944384 2316 0 0 0 58 0 0 0 20 0 15 0 9922932 14316269568 278434 18446744073709551615 4194304 4196468 140735219200416 139840662076016 139841116330626 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6189] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6189/stat : 6189 (java) S 6180 6180 5091 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 9922933 14316269568 278434 18446744073709551615 4194304 4196468 140735219200416 139840661022048 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6190] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6190/stat : 6190 (java) S 6180 6180 5091 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 9922933 14316269568 278434 18446744073709551615 4194304 4196468 140735219200416 139840659969664 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6191] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6191/stat : 6191 (java) S 6180 6180 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9922935 14316269568 278434 18446744073709551615 4194304 4196468 140735219200416 139840658917968 139841116338075 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6192] ppid=6180 vsize=13980732 CPUtime=1.05 cores=1,3,5,7
/proc/6182/task/6192/stat : 6192 (java) R 6180 6180 5091 0 -1 4202560 2776 0 0 0 105 0 0 0 20 0 15 0 9922935 14316269568 278434 18446744073709551615 4194304 4196468 140735219200416 139840657864816 139841099815810 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6193] ppid=6180 vsize=13980732 CPUtime=1.05 cores=1,3,5,7
/proc/6182/task/6193/stat : 6193 (java) R 6180 6180 5091 0 -1 4202560 2891 0 0 0 105 0 0 0 20 0 15 0 9922935 14316269568 278434 18446744073709551615 4194304 4196468 140735219200416 139840656811936 139841099830712 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6194] ppid=6180 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/6182/task/6194/stat : 6194 (java) S 6180 6180 5091 0 -1 1077944384 2118 0 0 0 50 0 0 0 20 0 15 0 9922935 14316269568 278434 18446744073709551615 4194304 4196468 140735219200416 139840655759728 139841116330626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6195] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6195/stat : 6195 (java) S 6180 6180 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9922935 14316269568 278434 18446744073709551615 4194304 4196468 140735219200416 139840654707168 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6196] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6196/stat : 6196 (java) S 6180 6180 5091 0 -1 1077944384 357 0 0 0 0 0 0 0 20 0 15 0 9922941 14316269568 278434 18446744073709551615 4194304 4196468 140735219200416 139840653654960 139841116330626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
Current children cumulated CPU time (s) 18.14
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.86 1.83 1.27 3/211 6274
/proc/meminfo: memFree=30575648/32770624 swapFree=0/181812
[pid=6180] ppid=6177 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6180/stat : 6180 (xcsp3-exec) S 6177 6180 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9922922 9740288 345 18446744073709551615 4194304 5098028 140726425430320 140726425428424 140021670535804 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 16707584 140726425432476 140726425432679 140726425432679 140726425436139 0
/proc/6180/statm: 2378 345 289 221 0 87 0
[pid=6182] ppid=6180 vsize=13980732 CPUtime=25.41 cores=1,3,5,7
/proc/6182/stat : 6182 (java) S 6180 6180 5091 0 -1 1077944320 27675 0 0 0 2440 101 0 0 20 0 15 0 9922930 14316269568 304843 18446744073709551615 4194304 4196468 140735219200416 140735219182960 139841116319479 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
/proc/6182/statm: 3495183 304843 3238 1 0 3483484 0
[pid=6182/tid=6183] ppid=6180 vsize=13980732 CPUtime=8.8 cores=1,3,5,7
/proc/6182/task/6183/stat : 6183 (java) R 6180 6180 5091 0 -1 4202560 10330 0 0 0 871 9 0 0 20 0 15 0 9922930 14316269568 304843 18446744073709551615 4194304 4196468 140735219200416 139841120557816 139840736226834 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6184] ppid=6180 vsize=13980732 CPUtime=3.13 cores=1,3,5,7
/proc/6182/task/6184/stat : 6184 (java) S 6180 6180 5091 0 -1 1077944384 1223 0 0 0 291 22 0 0 20 0 15 0 9922931 14316269568 304843 18446744073709551615 4194304 4196468 140735219200416 139841050753424 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6185] ppid=6180 vsize=13980732 CPUtime=3.1 cores=1,3,5,7
/proc/6182/task/6185/stat : 6185 (java) S 6180 6180 5091 0 -1 1077944384 981 0 0 0 288 22 0 0 20 0 15 0 9922931 14316269568 304843 18446744073709551615 4194304 4196468 140735219200416 139841049700624 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
################
# More data... #
################
[pid=6182/tid=6189] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6189/stat : 6189 (java) S 6180 6180 5091 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 9922933 14316269568 419056 18446744073709551615 4194304 4196468 140735219200416 139840661022048 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6190] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6190/stat : 6190 (java) S 6180 6180 5091 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 9922933 14316269568 419056 18446744073709551615 4194304 4196468 140735219200416 139840659969664 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6191] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6191/stat : 6191 (java) S 6180 6180 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9922935 14316269568 419056 18446744073709551615 4194304 4196468 140735219200416 139840658917968 139841116338075 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6192] ppid=6180 vsize=13980732 CPUtime=1.53 cores=1,3,5,7
/proc/6182/task/6192/stat : 6192 (java) S 6180 6180 5091 0 -1 1077944384 5108 0 0 0 152 1 0 0 20 0 15 0 9922935 14316269568 419056 18446744073709551615 4194304 4196468 140735219200416 139840657864816 139841116330626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6193] ppid=6180 vsize=13980732 CPUtime=1.56 cores=1,3,5,7
/proc/6182/task/6193/stat : 6193 (java) S 6180 6180 5091 0 -1 1077944384 5129 0 0 0 155 1 0 0 20 0 15 0 9922935 14316269568 419056 18446744073709551615 4194304 4196468 140735219200416 139840656812016 139841116330626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6194] ppid=6180 vsize=13980732 CPUtime=0.65 cores=1,3,5,7
/proc/6182/task/6194/stat : 6194 (java) S 6180 6180 5091 0 -1 1077944384 4355 0 0 0 64 1 0 0 20 0 15 0 9922935 14316269568 419056 18446744073709551615 4194304 4196468 140735219200416 139840655759728 139841116330626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6195] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6195/stat : 6195 (java) S 6180 6180 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9922935 14316269568 419056 18446744073709551615 4194304 4196468 140735219200416 139840654707168 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6196] ppid=6180 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/6182/task/6196/stat : 6196 (java) S 6180 6180 5091 0 -1 1077944384 450 0 0 0 2 3 0 0 20 0 15 0 9922941 14316269568 419056 18446744073709551615 4194304 4196468 140735219200416 139840653654960 139841116330626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
Current children cumulated CPU time (s) 116.47
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.80 1.83 1.36 3/212 6308
/proc/meminfo: memFree=30060388/32770624 swapFree=0/181912
[pid=6180] ppid=6177 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6180/stat : 6180 (xcsp3-exec) S 6177 6180 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9922922 9740288 345 18446744073709551615 4194304 5098028 140726425430320 140726425428424 140021670535804 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 16707584 140726425432476 140726425432679 140726425432679 140726425436139 0
/proc/6180/statm: 2378 345 289 221 0 87 0
[pid=6182] ppid=6180 vsize=13980732 CPUtime=177.02 cores=1,3,5,7
/proc/6182/stat : 6182 (java) S 6180 6180 5091 0 -1 1077944320 50623 0 0 0 17548 154 0 0 20 0 15 0 9922930 14316269568 421203 18446744073709551615 4194304 4196468 140735219200416 140735219182960 139841116319479 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
/proc/6182/statm: 3495183 421203 3238 1 0 3483484 0
[pid=6182/tid=6183] ppid=6180 vsize=13980732 CPUtime=157.83 cores=1,3,5,7
/proc/6182/task/6183/stat : 6183 (java) R 6180 6180 5091 0 -1 4202560 20077 0 0 0 15772 11 0 0 20 0 15 0 9922930 14316269568 421203 18446744073709551615 4194304 4196468 140735219200416 139841120558864 139840736217716 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6184] ppid=6180 vsize=13980732 CPUtime=3.68 cores=1,3,5,7
/proc/6182/task/6184/stat : 6184 (java) S 6180 6180 5091 0 -1 1077944384 2247 0 0 0 335 33 0 0 20 0 15 0 9922931 14316269568 421203 18446744073709551615 4194304 4196468 140735219200416 139841050753424 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6185] ppid=6180 vsize=13980732 CPUtime=3.64 cores=1,3,5,7
/proc/6182/task/6185/stat : 6185 (java) S 6180 6180 5091 0 -1 1077944384 2264 0 0 0 331 33 0 0 20 0 15 0 9922931 14316269568 421203 18446744073709551615 4194304 4196468 140735219200416 139841049700624 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6186] ppid=6180 vsize=13980732 CPUtime=3.66 cores=1,3,5,7
/proc/6182/task/6186/stat : 6186 (java) S 6180 6180 5091 0 -1 1077944384 2782 0 0 0 333 33 0 0 20 0 15 0 9922931 14316269568 421203 18446744073709551615 4194304 4196468 140735219200416 139840714357392 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6187] ppid=6180 vsize=13980732 CPUtime=3.67 cores=1,3,5,7
/proc/6182/task/6187/stat : 6187 (java) S 6180 6180 5091 0 -1 1077944384 2219 0 0 0 334 33 0 0 20 0 15 0 9922931 14316269568 421203 18446744073709551615 4194304 4196468 140735219200416 139840713304592 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6188] ppid=6180 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/6182/task/6188/stat : 6188 (java) S 6180 6180 5091 0 -1 1077944384 3319 0 0 0 59 0 0 0 20 0 15 0 9922932 14316269568 421203 18446744073709551615 4194304 4196468 140735219200416 139840662076016 139841116330626 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6189] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6189/stat : 6189 (java) S 6180 6180 5091 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 9922933 14316269568 421203 18446744073709551615 4194304 4196468 140735219200416 139840661022048 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6190] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6190/stat : 6190 (java) S 6180 6180 5091 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 9922933 14316269568 421203 18446744073709551615 4194304 4196468 140735219200416 139840659969664 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6191] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6191/stat : 6191 (java) S 6180 6180 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9922935 14316269568 421203 18446744073709551615 4194304 4196468 140735219200416 139840658917968 139841116338075 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6192] ppid=6180 vsize=13980732 CPUtime=1.54 cores=1,3,5,7
/proc/6182/task/6192/stat : 6192 (java) S 6180 6180 5091 0 -1 1077944384 5466 0 0 0 153 1 0 0 20 0 15 0 9922935 14316269568 421203 18446744073709551615 4194304 4196468 140735219200416 139840657864816 139841116330626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6193] ppid=6180 vsize=13980732 CPUtime=1.58 cores=1,3,5,7
/proc/6182/task/6193/stat : 6193 (java) S 6180 6180 5091 0 -1 1077944384 5759 0 0 0 157 1 0 0 20 0 15 0 9922935 14316269568 421203 18446744073709551615 4194304 4196468 140735219200416 139840656812016 139841116330626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6194] ppid=6180 vsize=13980732 CPUtime=0.65 cores=1,3,5,7
/proc/6182/task/6194/stat : 6194 (java) S 6180 6180 5091 0 -1 1077944384 4664 0 0 0 64 1 0 0 20 0 15 0 9922935 14316269568 421203 18446744073709551615 4194304 4196468 140735219200416 139840655759728 139841116330626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6195] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6195/stat : 6195 (java) S 6180 6180 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9922935 14316269568 421203 18446744073709551615 4194304 4196468 140735219200416 139840654707168 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6196] ppid=6180 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/6182/task/6196/stat : 6196 (java) S 6180 6180 5091 0 -1 1077944384 475 0 0 0 4 5 0 0 20 0 15 0 9922941 14316269568 421203 18446744073709551615 4194304 4196468 140735219200416 139840653654960 139841116330626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
Current children cumulated CPU time (s) 177.02
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.82 1.83 1.39 3/212 6310
/proc/meminfo: memFree=29996240/32770624 swapFree=0/181936
[pid=6180] ppid=6177 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6180/stat : 6180 (xcsp3-exec) S 6177 6180 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9922922 9740288 345 18446744073709551615 4194304 5098028 140726425430320 140726425428424 140021670535804 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 16707584 140726425432476 140726425432679 140726425432679 140726425436139 0
/proc/6180/statm: 2378 345 289 221 0 87 0
[pid=6182] ppid=6180 vsize=13980732 CPUtime=237.51 cores=1,3,5,7
/proc/6182/stat : 6182 (java) S 6180 6180 5091 0 -1 1077944320 56007 0 0 0 23589 162 0 0 20 0 15 0 9922930 14316269568 437141 18446744073709551615 4194304 4196468 140735219200416 140735219182960 139841116319479 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
/proc/6182/statm: 3495183 437141 3239 1 0 3483484 0
[pid=6182/tid=6183] ppid=6180 vsize=13980732 CPUtime=217.68 cores=1,3,5,7
/proc/6182/task/6183/stat : 6183 (java) R 6180 6180 5091 0 -1 4202560 22561 0 0 0 21757 11 0 0 20 0 15 0 9922930 14316269568 437141 18446744073709551615 4194304 4196468 140735219200416 139841120559168 139840736217615 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6184] ppid=6180 vsize=13980732 CPUtime=3.82 cores=1,3,5,7
/proc/6182/task/6184/stat : 6184 (java) S 6180 6180 5091 0 -1 1077944384 2520 0 0 0 348 34 0 0 20 0 15 0 9922931 14316269568 437141 18446744073709551615 4194304 4196468 140735219200416 139841050753424 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6185] ppid=6180 vsize=13980732 CPUtime=3.79 cores=1,3,5,7
/proc/6182/task/6185/stat : 6185 (java) S 6180 6180 5091 0 -1 1077944384 2434 0 0 0 344 35 0 0 20 0 15 0 9922931 14316269568 437141 18446744073709551615 4194304 4196468 140735219200416 139841049700624 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6186] ppid=6180 vsize=13980732 CPUtime=3.79 cores=1,3,5,7
/proc/6182/task/6186/stat : 6186 (java) S 6180 6180 5091 0 -1 1077944384 3315 0 0 0 345 34 0 0 20 0 15 0 9922931 14316269568 437141 18446744073709551615 4194304 4196468 140735219200416 139840714357392 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6187] ppid=6180 vsize=13980732 CPUtime=3.82 cores=1,3,5,7
/proc/6182/task/6187/stat : 6187 (java) S 6180 6180 5091 0 -1 1077944384 2331 0 0 0 347 35 0 0 20 0 15 0 9922931 14316269568 437141 18446744073709551615 4194304 4196468 140735219200416 139840713304592 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6188] ppid=6180 vsize=13980732 CPUtime=0.6 cores=1,3,5,7
/proc/6182/task/6188/stat : 6188 (java) S 6180 6180 5091 0 -1 1077944384 3522 0 0 0 60 0 0 0 20 0 15 0 9922932 14316269568 437141 18446744073709551615 4194304 4196468 140735219200416 139840662076016 139841116330626 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6189] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6189/stat : 6189 (java) S 6180 6180 5091 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 9922933 14316269568 437141 18446744073709551615 4194304 4196468 140735219200416 139840661022048 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6190] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6190/stat : 6190 (java) S 6180 6180 5091 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 9922933 14316269568 437141 18446744073709551615 4194304 4196468 140735219200416 139840659969664 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6191] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6191/stat : 6191 (java) S 6180 6180 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9922935 14316269568 437141 18446744073709551615 4194304 4196468 140735219200416 139840658917968 139841116338075 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6192] ppid=6180 vsize=13980732 CPUtime=1.55 cores=1,3,5,7
/proc/6182/task/6192/stat : 6192 (java) S 6180 6180 5091 0 -1 1077944384 5848 0 0 0 154 1 0 0 20 0 15 0 9922935 14316269568 437141 18446744073709551615 4194304 4196468 140735219200416 139840657864816 139841116330626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6193] ppid=6180 vsize=13980732 CPUtime=1.59 cores=1,3,5,7
/proc/6182/task/6193/stat : 6193 (java) S 6180 6180 5091 0 -1 1077944384 6854 0 0 0 158 1 0 0 20 0 15 0 9922935 14316269568 437141 18446744073709551615 4194304 4196468 140735219200416 139840656812016 139841116330626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6194] ppid=6180 vsize=13980732 CPUtime=0.65 cores=1,3,5,7
/proc/6182/task/6194/stat : 6194 (java) S 6180 6180 5091 0 -1 1077944384 4761 0 0 0 64 1 0 0 20 0 15 0 9922935 14316269568 437141 18446744073709551615 4194304 4196468 140735219200416 139840655759728 139841116330626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6195] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6195/stat : 6195 (java) S 6180 6180 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9922935 14316269568 437141 18446744073709551615 4194304 4196468 140735219200416 139840654707168 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6196] ppid=6180 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/6182/task/6196/stat : 6196 (java) S 6180 6180 5091 0 -1 1077944384 510 0 0 0 6 7 0 0 20 0 15 0 9922941 14316269568 437141 18446744073709551615 4194304 4196468 140735219200416 139840653654960 139841116330626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
Current children cumulated CPU time (s) 237.51
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.78 1.82 1.39 3/212 6310
/proc/meminfo: memFree=29996352/32770624 swapFree=0/181944
[pid=6180] ppid=6177 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6180/stat : 6180 (xcsp3-exec) S 6177 6180 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9922922 9740288 345 18446744073709551615 4194304 5098028 140726425430320 140726425428424 140021670535804 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 16707584 140726425432476 140726425432679 140726425432679 140726425436139 0
/proc/6180/statm: 2378 345 289 221 0 87 0
[pid=6182] ppid=6180 vsize=13980732 CPUtime=255.27 cores=1,3,5,7
/proc/6182/stat : 6182 (java) S 6180 6180 5091 0 -1 1077944320 57469 0 0 0 25365 162 0 0 20 0 15 0 9922930 14316269568 437139 18446744073709551615 4194304 4196468 140735219200416 140735219182960 139841116319479 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
/proc/6182/statm: 3495183 437139 3239 1 0 3483484 0
[pid=6182/tid=6183] ppid=6180 vsize=13980732 CPUtime=235.35 cores=1,3,5,7
/proc/6182/task/6183/stat : 6183 (java) R 6180 6180 5091 0 -1 4202560 23115 0 0 0 23524 11 0 0 20 0 15 0 9922930 14316269568 437139 18446744073709551615 4194304 4196468 140735219200416 139841120559056 139840736216936 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6184] ppid=6180 vsize=13980732 CPUtime=3.83 cores=1,3,5,7
/proc/6182/task/6184/stat : 6184 (java) S 6180 6180 5091 0 -1 1077944384 2520 0 0 0 349 34 0 0 20 0 15 0 9922931 14316269568 437139 18446744073709551615 4194304 4196468 140735219200416 139841050753424 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6185] ppid=6180 vsize=13980732 CPUtime=3.8 cores=1,3,5,7
/proc/6182/task/6185/stat : 6185 (java) S 6180 6180 5091 0 -1 1077944384 2434 0 0 0 345 35 0 0 20 0 15 0 9922931 14316269568 437139 18446744073709551615 4194304 4196468 140735219200416 139841049700624 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6186] ppid=6180 vsize=13980732 CPUtime=3.81 cores=1,3,5,7
/proc/6182/task/6186/stat : 6186 (java) S 6180 6180 5091 0 -1 1077944384 3318 0 0 0 347 34 0 0 20 0 15 0 9922931 14316269568 437139 18446744073709551615 4194304 4196468 140735219200416 139840714357392 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6187] ppid=6180 vsize=13980732 CPUtime=3.83 cores=1,3,5,7
/proc/6182/task/6187/stat : 6187 (java) S 6180 6180 5091 0 -1 1077944384 2332 0 0 0 348 35 0 0 20 0 15 0 9922931 14316269568 437139 18446744073709551615 4194304 4196468 140735219200416 139840713304592 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6188] ppid=6180 vsize=13980732 CPUtime=0.6 cores=1,3,5,7
/proc/6182/task/6188/stat : 6188 (java) S 6180 6180 5091 0 -1 1077944384 3522 0 0 0 60 0 0 0 20 0 15 0 9922932 14316269568 437139 18446744073709551615 4194304 4196468 140735219200416 139840662076016 139841116330626 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6189] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6189/stat : 6189 (java) S 6180 6180 5091 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 9922933 14316269568 437139 18446744073709551615 4194304 4196468 140735219200416 139840661022048 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6190] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6190/stat : 6190 (java) S 6180 6180 5091 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 9922933 14316269568 437139 18446744073709551615 4194304 4196468 140735219200416 139840659969664 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6191] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6191/stat : 6191 (java) S 6180 6180 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9922935 14316269568 437139 18446744073709551615 4194304 4196468 140735219200416 139840658917968 139841116338075 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6192] ppid=6180 vsize=13980732 CPUtime=1.56 cores=1,3,5,7
/proc/6182/task/6192/stat : 6192 (java) S 6180 6180 5091 0 -1 1077944384 6083 0 0 0 155 1 0 0 20 0 15 0 9922935 14316269568 437139 18446744073709551615 4194304 4196468 140735219200416 139840657864816 139841116330626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6193] ppid=6180 vsize=13980732 CPUtime=1.6 cores=1,3,5,7
/proc/6182/task/6193/stat : 6193 (java) S 6180 6180 5091 0 -1 1077944384 7208 0 0 0 159 1 0 0 20 0 15 0 9922935 14316269568 437139 18446744073709551615 4194304 4196468 140735219200416 139840656812016 139841116330626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6194] ppid=6180 vsize=13980732 CPUtime=0.65 cores=1,3,5,7
/proc/6182/task/6194/stat : 6194 (java) S 6180 6180 5091 0 -1 1077944384 5072 0 0 0 64 1 0 0 20 0 15 0 9922935 14316269568 437139 18446744073709551615 4194304 4196468 140735219200416 139840655759728 139841116330626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6195] ppid=6180 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6182/task/6195/stat : 6195 (java) S 6180 6180 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9922935 14316269568 437139 18446744073709551615 4194304 4196468 140735219200416 139840654707168 139841116329685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
[pid=6182/tid=6196] ppid=6180 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/6182/task/6196/stat : 6196 (java) S 6180 6180 5091 0 -1 1077944384 514 0 0 0 6 8 0 0 20 0 15 0 9922941 14316269568 437139 18446744073709551615 4194304 4196468 140735219200416 139840653654960 139841116330626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140735219208660 140735219208835 140735219208835 140735219212239 0
Current children cumulated CPU time (s) 255.27
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 6182 sig 9
??? kill 6180 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 6180 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1676
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=928
# CPU time returned by wait4() is 0.002604
# while last known CPU time is 255.27
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.011
CPU time (s): 255.27
CPU user time (s): 253.65
CPU system time (s): 1.62
CPU usage (%): 106.358
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001676
system time used= 0.000928
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511
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.05477 second user time and 1.64007 second system time
The end