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-4254131-1501983874/watcher-4254131-1501983874 -o /tmp/evaluation-result-4254131-1501983874/solver-4254131-1501983874 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501978181-12403 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 788882087 HOME/instance-4254131-1501983874.xml
pid=17317
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.93 2.00 2.04 3/202 17320
/proc/meminfo: memFree=31412344/32770624 swapFree=0/321344
[pid=17320] ppid=17317 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/17320/stat : 17320 (runsolver) D 17317 17320 12039 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 98040633 24240128 106 18446744073709551615 4194304 4338465 140730886802096 140730886799736 140352080909015 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 15372288 140730886803555 140730886804044 140730886804044 140730886807498 0
/proc/17320/statm: 5918 106 53 36 0 2156 0
[startup+0.10016 s]
/proc/loadavg: 1.93 2.00 2.04 3/202 17320
/proc/meminfo: memFree=31412344/32770624 swapFree=0/321344
[pid=17320] ppid=17317 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/17320/stat : 17320 (runsolver) D 17317 17320 12039 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 98040633 24240128 106 18446744073709551615 4194304 4338465 140730886802096 140730886799736 140352080909015 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 15372288 140730886803555 140730886804044 140730886804044 140730886807498 0
/proc/17320/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.20039 s]
/proc/loadavg: 1.93 2.00 2.04 3/202 17320
/proc/meminfo: memFree=31412344/32770624 swapFree=0/321344
[pid=17320] ppid=17317 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/17320/stat : 17320 (runsolver) D 17317 17320 12039 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 98040633 24240128 106 18446744073709551615 4194304 4338465 140730886802096 140730886799736 140352080909015 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 15372288 140730886803555 140730886804044 140730886804044 140730886807498 0
/proc/17320/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.300316 s]
/proc/loadavg: 1.93 2.00 2.04 3/202 17320
/proc/meminfo: memFree=31412344/32770624 swapFree=0/321344
[pid=17320] ppid=17317 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/17320/stat : 17320 (runsolver) D 17317 17320 12039 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 98040633 24240128 106 18446744073709551615 4194304 4338465 140730886802096 140730886799736 140352080909015 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 15372288 140730886803555 140730886804044 140730886804044 140730886807498 0
/proc/17320/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.700261 s]
/proc/loadavg: 1.93 2.00 2.04 3/202 17320
/proc/meminfo: memFree=31412344/32770624 swapFree=0/321344
[pid=17320] ppid=17317 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/17320/stat : 17320 (runsolver) D 17317 17320 12039 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 98040633 24240128 106 18446744073709551615 4194304 4338465 140730886802096 140730886799736 140352080909015 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 15372288 140730886803555 140730886804044 140730886804044 140730886807498 0
/proc/17320/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+1.50026 s]
/proc/loadavg: 1.93 2.00 2.04 2/203 17321
/proc/meminfo: memFree=31412012/32770624 swapFree=0/321360
[pid=17320] ppid=17317 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17320/stat : 17320 (xcsp3-exec) S 17317 17320 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98040633 9740288 344 18446744073709551615 4194304 5098028 140732486294880 140732486292984 139892120490620 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 142 0 0 7196144 7232144 29675520 140732486295970 140732486296173 140732486296173 140732486299627 0
/proc/17320/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+3.10077 s]
/proc/loadavg: 1.93 2.00 2.04 4/218 17336
/proc/meminfo: memFree=31341364/32770624 swapFree=0/321360
[pid=17320] ppid=17317 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17320/stat : 17320 (xcsp3-exec) S 17317 17320 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98040633 9740288 344 18446744073709551615 4194304 5098028 140732486294880 140732486292984 139892120490620 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 142 0 0 7196144 7232144 29675520 140732486295970 140732486296173 140732486296173 140732486299627 0
/proc/17320/statm: 2378 344 289 221 0 87 0
[pid=17322] ppid=17320 vsize=13980732 CPUtime=4.33 cores=1,3,5,7
/proc/17322/stat : 17322 (java) S 17320 17320 12039 0 -1 1077944320 22578 0 0 0 426 7 0 0 20 0 15 0 98040776 14316269568 24586 18446744073709551615 4194304 4196468 140730925962864 140730925945408 139723129261815 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
/proc/17322/statm: 3495183 24586 3190 1 0 3483476 0
[pid=17322/tid=17323] ppid=17320 vsize=13980732 CPUtime=1.6 cores=1,3,5,7
/proc/17322/task/17323/stat : 17323 (java) R 17320 17320 12039 0 -1 4202560 9399 0 0 0 156 4 0 0 20 0 15 0 98040776 14316269568 24586 18446744073709551615 4194304 4196468 140730925962864 139723133500688 139722756358589 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17324] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17324/stat : 17324 (java) S 17320 17320 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 24586 18446744073709551615 4194304 4196468 140730925962864 139722729462672 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17325] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17325/stat : 17325 (java) S 17320 17320 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 24586 18446744073709551615 4194304 4196468 140730925962864 139722728409872 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17326] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17326/stat : 17326 (java) S 17320 17320 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 24586 18446744073709551615 4194304 4196468 140730925962864 139722727357584 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17327] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17327/stat : 17327 (java) S 17320 17320 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 24586 18446744073709551615 4194304 4196468 140730925962864 139722726304784 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17328] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17328/stat : 17328 (java) S 17320 17320 12039 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 98040778 14316269568 24586 18446744073709551615 4194304 4196468 140730925962864 139722675021936 139723129272962 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17329] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17329/stat : 17329 (java) S 17320 17320 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98040778 14316269568 24586 18446744073709551615 4194304 4196468 140730925962864 139722673967904 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17330] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17330/stat : 17330 (java) S 17320 17320 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98040779 14316269568 24586 18446744073709551615 4194304 4196468 140730925962864 139722672915568 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17331] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17331/stat : 17331 (java) S 17320 17320 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98040781 14316269568 24586 18446744073709551615 4194304 4196468 140730925962864 139722671863888 139723129280411 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17332] ppid=17320 vsize=13980732 CPUtime=1.12 cores=1,3,5,7
/proc/17322/task/17332/stat : 17332 (java) R 17320 17320 12039 0 -1 4202560 5114 0 0 0 111 1 0 0 20 0 15 0 98040781 14316269568 24586 18446744073709551615 4194304 4196468 140730925962864 139722670811760 139723122361662 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17333] ppid=17320 vsize=13980732 CPUtime=1.13 cores=1,3,5,7
/proc/17322/task/17333/stat : 17333 (java) S 17320 17320 12039 0 -1 1077944384 4518 0 0 0 113 0 0 0 20 0 15 0 98040781 14316269568 24586 18446744073709551615 4194304 4196468 140730925962864 139722669758960 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17334] ppid=17320 vsize=13980732 CPUtime=0.44 cores=1,3,5,7
/proc/17322/task/17334/stat : 17334 (java) S 17320 17320 12039 0 -1 1077944384 2237 0 0 0 43 1 0 0 20 0 15 0 98040781 14316269568 24586 18446744073709551615 4194304 4196468 140730925962864 139722600999792 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17335] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17335/stat : 17335 (java) S 17320 17320 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98040781 14316269568 24586 18446744073709551615 4194304 4196468 140730925962864 139722599947232 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17336] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17336/stat : 17336 (java) S 17320 17320 12039 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 98040786 14316269568 24586 18446744073709551615 4194304 4196468 140730925962864 139722598894000 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 13990244
[startup+6.30062 s]
/proc/loadavg: 1.86 1.98 2.03 3/218 17336
/proc/meminfo: memFree=31325196/32770624 swapFree=0/321392
[pid=17320] ppid=17317 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17320/stat : 17320 (xcsp3-exec) S 17317 17320 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98040633 9740288 344 18446744073709551615 4194304 5098028 140732486294880 140732486292984 139892120490620 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 142 0 0 7196144 7232144 29675520 140732486295970 140732486296173 140732486296173 140732486299627 0
/proc/17320/statm: 2378 344 289 221 0 87 0
[pid=17322] ppid=17320 vsize=13980732 CPUtime=7.89 cores=1,3,5,7
/proc/17322/stat : 17322 (java) S 17320 17320 12039 0 -1 1077944320 25969 0 0 0 782 7 0 0 20 0 15 0 98040776 14316269568 24764 18446744073709551615 4194304 4196468 140730925962864 140730925945408 139723129261815 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
/proc/17322/statm: 3495183 24764 3200 1 0 3483476 0
[pid=17322/tid=17323] ppid=17320 vsize=13980732 CPUtime=4.8 cores=1,3,5,7
/proc/17322/task/17323/stat : 17323 (java) R 17320 17320 12039 0 -1 4202560 10413 0 0 0 476 4 0 0 20 0 15 0 98040776 14316269568 24764 18446744073709551615 4194304 4196468 140730925962864 139723133498376 139722756848632 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17324] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17324/stat : 17324 (java) S 17320 17320 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 24764 18446744073709551615 4194304 4196468 140730925962864 139722729462672 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17325] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17325/stat : 17325 (java) S 17320 17320 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 24764 18446744073709551615 4194304 4196468 140730925962864 139722728409872 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17326] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17326/stat : 17326 (java) S 17320 17320 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 24764 18446744073709551615 4194304 4196468 140730925962864 139722727357584 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17327] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17327/stat : 17327 (java) S 17320 17320 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 24764 18446744073709551615 4194304 4196468 140730925962864 139722726304784 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17328] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17328/stat : 17328 (java) S 17320 17320 12039 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 15 0 98040778 14316269568 24764 18446744073709551615 4194304 4196468 140730925962864 139722675021936 139723129272962 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17329] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17329/stat : 17329 (java) S 17320 17320 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98040778 14316269568 24764 18446744073709551615 4194304 4196468 140730925962864 139722673967904 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17330] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17330/stat : 17330 (java) S 17320 17320 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98040779 14316269568 24764 18446744073709551615 4194304 4196468 140730925962864 139722672915568 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17331] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17331/stat : 17331 (java) S 17320 17320 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98040781 14316269568 24764 18446744073709551615 4194304 4196468 140730925962864 139722671863888 139723129280411 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17332] ppid=17320 vsize=13980732 CPUtime=1.29 cores=1,3,5,7
/proc/17322/task/17332/stat : 17332 (java) S 17320 17320 12039 0 -1 1077944384 6430 0 0 0 128 1 0 0 20 0 15 0 98040781 14316269568 24764 18446744073709551615 4194304 4196468 140730925962864 139722670811760 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17333] ppid=17320 vsize=13980732 CPUtime=1.29 cores=1,3,5,7
/proc/17322/task/17333/stat : 17333 (java) S 17320 17320 12039 0 -1 1077944384 5099 0 0 0 129 0 0 0 20 0 15 0 98040781 14316269568 24764 18446744073709551615 4194304 4196468 140730925962864 139722669758960 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17334] ppid=17320 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/17322/task/17334/stat : 17334 (java) S 17320 17320 12039 0 -1 1077944384 2469 0 0 0 46 1 0 0 20 0 15 0 98040781 14316269568 24764 18446744073709551615 4194304 4196468 140730925962864 139722600999792 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17335] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17335/stat : 17335 (java) S 17320 17320 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98040781 14316269568 24764 18446744073709551615 4194304 4196468 140730925962864 139722599947232 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17336] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17336/stat : 17336 (java) S 17320 17320 12039 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 98040786 14316269568 24764 18446744073709551615 4194304 4196468 140730925962864 139722598894000 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.87 1.98 2.03 3/218 17336
/proc/meminfo: memFree=31327916/32770624 swapFree=0/321384
[pid=17320] ppid=17317 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17320/stat : 17320 (xcsp3-exec) S 17317 17320 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98040633 9740288 344 18446744073709551615 4194304 5098028 140732486294880 140732486292984 139892120490620 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 142 0 0 7196144 7232144 29675520 140732486295970 140732486296173 140732486296173 140732486299627 0
/proc/17320/statm: 2378 344 289 221 0 87 0
[pid=17322] ppid=17320 vsize=13980732 CPUtime=14.68 cores=1,3,5,7
/proc/17322/stat : 17322 (java) S 17320 17320 12039 0 -1 1077944320 30580 0 0 0 1460 8 0 0 20 0 15 0 98040776 14316269568 23819 18446744073709551615 4194304 4196468 140730925962864 140730925945408 139723129261815 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
/proc/17322/statm: 3495183 23819 3206 1 0 3483476 0
[pid=17322/tid=17323] ppid=17320 vsize=13980732 CPUtime=11.2 cores=1,3,5,7
/proc/17322/task/17323/stat : 17323 (java) R 17320 17320 12039 0 -1 4202560 11044 0 0 0 1116 4 0 0 20 0 15 0 98040776 14316269568 23819 18446744073709551615 4194304 4196468 140730925962864 139723133497648 139722756358901 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17324] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17324/stat : 17324 (java) S 17320 17320 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 23819 18446744073709551615 4194304 4196468 140730925962864 139722729462672 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17325] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17325/stat : 17325 (java) S 17320 17320 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 23819 18446744073709551615 4194304 4196468 140730925962864 139722728409872 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17326] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17326/stat : 17326 (java) S 17320 17320 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 23819 18446744073709551615 4194304 4196468 140730925962864 139722727357584 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17327] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17327/stat : 17327 (java) S 17320 17320 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 23819 18446744073709551615 4194304 4196468 140730925962864 139722726304784 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17328] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17328/stat : 17328 (java) S 17320 17320 12039 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 15 0 98040778 14316269568 23819 18446744073709551615 4194304 4196468 140730925962864 139722675021936 139723129272962 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17329] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17329/stat : 17329 (java) S 17320 17320 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98040778 14316269568 23819 18446744073709551615 4194304 4196468 140730925962864 139722673967904 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17330] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17330/stat : 17330 (java) S 17320 17320 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98040779 14316269568 23819 18446744073709551615 4194304 4196468 140730925962864 139722672915568 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17331] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17331/stat : 17331 (java) S 17320 17320 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98040781 14316269568 23819 18446744073709551615 4194304 4196468 140730925962864 139722671863888 139723129280411 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17332] ppid=17320 vsize=13980732 CPUtime=1.51 cores=1,3,5,7
/proc/17322/task/17332/stat : 17332 (java) S 17320 17320 12039 0 -1 1077944384 7597 0 0 0 150 1 0 0 20 0 15 0 98040781 14316269568 23819 18446744073709551615 4194304 4196468 140730925962864 139722670811760 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17333] ppid=17320 vsize=13980732 CPUtime=1.45 cores=1,3,5,7
/proc/17322/task/17333/stat : 17333 (java) S 17320 17320 12039 0 -1 1077944384 7078 0 0 0 144 1 0 0 20 0 15 0 98040781 14316269568 23819 18446744073709551615 4194304 4196468 140730925962864 139722669758960 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17334] ppid=17320 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/17322/task/17334/stat : 17334 (java) S 17320 17320 12039 0 -1 1077944384 2781 0 0 0 48 1 0 0 20 0 15 0 98040781 14316269568 23819 18446744073709551615 4194304 4196468 140730925962864 139722600999792 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17335] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17335/stat : 17335 (java) S 17320 17320 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98040781 14316269568 23819 18446744073709551615 4194304 4196468 140730925962864 139722599947232 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17336] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17336/stat : 17336 (java) S 17320 17320 12039 0 -1 1077944384 528 0 0 0 0 0 0 0 20 0 15 0 98040786 14316269568 23819 18446744073709551615 4194304 4196468 140730925962864 139722598894000 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
Current children cumulated CPU time (s) 14.68
Current children cumulated vsize (KiB) 13990244
[startup+25.5007 s]
/proc/loadavg: 1.90 1.99 2.03 3/218 17336
/proc/meminfo: memFree=31324208/32770624 swapFree=0/321392
[pid=17320] ppid=17317 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17320/stat : 17320 (xcsp3-exec) S 17317 17320 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98040633 9740288 344 18446744073709551615 4194304 5098028 140732486294880 140732486292984 139892120490620 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 142 0 0 7196144 7232144 29675520 140732486295970 140732486296173 140732486296173 140732486299627 0
/proc/17320/statm: 2378 344 289 221 0 87 0
################
# More data... #
################
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17322 sig 9
??? kill 17320 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6008 s]
/proc/loadavg: 1.90 1.99 2.03 3/218 17336
/proc/meminfo: memFree=31324208/32770624 swapFree=0/321392
[pid=17320] ppid=17317 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17320/stat : 17320 (xcsp3-exec) S 17317 17320 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98040633 9740288 344 18446744073709551615 4194304 5098028 140732486294880 140732486292984 139892120490620 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 142 0 0 7196144 7232144 29675520 140732486295970 140732486296173 140732486296173 140732486299627 0
/proc/17320/statm: 2378 344 289 221 0 87 0
[pid=17322] ppid=17320 vsize=13980732 CPUtime=27.96 cores=1,3,5,7
/proc/17322/stat : 17322 (java) S 17320 17320 12039 0 -1 1077944320 37351 0 0 0 2787 9 0 0 20 0 15 0 98040776 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 140730925945408 139723129261815 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
/proc/17322/statm: 3495183 24908 3207 1 0 3483476 0
[pid=17322/tid=17323] ppid=17320 vsize=13980732 CPUtime=24.1 cores=1,3,5,7
/proc/17322/task/17323/stat : 17323 (java) R 17320 17320 12039 0 -1 4202560 11796 0 0 0 2406 4 0 0 20 0 15 0 98040776 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139723133497888 139722756357985 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17324] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17324/stat : 17324 (java) S 17320 17320 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722729462672 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17325] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17325/stat : 17325 (java) S 17320 17320 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722728409872 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17326] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17326/stat : 17326 (java) S 17320 17320 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722727357584 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17327] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17327/stat : 17327 (java) S 17320 17320 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722726304784 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17328] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17328/stat : 17328 (java) S 17320 17320 12039 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 15 0 98040778 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722675021936 139723129272962 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17329] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17329/stat : 17329 (java) S 17320 17320 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98040778 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722673967904 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17330] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17330/stat : 17330 (java) S 17320 17320 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98040779 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722672915568 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17331] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17331/stat : 17331 (java) S 17320 17320 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98040781 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722671863888 139723129280411 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17332] ppid=17320 vsize=13980732 CPUtime=1.74 cores=1,3,5,7
/proc/17322/task/17332/stat : 17332 (java) S 17320 17320 12039 0 -1 1077944384 10556 0 0 0 173 1 0 0 20 0 15 0 98040781 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722670811760 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17333] ppid=17320 vsize=13980732 CPUtime=1.58 cores=1,3,5,7
/proc/17322/task/17333/stat : 17333 (java) S 17320 17320 12039 0 -1 1077944384 9703 0 0 0 157 1 0 0 20 0 15 0 98040781 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722669758960 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17334] ppid=17320 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/17322/task/17334/stat : 17334 (java) S 17320 17320 12039 0 -1 1077944384 3111 0 0 0 49 1 0 0 20 0 15 0 98040781 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722600999792 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17335] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17335/stat : 17335 (java) S 17320 17320 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98040781 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722599947232 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17336] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17336/stat : 17336 (java) S 17320 17320 12039 0 -1 1077944384 557 0 0 0 0 0 0 0 20 0 15 0 98040786 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722598894000 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
Current children cumulated CPU time (s) 27.96
Current children cumulated vsize (KiB) 13990244
[startup+26.4006 s]
/proc/loadavg: 1.90 1.99 2.03 3/218 17336
/proc/meminfo: memFree=31324208/32770624 swapFree=0/321392
[pid=17320] ppid=17317 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17320/stat : 17320 (xcsp3-exec) S 17317 17320 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98040633 9740288 344 18446744073709551615 4194304 5098028 140732486294880 140732486292984 139892120490620 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 142 0 0 7196144 7232144 29675520 140732486295970 140732486296173 140732486296173 140732486299627 0
/proc/17320/statm: 2378 344 289 221 0 87 0
[pid=17322] ppid=17320 vsize=13980732 CPUtime=28.8 cores=1,3,5,7
/proc/17322/stat : 17322 (java) S 17320 17320 12039 0 -1 1077944320 37412 0 0 0 2871 9 0 0 20 0 15 0 98040776 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 140730925945408 139723129261815 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
/proc/17322/statm: 3495183 24908 3207 1 0 3483476 0
[pid=17322/tid=17323] ppid=17320 vsize=13980732 CPUtime=24.91 cores=1,3,5,7
/proc/17322/task/17323/stat : 17323 (java) R 17320 17320 12039 0 -1 4202560 11808 0 0 0 2487 4 0 0 20 0 15 0 98040776 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139723133498368 139722756357826 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17324] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17324/stat : 17324 (java) S 17320 17320 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722729462672 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17325] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17325/stat : 17325 (java) S 17320 17320 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722728409872 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17326] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17326/stat : 17326 (java) S 17320 17320 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722727357584 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17327] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17327/stat : 17327 (java) S 17320 17320 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722726304784 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17328] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17328/stat : 17328 (java) S 17320 17320 12039 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 15 0 98040778 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722675021936 139723129272962 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17329] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17329/stat : 17329 (java) S 17320 17320 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98040778 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722673967904 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17330] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17330/stat : 17330 (java) S 17320 17320 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98040779 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722672915568 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17331] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17331/stat : 17331 (java) S 17320 17320 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98040781 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722671863888 139723129280411 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17332] ppid=17320 vsize=13980732 CPUtime=1.77 cores=1,3,5,7
/proc/17322/task/17332/stat : 17332 (java) S 17320 17320 12039 0 -1 1077944384 10604 0 0 0 176 1 0 0 20 0 15 0 98040781 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722670811760 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17333] ppid=17320 vsize=13980732 CPUtime=1.58 cores=1,3,5,7
/proc/17322/task/17333/stat : 17333 (java) S 17320 17320 12039 0 -1 1077944384 9703 0 0 0 157 1 0 0 20 0 15 0 98040781 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722669758960 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17334] ppid=17320 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/17322/task/17334/stat : 17334 (java) S 17320 17320 12039 0 -1 1077944384 3111 0 0 0 49 1 0 0 20 0 15 0 98040781 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722600999792 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17335] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17335/stat : 17335 (java) S 17320 17320 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98040781 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722599947232 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17336] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17336/stat : 17336 (java) S 17320 17320 12039 0 -1 1077944384 557 0 0 0 0 0 0 0 20 0 15 0 98040786 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722598894000 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
Current children cumulated CPU time (s) 28.8
Current children cumulated vsize (KiB) 13990244
[startup+27.2006 s]
/proc/loadavg: 1.90 1.99 2.03 3/218 17336
/proc/meminfo: memFree=31324208/32770624 swapFree=0/321392
[pid=17320] ppid=17317 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17320/stat : 17320 (xcsp3-exec) S 17317 17320 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98040633 9740288 344 18446744073709551615 4194304 5098028 140732486294880 140732486292984 139892120490620 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 142 0 0 7196144 7232144 29675520 140732486295970 140732486296173 140732486296173 140732486299627 0
/proc/17320/statm: 2378 344 289 221 0 87 0
[pid=17322] ppid=17320 vsize=13980732 CPUtime=29.59 cores=1,3,5,7
/proc/17322/stat : 17322 (java) S 17320 17320 12039 0 -1 1077944320 37416 0 0 0 2950 9 0 0 20 0 15 0 98040776 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 140730925945408 139723129261815 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
/proc/17322/statm: 3495183 24908 3207 1 0 3483476 0
[pid=17322/tid=17323] ppid=17320 vsize=13980732 CPUtime=25.7 cores=1,3,5,7
/proc/17322/task/17323/stat : 17323 (java) R 17320 17320 12039 0 -1 4202560 11809 0 0 0 2566 4 0 0 20 0 15 0 98040776 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139723133498352 139722756359035 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17324] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17324/stat : 17324 (java) S 17320 17320 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722729462672 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17325] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17325/stat : 17325 (java) S 17320 17320 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722728409872 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17326] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17326/stat : 17326 (java) S 17320 17320 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722727357584 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17327] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17327/stat : 17327 (java) S 17320 17320 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722726304784 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17328] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17328/stat : 17328 (java) S 17320 17320 12039 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 15 0 98040778 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722675021936 139723129272962 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17329] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17329/stat : 17329 (java) S 17320 17320 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98040778 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722673967904 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17330] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17330/stat : 17330 (java) S 17320 17320 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98040779 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722672915568 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17331] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17331/stat : 17331 (java) S 17320 17320 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98040781 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722671863888 139723129280411 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17332] ppid=17320 vsize=13980732 CPUtime=1.77 cores=1,3,5,7
/proc/17322/task/17332/stat : 17332 (java) S 17320 17320 12039 0 -1 1077944384 10604 0 0 0 176 1 0 0 20 0 15 0 98040781 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722670811760 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17333] ppid=17320 vsize=13980732 CPUtime=1.58 cores=1,3,5,7
/proc/17322/task/17333/stat : 17333 (java) S 17320 17320 12039 0 -1 1077944384 9703 0 0 0 157 1 0 0 20 0 15 0 98040781 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722669758960 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17334] ppid=17320 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/17322/task/17334/stat : 17334 (java) S 17320 17320 12039 0 -1 1077944384 3111 0 0 0 49 1 0 0 20 0 15 0 98040781 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722600999792 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17335] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17335/stat : 17335 (java) S 17320 17320 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98040781 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722599947232 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17336] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17336/stat : 17336 (java) S 17320 17320 12039 0 -1 1077944384 560 0 0 0 0 0 0 0 20 0 15 0 98040786 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722598894000 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
Current children cumulated CPU time (s) 29.59
Current children cumulated vsize (KiB) 13990244
[startup+27.4006 s]
/proc/loadavg: 1.90 1.99 2.03 3/218 17336
/proc/meminfo: memFree=31324208/32770624 swapFree=0/321392
[pid=17320] ppid=17317 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17320/stat : 17320 (xcsp3-exec) S 17317 17320 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98040633 9740288 344 18446744073709551615 4194304 5098028 140732486294880 140732486292984 139892120490620 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 142 0 0 7196144 7232144 29675520 140732486295970 140732486296173 140732486296173 140732486299627 0
/proc/17320/statm: 2378 344 289 221 0 87 0
[pid=17322] ppid=17320 vsize=13980732 CPUtime=29.79 cores=1,3,5,7
/proc/17322/stat : 17322 (java) S 17320 17320 12039 0 -1 1077944320 37416 0 0 0 2970 9 0 0 20 0 15 0 98040776 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 140730925945408 139723129261815 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
/proc/17322/statm: 3495183 24908 3207 1 0 3483476 0
[pid=17322/tid=17323] ppid=17320 vsize=13980732 CPUtime=25.9 cores=1,3,5,7
/proc/17322/task/17323/stat : 17323 (java) R 17320 17320 12039 0 -1 4202560 11809 0 0 0 2586 4 0 0 20 0 15 0 98040776 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139723133498352 139722756358642 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17324] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17324/stat : 17324 (java) S 17320 17320 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722729462672 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17325] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17325/stat : 17325 (java) S 17320 17320 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722728409872 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17326] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17326/stat : 17326 (java) S 17320 17320 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722727357584 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17327] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17327/stat : 17327 (java) S 17320 17320 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98040777 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722726304784 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17328] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17328/stat : 17328 (java) S 17320 17320 12039 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 15 0 98040778 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722675021936 139723129272962 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17329] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17329/stat : 17329 (java) S 17320 17320 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98040778 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722673967904 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17330] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17330/stat : 17330 (java) S 17320 17320 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98040779 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722672915568 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17331] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17331/stat : 17331 (java) S 17320 17320 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98040781 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722671863888 139723129280411 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17332] ppid=17320 vsize=13980732 CPUtime=1.77 cores=1,3,5,7
/proc/17322/task/17332/stat : 17332 (java) S 17320 17320 12039 0 -1 1077944384 10604 0 0 0 176 1 0 0 20 0 15 0 98040781 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722670811760 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17333] ppid=17320 vsize=13980732 CPUtime=1.58 cores=1,3,5,7
/proc/17322/task/17333/stat : 17333 (java) S 17320 17320 12039 0 -1 1077944384 9703 0 0 0 157 1 0 0 20 0 15 0 98040781 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722669758960 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17334] ppid=17320 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/17322/task/17334/stat : 17334 (java) S 17320 17320 12039 0 -1 1077944384 3111 0 0 0 49 1 0 0 20 0 15 0 98040781 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722600999792 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17335] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17335/stat : 17335 (java) S 17320 17320 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98040781 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722599947232 139723129272021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
[pid=17322/tid=17336] ppid=17320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17336/stat : 17336 (java) S 17320 17320 12039 0 -1 1077944384 560 0 0 0 0 0 0 0 20 0 15 0 98040786 14316269568 24908 18446744073709551615 4194304 4196468 140730925962864 139722598894000 139723129272962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 13180928 140730925969882 140730925970057 140730925970057 140730925973455 0
Current children cumulated CPU time (s) 29.79
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 27.4252
CPU time (s): 29.8316
CPU user time (s): 29.7324
CPU system time (s): 0.099251
CPU usage (%): 108.775
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.7324
system time used= 0.099251
maximum resident set size= 101996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38334
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2895
involuntary context switches= 31
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.113391 second user time and 0.171956 second system time
The end