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-4255000-1501623419/watcher-4255000-1501623419 -o /tmp/evaluation-result-4255000-1501623419/solver-4255000-1501623419 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501617129-10653 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 590458025 HOME/instance-4255000-1501623419.xml
pid=15241
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.95 1.86 1.81 3/201 15244
/proc/meminfo: memFree=31533684/32770624 swapFree=0/192000
[pid=15244] ppid=15241 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/15244/stat : 15244 (runsolver) D 15241 15244 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10157253 24240128 106 18446744073709551615 4194304 4338465 140725851867120 140725851864760 139674817835735 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 36405248 140725851869277 140725851869766 140725851869766 140725851873226 0
/proc/15244/statm: 5918 106 53 36 0 2156 0
[startup+0.100158 s]
/proc/loadavg: 1.95 1.86 1.81 3/201 15244
/proc/meminfo: memFree=31533684/32770624 swapFree=0/192000
[pid=15244] ppid=15241 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15244/stat : 15244 (xcsp3-exec) S 15241 15244 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10157253 9740288 344 18446744073709551615 4194304 5098028 140724593118512 140724593116616 140691956355708 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 29315072 140724593119644 140724593119847 140724593119847 140724593123307 0
/proc/15244/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.204348 s]
/proc/loadavg: 1.95 1.86 1.81 3/201 15244
/proc/meminfo: memFree=31533684/32770624 swapFree=0/192000
[pid=15244] ppid=15241 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15244/stat : 15244 (xcsp3-exec) S 15241 15244 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10157253 9740288 344 18446744073709551615 4194304 5098028 140724593118512 140724593116616 140691956355708 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 29315072 140724593119644 140724593119847 140724593119847 140724593123307 0
/proc/15244/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300234 s]
/proc/loadavg: 1.95 1.86 1.81 3/201 15244
/proc/meminfo: memFree=31533684/32770624 swapFree=0/192000
[pid=15244] ppid=15241 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15244/stat : 15244 (xcsp3-exec) S 15241 15244 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10157253 9740288 344 18446744073709551615 4194304 5098028 140724593118512 140724593116616 140691956355708 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 29315072 140724593119644 140724593119847 140724593119847 140724593123307 0
/proc/15244/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.710352 s]
/proc/loadavg: 1.95 1.86 1.81 3/201 15244
/proc/meminfo: memFree=31533684/32770624 swapFree=0/192000
[pid=15244] ppid=15241 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15244/stat : 15244 (xcsp3-exec) S 15241 15244 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10157253 9740288 344 18446744073709551615 4194304 5098028 140724593118512 140724593116616 140691956355708 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 29315072 140724593119644 140724593119847 140724593119847 140724593123307 0
/proc/15244/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50139 s]
/proc/loadavg: 1.95 1.86 1.81 6/217 15260
/proc/meminfo: memFree=31247716/32770624 swapFree=0/192024
[pid=15244] ppid=15241 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15244/stat : 15244 (xcsp3-exec) S 15241 15244 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10157253 9740288 344 18446744073709551615 4194304 5098028 140724593118512 140724593116616 140691956355708 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 29315072 140724593119644 140724593119847 140724593119847 140724593123307 0
/proc/15244/statm: 2378 344 289 221 0 87 0
[pid=15246] ppid=15244 vsize=13980732 CPUtime=4.02 cores=1,3,5,7
/proc/15246/stat : 15246 (java) S 15244 15244 5228 0 -1 1077944320 20656 0 0 0 383 19 0 0 20 0 15 0 10157261 14316269568 77926 18446744073709551615 4194304 4196468 140732157075184 140732157057728 140112828587767 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
/proc/15246/statm: 3495183 77926 3196 1 0 3483484 0
[pid=15246/tid=15247] ppid=15244 vsize=13980732 CPUtime=1.26 cores=1,3,5,7
/proc/15246/task/15247/stat : 15247 (java) R 15244 15244 5228 0 -1 4202560 8718 0 0 0 122 4 0 0 20 0 15 0 10157262 14316269568 77926 18446744073709551615 4194304 4196468 140732157075184 140112832826432 140112458200007 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15248] ppid=15244 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/15246/task/15248/stat : 15248 (java) S 15244 15244 5228 0 -1 1077944384 48 0 0 0 3 2 0 0 20 0 15 0 10157262 14316269568 77926 18446744073709551615 4194304 4196468 140732157075184 140112785553808 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15249] ppid=15244 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/15246/task/15249/stat : 15249 (java) S 15244 15244 5228 0 -1 1077944384 49 0 0 0 4 2 0 0 20 0 15 0 10157262 14316269568 77926 18446744073709551615 4194304 4196468 140732157075184 140112784501008 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15250] ppid=15244 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/15246/task/15250/stat : 15250 (java) S 15244 15244 5228 0 -1 1077944384 58 0 0 0 4 3 0 0 20 0 15 0 10157262 14316269568 77926 18446744073709551615 4194304 4196468 140732157075184 140112783448720 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15251] ppid=15244 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/15246/task/15251/stat : 15251 (java) S 15244 15244 5228 0 -1 1077944384 69 0 0 0 4 3 0 0 20 0 15 0 10157263 14316269568 77926 18446744073709551615 4194304 4196468 140732157075184 140112782395920 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15252] ppid=15244 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15246/task/15252/stat : 15252 (java) S 15244 15244 5228 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 10157264 14316269568 77926 18446744073709551615 4194304 4196468 140732157075184 140112013912688 140112828598914 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15253] ppid=15244 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15246/task/15253/stat : 15253 (java) S 15244 15244 5228 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 10157264 14316269568 77926 18446744073709551615 4194304 4196468 140732157075184 140112012858656 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15254] ppid=15244 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15246/task/15254/stat : 15254 (java) S 15244 15244 5228 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10157264 14316269568 77926 18446744073709551615 4194304 4196468 140732157075184 140112011806320 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15255] ppid=15244 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15246/task/15255/stat : 15255 (java) S 15244 15244 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10157267 14316269568 77937 18446744073709551615 4194304 4196468 140732157075184 140112010754640 140112828606363 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15256] ppid=15244 vsize=13980732 CPUtime=0.88 cores=1,3,5,7
/proc/15246/task/15256/stat : 15256 (java) R 15244 15244 5228 0 -1 4202560 3600 0 0 0 88 0 0 0 20 0 15 0 10157267 14316269568 77937 18446744073709551615 4194304 4196468 140732157075184 140112009687368 140112812144797 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15257] ppid=15244 vsize=13980732 CPUtime=0.92 cores=1,3,5,7
/proc/15246/task/15257/stat : 15257 (java) R 15244 15244 5228 0 -1 4202560 3278 0 0 0 91 1 0 0 20 0 15 0 10157267 14316269568 77937 18446744073709551615 4194304 4196468 140732157075184 140112008639728 140112809995646 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15258] ppid=15244 vsize=13980732 CPUtime=0.62 cores=1,3,5,7
/proc/15246/task/15258/stat : 15258 (java) S 15244 15244 5228 0 -1 1077944384 3457 0 0 0 62 0 0 0 20 0 15 0 10157267 14316269568 77937 18446744073709551615 4194304 4196468 140732157075184 140112007596400 140112828598914 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15259] ppid=15244 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15246/task/15259/stat : 15259 (java) S 15244 15244 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10157267 14316269568 77937 18446744073709551615 4194304 4196468 140732157075184 140112006543840 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15260] ppid=15244 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15246/task/15260/stat : 15260 (java) S 15244 15244 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10157272 14316269568 77937 18446744073709551615 4194304 4196468 140732157075184 140112005491632 140112828598914 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 13990244
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15246 sig 9
??? kill 15244 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60139 s]
/proc/loadavg: 1.95 1.86 1.81 6/217 15260
/proc/meminfo: memFree=31247716/32770624 swapFree=0/192024
[pid=15244] ppid=15241 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15244/stat : 15244 (xcsp3-exec) S 15241 15244 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10157253 9740288 344 18446744073709551615 4194304 5098028 140724593118512 140724593116616 140691956355708 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 29315072 140724593119644 140724593119847 140724593119847 140724593123307 0
/proc/15244/statm: 2378 344 289 221 0 87 0
[pid=15246] ppid=15244 vsize=13982784 CPUtime=4.33 cores=1,3,5,7
/proc/15246/stat : 15246 (java) S 15244 15244 5228 0 -1 1077944320 22060 0 0 0 414 19 0 0 20 0 15 0 10157261 14318370816 78476 18446744073709551615 4194304 4196468 140732157075184 140732157057728 140112828587767 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
/proc/15246/statm: 3495696 78476 3198 1 0 3483997 0
[pid=15246/tid=15247] ppid=15244 vsize=13982784 CPUtime=1.36 cores=1,3,5,7
/proc/15246/task/15247/stat : 15247 (java) R 15244 15244 5228 0 -1 4202560 8718 0 0 0 132 4 0 0 20 0 15 0 10157262 14318370816 78476 18446744073709551615 4194304 4196468 140732157075184 140112832819024 140112453273680 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15248] ppid=15244 vsize=13982784 CPUtime=0.05 cores=1,3,5,7
/proc/15246/task/15248/stat : 15248 (java) S 15244 15244 5228 0 -1 1077944384 48 0 0 0 3 2 0 0 20 0 15 0 10157262 14318370816 78476 18446744073709551615 4194304 4196468 140732157075184 140112785553808 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15249] ppid=15244 vsize=13982784 CPUtime=0.06 cores=1,3,5,7
/proc/15246/task/15249/stat : 15249 (java) S 15244 15244 5228 0 -1 1077944384 49 0 0 0 4 2 0 0 20 0 15 0 10157262 14318370816 78476 18446744073709551615 4194304 4196468 140732157075184 140112784501008 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15250] ppid=15244 vsize=13982784 CPUtime=0.07 cores=1,3,5,7
/proc/15246/task/15250/stat : 15250 (java) S 15244 15244 5228 0 -1 1077944384 58 0 0 0 4 3 0 0 20 0 15 0 10157262 14318370816 78476 18446744073709551615 4194304 4196468 140732157075184 140112783448720 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15251] ppid=15244 vsize=13982784 CPUtime=0.07 cores=1,3,5,7
/proc/15246/task/15251/stat : 15251 (java) S 15244 15244 5228 0 -1 1077944384 69 0 0 0 4 3 0 0 20 0 15 0 10157263 14318370816 78476 18446744073709551615 4194304 4196468 140732157075184 140112782395920 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15252] ppid=15244 vsize=13982784 CPUtime=0 cores=1,3,5,7
/proc/15246/task/15252/stat : 15252 (java) S 15244 15244 5228 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 10157264 14318370816 78476 18446744073709551615 4194304 4196468 140732157075184 140112013912688 140112828598914 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15253] ppid=15244 vsize=13982784 CPUtime=0 cores=1,3,5,7
/proc/15246/task/15253/stat : 15253 (java) S 15244 15244 5228 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 10157264 14318370816 78476 18446744073709551615 4194304 4196468 140732157075184 140112012858656 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15254] ppid=15244 vsize=13982784 CPUtime=0 cores=1,3,5,7
/proc/15246/task/15254/stat : 15254 (java) S 15244 15244 5228 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10157264 14318370816 78476 18446744073709551615 4194304 4196468 140732157075184 140112011806320 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15255] ppid=15244 vsize=13982784 CPUtime=0 cores=1,3,5,7
/proc/15246/task/15255/stat : 15255 (java) S 15244 15244 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10157267 14318370816 78476 18446744073709551615 4194304 4196468 140732157075184 140112010754640 140112828606363 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15256] ppid=15244 vsize=13982784 CPUtime=0.98 cores=1,3,5,7
/proc/15246/task/15256/stat : 15256 (java) R 15244 15244 5228 0 -1 4202560 4952 0 0 0 98 0 0 0 20 0 15 0 10157267 14318370816 78476 18446744073709551615 4194304 4196468 140732157075184 140112009687464 140112810132982 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15257] ppid=15244 vsize=13982784 CPUtime=1.02 cores=1,3,5,7
/proc/15246/task/15257/stat : 15257 (java) R 15244 15244 5228 0 -1 4202560 3303 0 0 0 101 1 0 0 20 0 15 0 10157267 14318370816 78476 18446744073709551615 4194304 4196468 140732157075184 140112008635472 140112828601654 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15258] ppid=15244 vsize=13982784 CPUtime=0.63 cores=1,3,5,7
/proc/15246/task/15258/stat : 15258 (java) S 15244 15244 5228 0 -1 1077944384 3483 0 0 0 63 0 0 0 20 0 15 0 10157267 14318370816 78476 18446744073709551615 4194304 4196468 140732157075184 140112007596400 140112828598914 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15259] ppid=15244 vsize=13982784 CPUtime=0 cores=1,3,5,7
/proc/15246/task/15259/stat : 15259 (java) S 15244 15244 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10157267 14318370816 78476 18446744073709551615 4194304 4196468 140732157075184 140112006543840 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15260] ppid=15244 vsize=13982784 CPUtime=0 cores=1,3,5,7
/proc/15246/task/15260/stat : 15260 (java) S 15244 15244 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10157272 14318370816 78476 18446744073709551615 4194304 4196468 140732157075184 140112005491632 140112828598914 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 13992296
[startup+2.4007 s]
/proc/loadavg: 1.95 1.86 1.81 6/217 15260
/proc/meminfo: memFree=31225788/32770624 swapFree=0/192024
[pid=15244] ppid=15241 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15244/stat : 15244 (xcsp3-exec) S 15241 15244 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10157253 9740288 344 18446744073709551615 4194304 5098028 140724593118512 140724593116616 140691956355708 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 29315072 140724593119644 140724593119847 140724593119847 140724593123307 0
/proc/15244/statm: 2378 344 289 221 0 87 0
[pid=15246] ppid=15244 vsize=13980732 CPUtime=6.83 cores=1,3,5,7
/proc/15246/stat : 15246 (java) S 15244 15244 5228 0 -1 1077944320 27242 0 0 0 659 24 0 0 20 0 15 0 10157261 14316269568 91120 18446744073709551615 4194304 4196468 140732157075184 140732157057728 140112828587767 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
/proc/15246/statm: 3495183 91120 3213 1 0 3483484 0
[pid=15246/tid=15247] ppid=15244 vsize=13980732 CPUtime=2.12 cores=1,3,5,7
/proc/15246/task/15247/stat : 15247 (java) R 15244 15244 5228 0 -1 4202560 9773 0 0 0 208 4 0 0 20 0 15 0 10157262 14316269568 91120 18446744073709551615 4194304 4196468 140732157075184 140112832826512 140112461230716 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15248] ppid=15244 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/15246/task/15248/stat : 15248 (java) S 15244 15244 5228 0 -1 1077944384 100 0 0 0 4 2 0 0 20 0 15 0 10157262 14316269568 91120 18446744073709551615 4194304 4196468 140732157075184 140112785553808 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15249] ppid=15244 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/15246/task/15249/stat : 15249 (java) S 15244 15244 5228 0 -1 1077944384 153 0 0 0 6 4 0 0 20 0 15 0 10157262 14316269568 91120 18446744073709551615 4194304 4196468 140732157075184 140112784501008 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15250] ppid=15244 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/15246/task/15250/stat : 15250 (java) S 15244 15244 5228 0 -1 1077944384 157 0 0 0 6 4 0 0 20 0 15 0 10157262 14316269568 91120 18446744073709551615 4194304 4196468 140732157075184 140112783448720 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15251] ppid=15244 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/15246/task/15251/stat : 15251 (java) S 15244 15244 5228 0 -1 1077944384 117 0 0 0 6 3 0 0 20 0 15 0 10157263 14316269568 91120 18446744073709551615 4194304 4196468 140732157075184 140112782395920 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15252] ppid=15244 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15246/task/15252/stat : 15252 (java) S 15244 15244 5228 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 10157264 14316269568 91120 18446744073709551615 4194304 4196468 140732157075184 140112013912688 140112828598914 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15253] ppid=15244 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15246/task/15253/stat : 15253 (java) S 15244 15244 5228 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 10157264 14316269568 91120 18446744073709551615 4194304 4196468 140732157075184 140112012858656 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15254] ppid=15244 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15246/task/15254/stat : 15254 (java) S 15244 15244 5228 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10157264 14316269568 91120 18446744073709551615 4194304 4196468 140732157075184 140112011806320 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15255] ppid=15244 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15246/task/15255/stat : 15255 (java) S 15244 15244 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10157267 14316269568 91120 18446744073709551615 4194304 4196468 140732157075184 140112010754640 140112828606363 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15256] ppid=15244 vsize=13980732 CPUtime=1.74 cores=1,3,5,7
/proc/15246/task/15256/stat : 15256 (java) R 15244 15244 5228 0 -1 4202560 6562 0 0 0 173 1 0 0 20 0 15 0 10157267 14316269568 91120 18446744073709551615 4194304 4196468 140732157075184 140112009690288 140112821693489 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15257] ppid=15244 vsize=13980732 CPUtime=1.8 cores=1,3,5,7
/proc/15246/task/15257/stat : 15257 (java) R 15244 15244 5228 0 -1 4202560 4939 0 0 0 179 1 0 0 20 0 15 0 10157267 14316269568 91120 18446744073709551615 4194304 4196468 140732157075184 140112008635216 140112810132432 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15258] ppid=15244 vsize=13980732 CPUtime=0.74 cores=1,3,5,7
/proc/15246/task/15258/stat : 15258 (java) S 15244 15244 5228 0 -1 1077944384 4054 0 0 0 73 1 0 0 20 0 15 0 10157267 14316269568 91120 18446744073709551615 4194304 4196468 140732157075184 140112007596400 140112828598914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15259] ppid=15244 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15246/task/15259/stat : 15259 (java) S 15244 15244 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10157267 14316269568 91120 18446744073709551615 4194304 4196468 140732157075184 140112006543840 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15260] ppid=15244 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15246/task/15260/stat : 15260 (java) S 15244 15244 5228 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 10157272 14316269568 91120 18446744073709551615 4194304 4196468 140732157075184 140112005491632 140112828598914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
Current children cumulated CPU time (s) 6.83
Current children cumulated vsize (KiB) 13990244
[startup+2.80076 s]
/proc/loadavg: 1.95 1.86 1.81 6/217 15260
/proc/meminfo: memFree=31225788/32770624 swapFree=0/192024
[pid=15244] ppid=15241 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15244/stat : 15244 (xcsp3-exec) S 15241 15244 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10157253 9740288 344 18446744073709551615 4194304 5098028 140724593118512 140724593116616 140691956355708 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 29315072 140724593119644 140724593119847 140724593119847 140724593123307 0
/proc/15244/statm: 2378 344 289 221 0 87 0
[pid=15246] ppid=15244 vsize=13980732 CPUtime=7.84 cores=1,3,5,7
/proc/15246/stat : 15246 (java) S 15244 15244 5228 0 -1 1077944320 29601 0 0 0 760 24 0 0 20 0 15 0 10157261 14316269568 91226 18446744073709551615 4194304 4196468 140732157075184 140732157057728 140112828587767 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
/proc/15246/statm: 3495183 91226 3215 1 0 3483484 0
[pid=15246/tid=15247] ppid=15244 vsize=13980732 CPUtime=2.52 cores=1,3,5,7
/proc/15246/task/15247/stat : 15247 (java) R 15244 15244 5228 0 -1 4202560 10017 0 0 0 248 4 0 0 20 0 15 0 10157262 14316269568 91226 18446744073709551615 4194304 4196468 140732157075184 140112832819024 140112460320225 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15248] ppid=15244 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/15246/task/15248/stat : 15248 (java) S 15244 15244 5228 0 -1 1077944384 100 0 0 0 4 2 0 0 20 0 15 0 10157262 14316269568 91226 18446744073709551615 4194304 4196468 140732157075184 140112785553808 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15249] ppid=15244 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/15246/task/15249/stat : 15249 (java) S 15244 15244 5228 0 -1 1077944384 153 0 0 0 6 4 0 0 20 0 15 0 10157262 14316269568 91226 18446744073709551615 4194304 4196468 140732157075184 140112784501008 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15250] ppid=15244 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/15246/task/15250/stat : 15250 (java) S 15244 15244 5228 0 -1 1077944384 157 0 0 0 6 4 0 0 20 0 15 0 10157262 14316269568 91226 18446744073709551615 4194304 4196468 140732157075184 140112783448720 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15251] ppid=15244 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/15246/task/15251/stat : 15251 (java) S 15244 15244 5228 0 -1 1077944384 117 0 0 0 6 3 0 0 20 0 15 0 10157263 14316269568 91226 18446744073709551615 4194304 4196468 140732157075184 140112782395920 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15252] ppid=15244 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15246/task/15252/stat : 15252 (java) S 15244 15244 5228 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 10157264 14316269568 91226 18446744073709551615 4194304 4196468 140732157075184 140112013912688 140112828598914 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15253] ppid=15244 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15246/task/15253/stat : 15253 (java) S 15244 15244 5228 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 10157264 14316269568 91226 18446744073709551615 4194304 4196468 140732157075184 140112012858656 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15254] ppid=15244 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15246/task/15254/stat : 15254 (java) S 15244 15244 5228 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10157264 14316269568 91226 18446744073709551615 4194304 4196468 140732157075184 140112011806320 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15255] ppid=15244 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15246/task/15255/stat : 15255 (java) S 15244 15244 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10157267 14316269568 91226 18446744073709551615 4194304 4196468 140732157075184 140112010754640 140112828606363 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15256] ppid=15244 vsize=13980732 CPUtime=2.03 cores=1,3,5,7
/proc/15246/task/15256/stat : 15256 (java) R 15244 15244 5228 0 -1 4202560 7594 0 0 0 202 1 0 0 20 0 15 0 10157267 14316269568 91226 18446744073709551615 4194304 4196468 140732157075184 140112009701488 140112810135100 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15257] ppid=15244 vsize=13980732 CPUtime=2.09 cores=1,3,5,7
/proc/15246/task/15257/stat : 15257 (java) R 15244 15244 5228 0 -1 4202560 5662 0 0 0 208 1 0 0 20 0 15 0 10157267 14316269568 91226 18446744073709551615 4194304 4196468 140732157075184 140112008648688 140112812987512 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15258] ppid=15244 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/15246/task/15258/stat : 15258 (java) S 15244 15244 5228 0 -1 1077944384 4414 0 0 0 75 1 0 0 20 0 15 0 10157267 14316269568 91226 18446744073709551615 4194304 4196468 140732157075184 140112007596400 140112828598914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15259] ppid=15244 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15246/task/15259/stat : 15259 (java) S 15244 15244 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10157267 14316269568 91226 18446744073709551615 4194304 4196468 140732157075184 140112006543840 140112828597973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
[pid=15246/tid=15260] ppid=15244 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15246/task/15260/stat : 15260 (java) S 15244 15244 5228 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 10157272 14316269568 91226 18446744073709551615 4194304 4196468 140732157075184 140112005491632 140112828598914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7348224 140732157084116 140732157084291 140732157084291 140732157087695 0
Current children cumulated CPU time (s) 7.84
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 2.87933
CPU time (s): 8.01637
CPU user time (s): 7.75689
CPU system time (s): 0.259474
CPU usage (%): 278.411
Max. virtual memory (cumulated for all children) (KiB): 13992296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.75689
system time used= 0.259474
maximum resident set size= 365784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30637
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2282
involuntary context switches= 36
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.017049 second user time and 0.019484 second system time
The end