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-4254039-1501614376/watcher-4254039-1501614376 -o /tmp/evaluation-result-4254039-1501614376/solver-4254039-1501614376 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501610360-3274 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 88701113 HOME/instance-4254039-1501614376.xml
pid=6172
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.97 1.96 1.88 3/200 6175
/proc/meminfo: memFree=29995724/32770624 swapFree=0/161456
[pid=6175] ppid=6172 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6175/stat : 6175 (runsolver) D 6172 6175 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 3348221 24240128 108 18446744073709551615 4194304 4338465 140729350339984 140729350337624 140663336456919 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 22552576 140729350348896 140729350349383 140729350349383 140729350352842 0
/proc/6175/statm: 5918 108 54 36 0 2156 0
[startup+0.100141 s]
/proc/loadavg: 1.97 1.96 1.88 3/200 6175
/proc/meminfo: memFree=29995724/32770624 swapFree=0/161456
[pid=6175] ppid=6172 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6175/stat : 6175 (xcsp3-exec) S 6172 6175 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3348221 9740288 345 18446744073709551615 4194304 5098028 140729742231744 140729742229848 140192756183676 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 18817024 140729742234014 140729742234216 140729742234216 140729742237675 0
/proc/6175/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200352 s]
/proc/loadavg: 1.97 1.96 1.88 3/200 6175
/proc/meminfo: memFree=29995724/32770624 swapFree=0/161456
[pid=6175] ppid=6172 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6175/stat : 6175 (xcsp3-exec) S 6172 6175 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3348221 9740288 345 18446744073709551615 4194304 5098028 140729742231744 140729742229848 140192756183676 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 18817024 140729742234014 140729742234216 140729742234216 140729742237675 0
/proc/6175/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300224 s]
/proc/loadavg: 1.97 1.96 1.88 3/200 6175
/proc/meminfo: memFree=29995724/32770624 swapFree=0/161456
[pid=6175] ppid=6172 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6175/stat : 6175 (xcsp3-exec) S 6172 6175 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3348221 9740288 345 18446744073709551615 4194304 5098028 140729742231744 140729742229848 140192756183676 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 18817024 140729742234014 140729742234216 140729742234216 140729742237675 0
/proc/6175/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.7011 s]
/proc/loadavg: 1.97 1.96 1.88 3/200 6175
/proc/meminfo: memFree=29995724/32770624 swapFree=0/161456
[pid=6175] ppid=6172 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6175/stat : 6175 (xcsp3-exec) S 6172 6175 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3348221 9740288 345 18446744073709551615 4194304 5098028 140729742231744 140729742229848 140192756183676 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 18817024 140729742234014 140729742234216 140729742234216 140729742237675 0
/proc/6175/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5011 s]
/proc/loadavg: 1.97 1.96 1.88 5/216 6191
/proc/meminfo: memFree=29809952/32770624 swapFree=0/161476
[pid=6175] ppid=6172 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6175/stat : 6175 (xcsp3-exec) S 6172 6175 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3348221 9740288 345 18446744073709551615 4194304 5098028 140729742231744 140729742229848 140192756183676 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 18817024 140729742234014 140729742234216 140729742234216 140729742237675 0
/proc/6175/statm: 2378 345 289 221 0 87 0
[pid=6177] ppid=6175 vsize=13980732 CPUtime=4.07 cores=1,3,5,7
/proc/6177/stat : 6177 (java) S 6175 6175 3187 0 -1 1077944320 16366 0 0 0 396 11 0 0 20 0 15 0 3348227 14316269568 56925 18446744073709551615 4194304 4196468 140720652659568 140720652642112 140040969223927 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
/proc/6177/statm: 3495183 56925 3207 1 0 3483484 0
[pid=6177/tid=6178] ppid=6175 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/6177/task/6178/stat : 6178 (java) R 6175 6175 3187 0 -1 4202560 8540 0 0 0 129 5 0 0 20 0 15 0 3348227 14316269568 56925 18446744073709551615 4194304 4196468 140720652659568 140040973461048 140040969235862 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6179] ppid=6175 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6177/task/6179/stat : 6179 (java) S 6175 6175 3187 0 -1 1077944384 62 0 0 0 1 1 0 0 20 0 15 0 3348228 14316269568 56925 18446744073709551615 4194304 4196468 140720652659568 140040903658512 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6180] ppid=6175 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/6177/task/6180/stat : 6180 (java) S 6175 6175 3187 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 15 0 3348228 14316269568 56925 18446744073709551615 4194304 4196468 140720652659568 140040902605968 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6181] ppid=6175 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6177/task/6181/stat : 6181 (java) S 6175 6175 3187 0 -1 1077944384 113 0 0 0 2 1 0 0 20 0 15 0 3348228 14316269568 56925 18446744073709551615 4194304 4196468 140720652659568 140040901552912 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6182] ppid=6175 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6177/task/6182/stat : 6182 (java) S 6175 6175 3187 0 -1 1077944384 77 0 0 0 2 1 0 0 20 0 15 0 3348228 14316269568 56925 18446744073709551615 4194304 4196468 140720652659568 140040900500368 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6183] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6183/stat : 6183 (java) S 6175 6175 3187 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 3348229 14316269568 56925 18446744073709551615 4194304 4196468 140720652659568 140040447690992 140040969235074 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6184] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6184/stat : 6184 (java) S 6175 6175 3187 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 3348230 14316269568 56925 18446744073709551615 4194304 4196468 140720652659568 140040446637280 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6185] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6185/stat : 6185 (java) S 6175 6175 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3348230 14316269568 56925 18446744073709551615 4194304 4196468 140720652659568 140040445584128 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6186] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6186/stat : 6186 (java) S 6175 6175 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3348232 14316269568 56925 18446744073709551615 4194304 4196468 140720652659568 140040444532688 140040969242523 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6187] ppid=6175 vsize=13980732 CPUtime=1.01 cores=1,3,5,7
/proc/6177/task/6187/stat : 6187 (java) R 6175 6175 3187 0 -1 4202560 2393 0 0 0 101 0 0 0 20 0 15 0 3348232 14316269568 56925 18446744073709551615 4194304 4196468 140720652659568 140040443473304 140040949067521 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6188] ppid=6175 vsize=13980732 CPUtime=0.99 cores=1,3,5,7
/proc/6177/task/6188/stat : 6188 (java) R 6175 6175 3187 0 -1 4202560 1601 0 0 0 99 0 0 0 20 0 15 0 3348232 14316269568 56925 18446744073709551615 4194304 4196468 140720652659568 140040442409840 140040969237809 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6189] ppid=6175 vsize=13980732 CPUtime=0.56 cores=1,3,5,7
/proc/6177/task/6189/stat : 6189 (java) S 6175 6175 3187 0 -1 1077944384 2149 0 0 0 56 0 0 0 20 0 15 0 3348232 14316269568 56925 18446744073709551615 4194304 4196468 140720652659568 140040441375216 140040969235074 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6190] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6190/stat : 6190 (java) S 6175 6175 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3348233 14316269568 56925 18446744073709551615 4194304 4196468 140720652659568 140040440322912 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6191] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6191/stat : 6191 (java) S 6175 6175 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3348237 14316269568 56925 18446744073709551615 4194304 4196468 140720652659568 140040439269936 140040969235074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 13990244
[startup+3.10706 s]
/proc/loadavg: 1.97 1.96 1.88 5/216 6191
/proc/meminfo: memFree=29535040/32770624 swapFree=0/161476
[pid=6175] ppid=6172 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6175/stat : 6175 (xcsp3-exec) S 6172 6175 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3348221 9740288 345 18446744073709551615 4194304 5098028 140729742231744 140729742229848 140192756183676 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 18817024 140729742234014 140729742234216 140729742234216 140729742237675 0
/proc/6175/statm: 2378 345 289 221 0 87 0
[pid=6177] ppid=6175 vsize=13980732 CPUtime=9.74 cores=1,3,5,7
/proc/6177/stat : 6177 (java) S 6175 6175 3187 0 -1 1077944320 20404 0 0 0 926 48 0 0 20 0 15 0 3348227 14316269568 160739 18446744073709551615 4194304 4196468 140720652659568 140720652642112 140040969223927 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
/proc/6177/statm: 3495183 160739 3232 1 0 3483484 0
[pid=6177/tid=6178] ppid=6175 vsize=13980732 CPUtime=1.96 cores=1,3,5,7
/proc/6177/task/6178/stat : 6178 (java) S 6175 6175 3187 0 -1 1077944384 8594 0 0 0 189 7 0 0 20 0 15 0 3348227 14316269568 160739 18446744073709551615 4194304 4196468 140720652659568 140040973462816 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6179] ppid=6175 vsize=13980732 CPUtime=1 cores=1,3,5,7
/proc/6177/task/6179/stat : 6179 (java) R 6175 6175 3187 0 -1 4202560 298 0 0 0 90 10 0 0 20 0 15 0 3348228 14316269568 160739 18446744073709551615 4194304 4196468 140720652659568 140040903658512 140040953924531 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6180] ppid=6175 vsize=13980732 CPUtime=0.96 cores=1,3,5,7
/proc/6177/task/6180/stat : 6180 (java) R 6175 6175 3187 0 -1 4202560 453 0 0 0 88 8 0 0 20 0 15 0 3348228 14316269568 160739 18446744073709551615 4194304 4196468 140720652659568 140040902605776 140040961852135 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6181] ppid=6175 vsize=13980732 CPUtime=0.97 cores=1,3,5,7
/proc/6177/task/6181/stat : 6181 (java) R 6175 6175 3187 0 -1 4202560 720 0 0 0 88 9 0 0 20 0 15 0 3348228 14316269568 160739 18446744073709551615 4194304 4196468 140720652659568 140040901552720 140040961852135 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6182] ppid=6175 vsize=13980732 CPUtime=0.99 cores=1,3,5,7
/proc/6177/task/6182/stat : 6182 (java) R 6175 6175 3187 0 -1 4202560 551 0 0 0 89 10 0 0 20 0 15 0 3348228 14316269568 160739 18446744073709551615 4194304 4196468 140720652659568 140040900500488 140040953924558 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6183] ppid=6175 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/6177/task/6183/stat : 6183 (java) S 6175 6175 3187 0 -1 1077944384 228 0 0 0 1 0 0 0 20 0 15 0 3348229 14316269568 160739 18446744073709551615 4194304 4196468 140720652659568 140040447689536 140040969234133 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6184] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6184/stat : 6184 (java) S 6175 6175 3187 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 3348230 14316269568 160739 18446744073709551615 4194304 4196468 140720652659568 140040446637280 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6185] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6185/stat : 6185 (java) S 6175 6175 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3348230 14316269568 160739 18446744073709551615 4194304 4196468 140720652659568 140040445584128 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6186] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6186/stat : 6186 (java) S 6175 6175 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3348232 14316269568 160739 18446744073709551615 4194304 4196468 140720652659568 140040444532688 140040969242523 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6187] ppid=6175 vsize=13980732 CPUtime=1.63 cores=1,3,5,7
/proc/6177/task/6187/stat : 6187 (java) S 6175 6175 3187 0 -1 1077944384 3192 0 0 0 163 0 0 0 20 0 15 0 3348232 14316269568 160739 18446744073709551615 4194304 4196468 140720652659568 140040443480816 140040969235074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6188] ppid=6175 vsize=13980732 CPUtime=1.56 cores=1,3,5,7
/proc/6177/task/6188/stat : 6188 (java) S 6175 6175 3187 0 -1 1077944384 2921 0 0 0 156 0 0 0 20 0 15 0 3348232 14316269568 160739 18446744073709551615 4194304 4196468 140720652659568 140040442428272 140040969235074 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6189] ppid=6175 vsize=13980732 CPUtime=0.57 cores=1,3,5,7
/proc/6177/task/6189/stat : 6189 (java) S 6175 6175 3187 0 -1 1077944384 2149 0 0 0 57 0 0 0 20 0 15 0 3348232 14316269568 160739 18446744073709551615 4194304 4196468 140720652659568 140040441375216 140040969235074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6190] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6190/stat : 6190 (java) S 6175 6175 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3348233 14316269568 160739 18446744073709551615 4194304 4196468 140720652659568 140040440322912 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6191] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6191/stat : 6191 (java) S 6175 6175 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3348237 14316269568 160739 18446744073709551615 4194304 4196468 140720652659568 140040439269936 140040969235074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
Current children cumulated CPU time (s) 9.74
Current children cumulated vsize (KiB) 13990244
[startup+6.30081 s]
/proc/loadavg: 1.98 1.96 1.88 5/216 6191
/proc/meminfo: memFree=29362880/32770624 swapFree=0/161488
[pid=6175] ppid=6172 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6175/stat : 6175 (xcsp3-exec) S 6172 6175 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3348221 9740288 345 18446744073709551615 4194304 5098028 140729742231744 140729742229848 140192756183676 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 18817024 140729742234014 140729742234216 140729742234216 140729742237675 0
/proc/6175/statm: 2378 345 289 221 0 87 0
[pid=6177] ppid=6175 vsize=13980732 CPUtime=15.46 cores=1,3,5,7
/proc/6177/stat : 6177 (java) S 6175 6175 3187 0 -1 1077944320 27873 0 0 0 1496 50 0 0 20 0 15 0 3348227 14316269568 161553 18446744073709551615 4194304 4196468 140720652659568 140720652642112 140040969223927 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
/proc/6177/statm: 3495183 161553 3241 1 0 3483484 0
[pid=6177/tid=6178] ppid=6175 vsize=13980732 CPUtime=4.87 cores=1,3,5,7
/proc/6177/task/6178/stat : 6178 (java) R 6175 6175 3187 0 -1 4202560 9998 0 0 0 480 7 0 0 20 0 15 0 3348227 14316269568 161553 18446744073709551615 4194304 4196468 140720652659568 140040973460048 140040588461895 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6179] ppid=6175 vsize=13980732 CPUtime=1.24 cores=1,3,5,7
/proc/6177/task/6179/stat : 6179 (java) S 6175 6175 3187 0 -1 1077944384 298 0 0 0 114 10 0 0 20 0 15 0 3348228 14316269568 161553 18446744073709551615 4194304 4196468 140720652659568 140040903658512 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6180] ppid=6175 vsize=13980732 CPUtime=1.19 cores=1,3,5,7
/proc/6177/task/6180/stat : 6180 (java) S 6175 6175 3187 0 -1 1077944384 453 0 0 0 111 8 0 0 20 0 15 0 3348228 14316269568 161553 18446744073709551615 4194304 4196468 140720652659568 140040902605968 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6181] ppid=6175 vsize=13980732 CPUtime=1.2 cores=1,3,5,7
/proc/6177/task/6181/stat : 6181 (java) S 6175 6175 3187 0 -1 1077944384 721 0 0 0 111 9 0 0 20 0 15 0 3348228 14316269568 161553 18446744073709551615 4194304 4196468 140720652659568 140040901552912 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6182] ppid=6175 vsize=13980732 CPUtime=1.22 cores=1,3,5,7
/proc/6177/task/6182/stat : 6182 (java) S 6175 6175 3187 0 -1 1077944384 551 0 0 0 112 10 0 0 20 0 15 0 3348228 14316269568 161553 18446744073709551615 4194304 4196468 140720652659568 140040900500368 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6183] ppid=6175 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/6177/task/6183/stat : 6183 (java) S 6175 6175 3187 0 -1 1077944384 527 0 0 0 6 0 0 0 20 0 15 0 3348229 14316269568 161553 18446744073709551615 4194304 4196468 140720652659568 140040447690992 140040969235074 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6184] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6184/stat : 6184 (java) S 6175 6175 3187 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 3348230 14316269568 161553 18446744073709551615 4194304 4196468 140720652659568 140040446637280 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6185] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6185/stat : 6185 (java) S 6175 6175 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3348230 14316269568 161553 18446744073709551615 4194304 4196468 140720652659568 140040445584128 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6186] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6186/stat : 6186 (java) S 6175 6175 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3348232 14316269568 161553 18446744073709551615 4194304 4196468 140720652659568 140040444532688 140040969242523 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6187] ppid=6175 vsize=13980732 CPUtime=2.47 cores=1,3,5,7
/proc/6177/task/6187/stat : 6187 (java) S 6175 6175 3187 0 -1 1077944384 5666 0 0 0 247 0 0 0 20 0 15 0 3348232 14316269568 161553 18446744073709551615 4194304 4196468 140720652659568 140040443480816 140040969235074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6188] ppid=6175 vsize=13980732 CPUtime=2.43 cores=1,3,5,7
/proc/6177/task/6188/stat : 6188 (java) R 6175 6175 3187 0 -1 4202560 4768 0 0 0 242 1 0 0 20 0 15 0 3348232 14316269568 161553 18446744073709551615 4194304 4196468 140720652659568 140040442428272 140040950768577 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6189] ppid=6175 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/6177/task/6189/stat : 6189 (java) S 6175 6175 3187 0 -1 1077944384 3022 0 0 0 70 1 0 0 20 0 15 0 3348232 14316269568 161553 18446744073709551615 4194304 4196468 140720652659568 140040441375216 140040969235074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6190] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6190/stat : 6190 (java) S 6175 6175 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3348233 14316269568 161553 18446744073709551615 4194304 4196468 140720652659568 140040440322912 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6191] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6191/stat : 6191 (java) S 6175 6175 3187 0 -1 1077944384 572 0 0 0 0 0 0 0 20 0 15 0 3348237 14316269568 161553 18446744073709551615 4194304 4196468 140720652659568 140040439269936 140040969235074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
Current children cumulated CPU time (s) 15.46
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.98 1.96 1.88 3/216 6191
/proc/meminfo: memFree=29355688/32770624 swapFree=0/161492
[pid=6175] ppid=6172 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6175/stat : 6175 (xcsp3-exec) S 6172 6175 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3348221 9740288 345 18446744073709551615 4194304 5098028 140729742231744 140729742229848 140192756183676 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 18817024 140729742234014 140729742234216 140729742234216 140729742237675 0
/proc/6175/statm: 2378 345 289 221 0 87 0
[pid=6177] ppid=6175 vsize=13980732 CPUtime=22.84 cores=1,3,5,7
/proc/6177/stat : 6177 (java) S 6175 6175 3187 0 -1 1077944320 30623 0 0 0 2234 50 0 0 20 0 15 0 3348227 14316269568 162316 18446744073709551615 4194304 4196468 140720652659568 140720652642112 140040969223927 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
/proc/6177/statm: 3495183 162316 3241 1 0 3483484 0
[pid=6177/tid=6178] ppid=6175 vsize=13980732 CPUtime=11.26 cores=1,3,5,7
/proc/6177/task/6178/stat : 6178 (java) R 6175 6175 3187 0 -1 4202560 10605 0 0 0 1119 7 0 0 20 0 15 0 3348227 14316269568 162316 18446744073709551615 4194304 4196468 140720652659568 140040973462184 140040588744813 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6179] ppid=6175 vsize=13980732 CPUtime=1.24 cores=1,3,5,7
/proc/6177/task/6179/stat : 6179 (java) S 6175 6175 3187 0 -1 1077944384 298 0 0 0 114 10 0 0 20 0 15 0 3348228 14316269568 162316 18446744073709551615 4194304 4196468 140720652659568 140040903658512 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6180] ppid=6175 vsize=13980732 CPUtime=1.19 cores=1,3,5,7
/proc/6177/task/6180/stat : 6180 (java) S 6175 6175 3187 0 -1 1077944384 453 0 0 0 111 8 0 0 20 0 15 0 3348228 14316269568 162316 18446744073709551615 4194304 4196468 140720652659568 140040902605968 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
################
# More data... #
################
[pid=6177/tid=6184] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6184/stat : 6184 (java) S 6175 6175 3187 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 3348230 14316269568 283138 18446744073709551615 4194304 4196468 140720652659568 140040446637280 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6185] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6185/stat : 6185 (java) S 6175 6175 3187 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 3348230 14316269568 283138 18446744073709551615 4194304 4196468 140720652659568 140040445584128 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6186] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6186/stat : 6186 (java) S 6175 6175 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3348232 14316269568 283138 18446744073709551615 4194304 4196468 140720652659568 140040444532688 140040969242523 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6187] ppid=6175 vsize=13980732 CPUtime=3.14 cores=1,3,5,7
/proc/6177/task/6187/stat : 6187 (java) S 6175 6175 3187 0 -1 1077944384 9821 0 0 0 313 1 0 0 20 0 15 0 3348232 14316269568 283138 18446744073709551615 4194304 4196468 140720652659568 140040443480816 140040969235074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6188] ppid=6175 vsize=13980732 CPUtime=3.04 cores=1,3,5,7
/proc/6177/task/6188/stat : 6188 (java) S 6175 6175 3187 0 -1 1077944384 8560 0 0 0 303 1 0 0 20 0 15 0 3348232 14316269568 283138 18446744073709551615 4194304 4196468 140720652659568 140040442428272 140040969235074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6189] ppid=6175 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/6177/task/6189/stat : 6189 (java) S 6175 6175 3187 0 -1 1077944384 6328 0 0 0 75 1 0 0 20 0 15 0 3348232 14316269568 283138 18446744073709551615 4194304 4196468 140720652659568 140040441375216 140040969235074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6190] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6190/stat : 6190 (java) S 6175 6175 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3348233 14316269568 283138 18446744073709551615 4194304 4196468 140720652659568 140040440322912 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6191] ppid=6175 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/6177/task/6191/stat : 6191 (java) S 6175 6175 3187 0 -1 1077944384 720 0 0 0 2 4 0 0 20 0 15 0 3348237 14316269568 283138 18446744073709551615 4194304 4196468 140720652659568 140040439269936 140040969235074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
Current children cumulated CPU time (s) 114.61
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.37 2.07 1.93 3/216 6273
/proc/meminfo: memFree=30408772/32770624 swapFree=0/161612
[pid=6175] ppid=6172 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6175/stat : 6175 (xcsp3-exec) S 6172 6175 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3348221 9740288 345 18446744073709551615 4194304 5098028 140729742231744 140729742229848 140192756183676 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 18817024 140729742234014 140729742234216 140729742234216 140729742237675 0
/proc/6175/statm: 2378 345 289 221 0 87 0
[pid=6177] ppid=6175 vsize=13980732 CPUtime=175.07 cores=1,3,5,7
/proc/6177/stat : 6177 (java) S 6175 6175 3187 0 -1 1077944320 54477 0 0 0 17424 83 0 0 20 0 15 0 3348227 14316269568 398424 18446744073709551615 4194304 4196468 140720652659568 140720652642112 140040969223927 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
/proc/6177/statm: 3495183 398424 3243 1 0 3483484 0
[pid=6177/tid=6178] ppid=6175 vsize=13980732 CPUtime=159.85 cores=1,3,5,7
/proc/6177/task/6178/stat : 6178 (java) R 6175 6175 3187 0 -1 4202560 13927 0 0 0 15974 11 0 0 20 0 15 0 3348227 14316269568 398424 18446744073709551615 4194304 4196468 140720652659568 140040973459664 140040588163845 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6179] ppid=6175 vsize=13980732 CPUtime=1.92 cores=1,3,5,7
/proc/6177/task/6179/stat : 6179 (java) S 6175 6175 3187 0 -1 1077944384 2142 0 0 0 175 17 0 0 20 0 15 0 3348228 14316269568 398424 18446744073709551615 4194304 4196468 140720652659568 140040903658512 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6180] ppid=6175 vsize=13980732 CPUtime=1.87 cores=1,3,5,7
/proc/6177/task/6180/stat : 6180 (java) S 6175 6175 3187 0 -1 1077944384 1555 0 0 0 174 13 0 0 20 0 15 0 3348228 14316269568 398424 18446744073709551615 4194304 4196468 140720652659568 140040902605968 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6181] ppid=6175 vsize=13980732 CPUtime=1.88 cores=1,3,5,7
/proc/6177/task/6181/stat : 6181 (java) S 6175 6175 3187 0 -1 1077944384 1774 0 0 0 175 13 0 0 20 0 15 0 3348228 14316269568 398424 18446744073709551615 4194304 4196468 140720652659568 140040901552912 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6182] ppid=6175 vsize=13980732 CPUtime=1.89 cores=1,3,5,7
/proc/6177/task/6182/stat : 6182 (java) S 6175 6175 3187 0 -1 1077944384 1145 0 0 0 176 13 0 0 20 0 15 0 3348228 14316269568 398424 18446744073709551615 4194304 4196468 140720652659568 140040900500368 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6183] ppid=6175 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/6177/task/6183/stat : 6183 (java) S 6175 6175 3187 0 -1 1077944384 5565 0 0 0 42 5 0 0 20 0 15 0 3348229 14316269568 398424 18446744073709551615 4194304 4196468 140720652659568 140040447690992 140040969235074 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6184] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6184/stat : 6184 (java) S 6175 6175 3187 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 3348230 14316269568 398424 18446744073709551615 4194304 4196468 140720652659568 140040446637280 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6185] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6185/stat : 6185 (java) S 6175 6175 3187 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 3348230 14316269568 398424 18446744073709551615 4194304 4196468 140720652659568 140040445584128 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6186] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6186/stat : 6186 (java) S 6175 6175 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3348232 14316269568 398424 18446744073709551615 4194304 4196468 140720652659568 140040444532688 140040969242523 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6187] ppid=6175 vsize=13980732 CPUtime=3.18 cores=1,3,5,7
/proc/6177/task/6187/stat : 6187 (java) S 6175 6175 3187 0 -1 1077944384 10980 0 0 0 317 1 0 0 20 0 15 0 3348232 14316269568 398424 18446744073709551615 4194304 4196468 140720652659568 140040443480816 140040969235074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6188] ppid=6175 vsize=13980732 CPUtime=3.05 cores=1,3,5,7
/proc/6177/task/6188/stat : 6188 (java) S 6175 6175 3187 0 -1 1077944384 8629 0 0 0 304 1 0 0 20 0 15 0 3348232 14316269568 398424 18446744073709551615 4194304 4196468 140720652659568 140040442428272 140040969235074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6189] ppid=6175 vsize=13980732 CPUtime=0.77 cores=1,3,5,7
/proc/6177/task/6189/stat : 6189 (java) S 6175 6175 3187 0 -1 1077944384 6711 0 0 0 76 1 0 0 20 0 15 0 3348232 14316269568 398424 18446744073709551615 4194304 4196468 140720652659568 140040441375216 140040969235074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6190] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6190/stat : 6190 (java) S 6175 6175 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3348233 14316269568 398424 18446744073709551615 4194304 4196468 140720652659568 140040440322912 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6191] ppid=6175 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/6177/task/6191/stat : 6191 (java) S 6175 6175 3187 0 -1 1077944384 725 0 0 0 4 6 0 0 20 0 15 0 3348237 14316269568 398424 18446744073709551615 4194304 4196468 140720652659568 140040439269936 140040969235074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
Current children cumulated CPU time (s) 175.07
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.21 2.07 1.94 3/215 6276
/proc/meminfo: memFree=30327260/32770624 swapFree=0/161676
[pid=6175] ppid=6172 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6175/stat : 6175 (xcsp3-exec) S 6172 6175 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3348221 9740288 345 18446744073709551615 4194304 5098028 140729742231744 140729742229848 140192756183676 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 18817024 140729742234014 140729742234216 140729742234216 140729742237675 0
/proc/6175/statm: 2378 345 289 221 0 87 0
[pid=6177] ppid=6175 vsize=13980732 CPUtime=235.38 cores=1,3,5,7
/proc/6177/stat : 6177 (java) S 6175 6175 3187 0 -1 1077944320 59822 0 0 0 23452 86 0 0 20 0 15 0 3348227 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140720652642112 140040969223927 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
/proc/6177/statm: 3495183 398431 3243 1 0 3483484 0
[pid=6177/tid=6178] ppid=6175 vsize=13980732 CPUtime=219.86 cores=1,3,5,7
/proc/6177/task/6178/stat : 6178 (java) R 6175 6175 3187 0 -1 4202560 15013 0 0 0 21975 11 0 0 20 0 15 0 3348227 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040973459392 140040589049197 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6179] ppid=6175 vsize=13980732 CPUtime=1.92 cores=1,3,5,7
/proc/6177/task/6179/stat : 6179 (java) S 6175 6175 3187 0 -1 1077944384 2142 0 0 0 175 17 0 0 20 0 15 0 3348228 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040903658512 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6180] ppid=6175 vsize=13980732 CPUtime=1.87 cores=1,3,5,7
/proc/6177/task/6180/stat : 6180 (java) S 6175 6175 3187 0 -1 1077944384 1555 0 0 0 174 13 0 0 20 0 15 0 3348228 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040902605968 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6181] ppid=6175 vsize=13980732 CPUtime=1.88 cores=1,3,5,7
/proc/6177/task/6181/stat : 6181 (java) S 6175 6175 3187 0 -1 1077944384 1774 0 0 0 175 13 0 0 20 0 15 0 3348228 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040901552912 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6182] ppid=6175 vsize=13980732 CPUtime=1.89 cores=1,3,5,7
/proc/6177/task/6182/stat : 6182 (java) S 6175 6175 3187 0 -1 1077944384 1145 0 0 0 176 13 0 0 20 0 15 0 3348228 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040900500368 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6183] ppid=6175 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/6177/task/6183/stat : 6183 (java) S 6175 6175 3187 0 -1 1077944384 5611 0 0 0 42 5 0 0 20 0 15 0 3348229 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040447690992 140040969235074 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6184] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6184/stat : 6184 (java) S 6175 6175 3187 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 3348230 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040446637280 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6185] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6185/stat : 6185 (java) S 6175 6175 3187 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 3348230 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040445584128 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6186] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6186/stat : 6186 (java) S 6175 6175 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3348232 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040444532688 140040969242523 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6187] ppid=6175 vsize=13980732 CPUtime=3.25 cores=1,3,5,7
/proc/6177/task/6187/stat : 6187 (java) S 6175 6175 3187 0 -1 1077944384 12210 0 0 0 324 1 0 0 20 0 15 0 3348232 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040443480816 140040969235074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6188] ppid=6175 vsize=13980732 CPUtime=3.22 cores=1,3,5,7
/proc/6177/task/6188/stat : 6188 (java) S 6175 6175 3187 0 -1 1077944384 10645 0 0 0 320 2 0 0 20 0 15 0 3348232 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040442428272 140040969235074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6189] ppid=6175 vsize=13980732 CPUtime=0.79 cores=1,3,5,7
/proc/6177/task/6189/stat : 6189 (java) S 6175 6175 3187 0 -1 1077944384 7634 0 0 0 78 1 0 0 20 0 15 0 3348232 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040441375216 140040969235074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6190] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6190/stat : 6190 (java) S 6175 6175 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3348233 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040440322912 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6191] ppid=6175 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/6177/task/6191/stat : 6191 (java) S 6175 6175 3187 0 -1 1077944384 769 0 0 0 6 8 0 0 20 0 15 0 3348237 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040439269936 140040969235074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
Current children cumulated CPU time (s) 235.38
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.31 2.10 1.95 3/215 6277
/proc/meminfo: memFree=30308056/32770624 swapFree=0/161688
[pid=6175] ppid=6172 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6175/stat : 6175 (xcsp3-exec) S 6172 6175 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3348221 9740288 345 18446744073709551615 4194304 5098028 140729742231744 140729742229848 140192756183676 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 18817024 140729742234014 140729742234216 140729742234216 140729742237675 0
/proc/6175/statm: 2378 345 289 221 0 87 0
[pid=6177] ppid=6175 vsize=13980732 CPUtime=253.09 cores=1,3,5,7
/proc/6177/stat : 6177 (java) S 6175 6175 3187 0 -1 1077944320 59830 0 0 0 25222 87 0 0 20 0 15 0 3348227 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140720652642112 140040969223927 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
/proc/6177/statm: 3495183 398431 3243 1 0 3483484 0
[pid=6177/tid=6178] ppid=6175 vsize=13980732 CPUtime=237.56 cores=1,3,5,7
/proc/6177/task/6178/stat : 6178 (java) R 6175 6175 3187 0 -1 4202560 15019 0 0 0 23745 11 0 0 20 0 15 0 3348227 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040973463368 140040588164219 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6179] ppid=6175 vsize=13980732 CPUtime=1.92 cores=1,3,5,7
/proc/6177/task/6179/stat : 6179 (java) S 6175 6175 3187 0 -1 1077944384 2142 0 0 0 175 17 0 0 20 0 15 0 3348228 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040903658512 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6180] ppid=6175 vsize=13980732 CPUtime=1.87 cores=1,3,5,7
/proc/6177/task/6180/stat : 6180 (java) S 6175 6175 3187 0 -1 1077944384 1555 0 0 0 174 13 0 0 20 0 15 0 3348228 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040902605968 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6181] ppid=6175 vsize=13980732 CPUtime=1.88 cores=1,3,5,7
/proc/6177/task/6181/stat : 6181 (java) S 6175 6175 3187 0 -1 1077944384 1774 0 0 0 175 13 0 0 20 0 15 0 3348228 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040901552912 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6182] ppid=6175 vsize=13980732 CPUtime=1.89 cores=1,3,5,7
/proc/6177/task/6182/stat : 6182 (java) S 6175 6175 3187 0 -1 1077944384 1145 0 0 0 176 13 0 0 20 0 15 0 3348228 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040900500368 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6183] ppid=6175 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/6177/task/6183/stat : 6183 (java) S 6175 6175 3187 0 -1 1077944384 5611 0 0 0 42 5 0 0 20 0 15 0 3348229 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040447690992 140040969235074 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6184] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6184/stat : 6184 (java) S 6175 6175 3187 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 3348230 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040446637280 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6185] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6185/stat : 6185 (java) S 6175 6175 3187 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 3348230 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040445584128 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6186] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6186/stat : 6186 (java) S 6175 6175 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3348232 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040444532688 140040969242523 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6187] ppid=6175 vsize=13980732 CPUtime=3.25 cores=1,3,5,7
/proc/6177/task/6187/stat : 6187 (java) S 6175 6175 3187 0 -1 1077944384 12210 0 0 0 324 1 0 0 20 0 15 0 3348232 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040443480816 140040969235074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6188] ppid=6175 vsize=13980732 CPUtime=3.22 cores=1,3,5,7
/proc/6177/task/6188/stat : 6188 (java) S 6175 6175 3187 0 -1 1077944384 10645 0 0 0 320 2 0 0 20 0 15 0 3348232 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040442428272 140040969235074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6189] ppid=6175 vsize=13980732 CPUtime=0.79 cores=1,3,5,7
/proc/6177/task/6189/stat : 6189 (java) S 6175 6175 3187 0 -1 1077944384 7636 0 0 0 78 1 0 0 20 0 15 0 3348232 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040441375216 140040969235074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6190] ppid=6175 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6177/task/6190/stat : 6190 (java) S 6175 6175 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3348233 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040440322912 140040969234133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
[pid=6177/tid=6191] ppid=6175 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/6177/task/6191/stat : 6191 (java) S 6175 6175 3187 0 -1 1077944384 769 0 0 0 6 8 0 0 20 0 15 0 3348237 14316269568 398431 18446744073709551615 4194304 4196468 140720652659568 140040439269936 140040969235074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23941120 140720652665301 140720652665476 140720652665476 140720652668879 0
Current children cumulated CPU time (s) 253.09
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 6177 sig 9
??? kill 6175 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 6175 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=930
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=930
# CPU time returned by wait4() is 0.00186
# while last known CPU time is 253.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 253.09
CPU user time (s): 252.22
CPU system time (s): 0.87
CPU usage (%): 105.45
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00093
system time used= 0.00093
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
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.1829 second user time and 1.59884 second system time
The end