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-4255327-1501619239/watcher-4255327-1501619239 -o /tmp/evaluation-result-4255327-1501619239/solver-4255327-1501619239 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501617193-9963 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 820627756 HOME/instance-4255327-1501619239.xml
pid=10955
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.66 1.79 1.81 2/195 10958
/proc/meminfo: memFree=31350600/32770624 swapFree=0/190736
[pid=10958] ppid=10955 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/10958/stat : 10958 (runsolver) D 10955 10958 5131 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10544228 24240128 108 18446744073709551615 4194304 4338465 140728301346960 140728301344600 140612798722775 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 18178048 140728301351006 140728301351494 140728301351494 140728301354954 0
/proc/10958/statm: 5918 108 54 36 0 2156 0
[startup+0.10014 s]
/proc/loadavg: 1.66 1.79 1.81 2/195 10958
/proc/meminfo: memFree=31350600/32770624 swapFree=0/190736
[pid=10958] ppid=10955 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10958/stat : 10958 (xcsp3-exec) S 10955 10958 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10544228 9740288 344 18446744073709551615 4194304 5098028 140728704350960 140728704349064 140511128007292 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 35106816 140728704356764 140728704356967 140728704356967 140728704360427 0
/proc/10958/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200217 s]
/proc/loadavg: 1.66 1.79 1.81 2/195 10958
/proc/meminfo: memFree=31350600/32770624 swapFree=0/190736
[pid=10958] ppid=10955 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10958/stat : 10958 (xcsp3-exec) S 10955 10958 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10544228 9740288 344 18446744073709551615 4194304 5098028 140728704350960 140728704349064 140511128007292 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 35106816 140728704356764 140728704356967 140728704356967 140728704360427 0
/proc/10958/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300287 s]
/proc/loadavg: 1.66 1.79 1.81 2/195 10958
/proc/meminfo: memFree=31350600/32770624 swapFree=0/190736
[pid=10958] ppid=10955 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10958/stat : 10958 (xcsp3-exec) S 10955 10958 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10544228 9740288 344 18446744073709551615 4194304 5098028 140728704350960 140728704349064 140511128007292 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 35106816 140728704356764 140728704356967 140728704356967 140728704360427 0
/proc/10958/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700656 s]
/proc/loadavg: 1.66 1.79 1.81 2/195 10958
/proc/meminfo: memFree=31350600/32770624 swapFree=0/190736
[pid=10958] ppid=10955 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10958/stat : 10958 (xcsp3-exec) S 10955 10958 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10544228 9740288 344 18446744073709551615 4194304 5098028 140728704350960 140728704349064 140511128007292 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 35106816 140728704356764 140728704356967 140728704356967 140728704360427 0
/proc/10958/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50073 s]
/proc/loadavg: 1.66 1.79 1.81 5/211 10974
/proc/meminfo: memFree=31238980/32770624 swapFree=0/190764
[pid=10958] ppid=10955 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10958/stat : 10958 (xcsp3-exec) S 10955 10958 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10544228 9740288 344 18446744073709551615 4194304 5098028 140728704350960 140728704349064 140511128007292 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 35106816 140728704356764 140728704356967 140728704356967 140728704360427 0
/proc/10958/statm: 2378 344 289 221 0 87 0
[pid=10960] ppid=10958 vsize=13980732 CPUtime=3.68 cores=1,3,5,7
/proc/10960/stat : 10960 (java) S 10958 10958 5131 0 -1 1077944320 47444 0 0 0 360 8 0 0 20 0 15 0 10544237 14316269568 32329 18446744073709551615 4194304 4196468 140735979641712 140735979624256 139823272869623 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
/proc/10960/statm: 3495183 32329 3182 1 0 3483484 0
[pid=10960/tid=10961] ppid=10958 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/10960/task/10961/stat : 10961 (java) R 10958 10958 5131 0 -1 4202560 9331 0 0 0 131 3 0 0 20 0 15 0 10544237 14316269568 32329 18446744073709551615 4194304 4196468 140735979641712 139823277107136 139822881912009 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10962] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10962/stat : 10962 (java) S 10958 10958 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10544238 14316269568 32329 18446744073709551615 4194304 4196468 140735979641712 139823207304336 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10963] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10963/stat : 10963 (java) S 10958 10958 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10544238 14316269568 32329 18446744073709551615 4194304 4196468 140735979641712 139823206251536 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10964] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10964/stat : 10964 (java) S 10958 10958 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10544238 14316269568 32329 18446744073709551615 4194304 4196468 140735979641712 139823205198736 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10965] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10965/stat : 10965 (java) S 10958 10958 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10544238 14316269568 32329 18446744073709551615 4194304 4196468 140735979641712 139823204145936 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10966] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10966/stat : 10966 (java) S 10958 10958 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10544239 14316269568 32329 18446744073709551615 4194304 4196468 140735979641712 139822750984560 139823272880770 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10967] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10967/stat : 10967 (java) S 10958 10958 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10544239 14316269568 32329 18446744073709551615 4194304 4196468 140735979641712 139822749930528 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10968] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10968/stat : 10968 (java) S 10958 10958 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10544240 14316269568 32329 18446744073709551615 4194304 4196468 140735979641712 139822748877680 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10969] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10969/stat : 10969 (java) S 10958 10958 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10544242 14316269568 32329 18446744073709551615 4194304 4196468 140735979641712 139822747826000 139823272888219 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10970] ppid=10958 vsize=13980732 CPUtime=0.88 cores=1,3,5,7
/proc/10960/task/10970/stat : 10970 (java) R 10958 10958 5131 0 -1 4202560 23281 0 0 0 85 3 0 0 20 0 15 0 10544242 14316269568 32329 18446744073709551615 4194304 4196468 140735979641712 139822746760608 139823254392829 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10971] ppid=10958 vsize=13980732 CPUtime=0.92 cores=1,3,5,7
/proc/10960/task/10971/stat : 10971 (java) R 10958 10958 5131 0 -1 4202560 9403 0 0 0 91 1 0 0 20 0 15 0 10544242 14316269568 32329 18446744073709551615 4194304 4196468 140735979641712 139822745712560 139823256368554 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10972] ppid=10958 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/10960/task/10972/stat : 10972 (java) S 10958 10958 5131 0 -1 1077944384 4121 0 0 0 51 1 0 0 20 0 15 0 10544242 14316269568 32329 18446744073709551615 4194304 4196468 140735979641712 139822744668784 139823272880770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10973] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10973/stat : 10973 (java) S 10958 10958 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10544242 14316269568 32329 18446744073709551615 4194304 4196468 140735979641712 139822743616224 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10974] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10974/stat : 10974 (java) S 10958 10958 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10544247 14316269568 32329 18446744073709551615 4194304 4196468 140735979641712 139822742563504 139823272880770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 13990244
[startup+3.10073 s]
/proc/loadavg: 1.66 1.79 1.81 5/211 10974
/proc/meminfo: memFree=31182308/32770624 swapFree=0/190764
[pid=10958] ppid=10955 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10958/stat : 10958 (xcsp3-exec) S 10955 10958 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10544228 9740288 344 18446744073709551615 4194304 5098028 140728704350960 140728704349064 140511128007292 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 35106816 140728704356764 140728704356967 140728704356967 140728704360427 0
/proc/10958/statm: 2378 344 289 221 0 87 0
[pid=10960] ppid=10958 vsize=13980732 CPUtime=8.53 cores=1,3,5,7
/proc/10960/stat : 10960 (java) S 10958 10958 5131 0 -1 1077944320 58036 0 0 0 842 11 0 0 20 0 15 0 10544237 14316269568 52028 18446744073709551615 4194304 4196468 140735979641712 140735979624256 139823272869623 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
/proc/10960/statm: 3495183 52028 3191 1 0 3483484 0
[pid=10960/tid=10961] ppid=10958 vsize=13980732 CPUtime=2.94 cores=1,3,5,7
/proc/10960/task/10961/stat : 10961 (java) R 10958 10958 5131 0 -1 4202560 10238 0 0 0 290 4 0 0 20 0 15 0 10544237 14316269568 52028 18446744073709551615 4194304 4196468 140735979641712 139823277105896 139822881660388 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10962] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10962/stat : 10962 (java) S 10958 10958 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10544238 14316269568 52028 18446744073709551615 4194304 4196468 140735979641712 139823207304336 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10963] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10963/stat : 10963 (java) S 10958 10958 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10544238 14316269568 52028 18446744073709551615 4194304 4196468 140735979641712 139823206251536 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10964] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10964/stat : 10964 (java) S 10958 10958 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10544238 14316269568 52028 18446744073709551615 4194304 4196468 140735979641712 139823205198736 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10965] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10965/stat : 10965 (java) S 10958 10958 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10544238 14316269568 52028 18446744073709551615 4194304 4196468 140735979641712 139823204145936 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10966] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10966/stat : 10966 (java) S 10958 10958 5131 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 10544239 14316269568 52028 18446744073709551615 4194304 4196468 140735979641712 139822750984560 139823272880770 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10967] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10967/stat : 10967 (java) S 10958 10958 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10544239 14316269568 52028 18446744073709551615 4194304 4196468 140735979641712 139822749930528 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10968] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10968/stat : 10968 (java) S 10958 10958 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10544240 14316269568 52028 18446744073709551615 4194304 4196468 140735979641712 139822748877680 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10969] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10969/stat : 10969 (java) S 10958 10958 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10544242 14316269568 52028 18446744073709551615 4194304 4196468 140735979641712 139822747826000 139823272888219 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10970] ppid=10958 vsize=13980732 CPUtime=2.48 cores=1,3,5,7
/proc/10960/task/10970/stat : 10970 (java) R 10958 10958 5131 0 -1 4202560 26031 0 0 0 245 3 0 0 20 0 15 0 10544242 14316269568 52028 18446744073709551615 4194304 4196468 140735979641712 139822746760928 139823250464640 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10971] ppid=10958 vsize=13980732 CPUtime=2.52 cores=1,3,5,7
/proc/10960/task/10971/stat : 10971 (java) R 10958 10958 5131 0 -1 4202560 15774 0 0 0 250 2 0 0 20 0 15 0 10544242 14316269568 52028 18446744073709551615 4194304 4196468 140735979641712 139822745709264 139823254392193 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10972] ppid=10958 vsize=13980732 CPUtime=0.57 cores=1,3,5,7
/proc/10960/task/10972/stat : 10972 (java) S 10958 10958 5131 0 -1 1077944384 4644 0 0 0 56 1 0 0 20 0 15 0 10544242 14316269568 52028 18446744073709551615 4194304 4196468 140735979641712 139822744668784 139823272880770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10973] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10973/stat : 10973 (java) S 10958 10958 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10544242 14316269568 52028 18446744073709551615 4194304 4196468 140735979641712 139822743616224 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10974] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10974/stat : 10974 (java) S 10958 10958 5131 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 10544247 14316269568 52028 18446744073709551615 4194304 4196468 140735979641712 139822742563504 139823272880770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
Current children cumulated CPU time (s) 8.53
Current children cumulated vsize (KiB) 13990244
[startup+6.30074 s]
/proc/loadavg: 1.61 1.78 1.81 3/211 10974
/proc/meminfo: memFree=31066320/32770624 swapFree=0/190764
[pid=10958] ppid=10955 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10958/stat : 10958 (xcsp3-exec) S 10955 10958 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10544228 9740288 344 18446744073709551615 4194304 5098028 140728704350960 140728704349064 140511128007292 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 35106816 140728704356764 140728704356967 140728704356967 140728704360427 0
/proc/10958/statm: 2378 344 289 221 0 87 0
[pid=10960] ppid=10958 vsize=13980732 CPUtime=14.24 cores=1,3,5,7
/proc/10960/stat : 10960 (java) S 10958 10958 5131 0 -1 1077944320 67142 0 0 0 1408 16 0 0 20 0 15 0 10544237 14316269568 68400 18446744073709551615 4194304 4196468 140735979641712 140735979624256 139823272869623 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
/proc/10960/statm: 3495183 68400 3222 1 0 3483484 0
[pid=10960/tid=10961] ppid=10958 vsize=13980732 CPUtime=6.11 cores=1,3,5,7
/proc/10960/task/10961/stat : 10961 (java) R 10958 10958 5131 0 -1 4202560 10616 0 0 0 606 5 0 0 20 0 15 0 10544237 14316269568 68400 18446744073709551615 4194304 4196468 140735979641712 139823277108904 139822884350717 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10962] ppid=10958 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/10960/task/10962/stat : 10962 (java) S 10958 10958 5131 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 15 0 10544238 14316269568 68400 18446744073709551615 4194304 4196468 140735979641712 139823207304336 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10963] ppid=10958 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/10960/task/10963/stat : 10963 (java) S 10958 10958 5131 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 15 0 10544238 14316269568 68400 18446744073709551615 4194304 4196468 140735979641712 139823206251536 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10964] ppid=10958 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/10960/task/10964/stat : 10964 (java) S 10958 10958 5131 0 -1 1077944384 302 0 0 0 1 0 0 0 20 0 15 0 10544238 14316269568 68400 18446744073709551615 4194304 4196468 140735979641712 139823205198736 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10965] ppid=10958 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/10960/task/10965/stat : 10965 (java) S 10958 10958 5131 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 15 0 10544238 14316269568 68400 18446744073709551615 4194304 4196468 140735979641712 139823204145936 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10966] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10966/stat : 10966 (java) S 10958 10958 5131 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 15 0 10544239 14316269568 68400 18446744073709551615 4194304 4196468 140735979641712 139822750984560 139823272880770 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10967] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10967/stat : 10967 (java) S 10958 10958 5131 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10544239 14316269568 68400 18446744073709551615 4194304 4196468 140735979641712 139822749930528 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10968] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10968/stat : 10968 (java) S 10958 10958 5131 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10544240 14316269568 68400 18446744073709551615 4194304 4196468 140735979641712 139822748877680 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10969] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10969/stat : 10969 (java) S 10958 10958 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10544242 14316269568 68400 18446744073709551615 4194304 4196468 140735979641712 139822747826000 139823272888219 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10970] ppid=10958 vsize=13980732 CPUtime=3.64 cores=1,3,5,7
/proc/10960/task/10970/stat : 10970 (java) S 10958 10958 5131 0 -1 1077944384 29446 0 0 0 361 3 0 0 20 0 15 0 10544242 14316269568 68400 18446744073709551615 4194304 4196468 140735979641712 139822746774384 139823272880770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10971] ppid=10958 vsize=13980732 CPUtime=3.7 cores=1,3,5,7
/proc/10960/task/10971/stat : 10971 (java) S 10958 10958 5131 0 -1 1077944384 18462 0 0 0 368 2 0 0 20 0 15 0 10544242 14316269568 68400 18446744073709551615 4194304 4196468 140735979641712 139822745721584 139823272880770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10972] ppid=10958 vsize=13980732 CPUtime=0.65 cores=1,3,5,7
/proc/10960/task/10972/stat : 10972 (java) S 10958 10958 5131 0 -1 1077944384 5317 0 0 0 64 1 0 0 20 0 15 0 10544242 14316269568 68400 18446744073709551615 4194304 4196468 140735979641712 139822744668784 139823272880770 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10973] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10973/stat : 10973 (java) S 10958 10958 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10544242 14316269568 68400 18446744073709551615 4194304 4196468 140735979641712 139822743616224 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10974] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10974/stat : 10974 (java) S 10958 10958 5131 0 -1 1077944384 1097 0 0 0 0 0 0 0 20 0 15 0 10544247 14316269568 68400 18446744073709551615 4194304 4196468 140735979641712 139822742563504 139823272880770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
Current children cumulated CPU time (s) 14.24
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.72 1.80 1.82 5/211 11055
/proc/meminfo: memFree=31530504/32770624 swapFree=0/190800
[pid=10958] ppid=10955 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10958/stat : 10958 (xcsp3-exec) S 10955 10958 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10544228 9740288 344 18446744073709551615 4194304 5098028 140728704350960 140728704349064 140511128007292 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 35106816 140728704356764 140728704356967 140728704356967 140728704360427 0
/proc/10958/statm: 2378 344 289 221 0 87 0
[pid=10960] ppid=10958 vsize=13980732 CPUtime=21.5 cores=1,3,5,7
/proc/10960/stat : 10960 (java) S 10958 10958 5131 0 -1 1077944320 72313 0 0 0 2133 17 0 0 20 0 15 0 10544237 14316269568 66081 18446744073709551615 4194304 4196468 140735979641712 140735979624256 139823272869623 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
/proc/10960/statm: 3495183 66081 3230 1 0 3483484 0
[pid=10960/tid=10961] ppid=10958 vsize=13980732 CPUtime=12.48 cores=1,3,5,7
/proc/10960/task/10961/stat : 10961 (java) R 10958 10958 5131 0 -1 4202560 11203 0 0 0 1243 5 0 0 20 0 15 0 10544237 14316269568 66081 18446744073709551615 4194304 4196468 140735979641712 139823277106504 139822884798108 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10962] ppid=10958 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/10960/task/10962/stat : 10962 (java) S 10958 10958 5131 0 -1 1077944384 114 0 0 0 3 0 0 0 20 0 15 0 10544238 14316269568 66081 18446744073709551615 4194304 4196468 140735979641712 139823207304336 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10963] ppid=10958 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/10960/task/10963/stat : 10963 (java) S 10958 10958 5131 0 -1 1077944384 134 0 0 0 3 1 0 0 20 0 15 0 10544238 14316269568 66081 18446744073709551615 4194304 4196468 140735979641712 139823206251536 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
################
# More data... #
################
[pid=10960/tid=10967] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10967/stat : 10967 (java) S 10958 10958 5131 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10544239 14316269568 83897 18446744073709551615 4194304 4196468 140735979641712 139822749930528 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10968] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10968/stat : 10968 (java) S 10958 10958 5131 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10544240 14316269568 83897 18446744073709551615 4194304 4196468 140735979641712 139822748877680 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10969] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10969/stat : 10969 (java) S 10958 10958 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10544242 14316269568 83897 18446744073709551615 4194304 4196468 140735979641712 139822747826000 139823272888219 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10970] ppid=10958 vsize=13980732 CPUtime=4.3 cores=1,3,5,7
/proc/10960/task/10970/stat : 10970 (java) S 10958 10958 5131 0 -1 1077944384 36745 0 0 0 426 4 0 0 20 0 15 0 10544242 14316269568 83897 18446744073709551615 4194304 4196468 140735979641712 139822746774384 139823272880770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10971] ppid=10958 vsize=13980732 CPUtime=4.32 cores=1,3,5,7
/proc/10960/task/10971/stat : 10971 (java) S 10958 10958 5131 0 -1 1077944384 24356 0 0 0 429 3 0 0 20 0 15 0 10544242 14316269568 83897 18446744073709551615 4194304 4196468 140735979641712 139822745721584 139823272880770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10972] ppid=10958 vsize=13980732 CPUtime=0.73 cores=1,3,5,7
/proc/10960/task/10972/stat : 10972 (java) S 10958 10958 5131 0 -1 1077944384 10427 0 0 0 71 2 0 0 20 0 15 0 10544242 14316269568 83897 18446744073709551615 4194304 4196468 140735979641712 139822744668784 139823272880770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10973] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10973/stat : 10973 (java) S 10958 10958 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10544242 14316269568 83897 18446744073709551615 4194304 4196468 140735979641712 139822743616224 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10974] ppid=10958 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/10960/task/10974/stat : 10974 (java) S 10958 10958 5131 0 -1 1077944384 1401 0 0 0 1 2 0 0 20 0 15 0 10544247 14316269568 83897 18446744073709551615 4194304 4196468 140735979641712 139822742563504 139823272880770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
Current children cumulated CPU time (s) 113.57
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.44 1.69 1.78 7/211 11139
/proc/meminfo: memFree=31132124/32770624 swapFree=0/190936
[pid=10958] ppid=10955 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10958/stat : 10958 (xcsp3-exec) S 10955 10958 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10544228 9740288 344 18446744073709551615 4194304 5098028 140728704350960 140728704349064 140511128007292 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 35106816 140728704356764 140728704356967 140728704356967 140728704360427 0
/proc/10958/statm: 2378 344 289 221 0 87 0
[pid=10960] ppid=10958 vsize=13980732 CPUtime=175.15 cores=1,3,5,7
/proc/10960/stat : 10960 (java) S 10958 10958 5131 0 -1 1077944320 110925 0 0 0 17458 57 0 0 20 0 15 0 10544237 14316269568 110284 18446744073709551615 4194304 4196468 140735979641712 140735979624256 139823272869623 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
/proc/10960/statm: 3495183 110284 3232 1 0 3483484 0
[pid=10960/tid=10961] ppid=10958 vsize=13980732 CPUtime=160.78 cores=1,3,5,7
/proc/10960/task/10961/stat : 10961 (java) R 10958 10958 5131 0 -1 4202560 18757 0 0 0 16072 6 0 0 20 0 15 0 10544237 14316269568 110284 18446744073709551615 4194304 4196468 140735979641712 139823277106176 139822885001903 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10962] ppid=10958 vsize=13980732 CPUtime=1.16 cores=1,3,5,7
/proc/10960/task/10962/stat : 10962 (java) S 10958 10958 5131 0 -1 1077944384 2246 0 0 0 107 9 0 0 20 0 15 0 10544238 14316269568 110284 18446744073709551615 4194304 4196468 140735979641712 139823207304336 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10963] ppid=10958 vsize=13980732 CPUtime=1.16 cores=1,3,5,7
/proc/10960/task/10963/stat : 10963 (java) S 10958 10958 5131 0 -1 1077944384 2892 0 0 0 107 9 0 0 20 0 15 0 10544238 14316269568 110284 18446744073709551615 4194304 4196468 140735979641712 139823206251536 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10964] ppid=10958 vsize=13980732 CPUtime=1.16 cores=1,3,5,7
/proc/10960/task/10964/stat : 10964 (java) S 10958 10958 5131 0 -1 1077944384 3480 0 0 0 107 9 0 0 20 0 15 0 10544238 14316269568 110284 18446744073709551615 4194304 4196468 140735979641712 139823205198736 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10965] ppid=10958 vsize=13980732 CPUtime=1.15 cores=1,3,5,7
/proc/10960/task/10965/stat : 10965 (java) S 10958 10958 5131 0 -1 1077944384 3240 0 0 0 107 8 0 0 20 0 15 0 10544238 14316269568 110284 18446744073709551615 4194304 4196468 140735979641712 139823204145936 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10966] ppid=10958 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/10960/task/10966/stat : 10966 (java) S 10958 10958 5131 0 -1 1077944384 1835 0 0 0 10 2 0 0 20 0 15 0 10544239 14316269568 110284 18446744073709551615 4194304 4196468 140735979641712 139822750984560 139823272880770 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10967] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10967/stat : 10967 (java) S 10958 10958 5131 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10544239 14316269568 110284 18446744073709551615 4194304 4196468 140735979641712 139822749930528 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10968] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10968/stat : 10968 (java) S 10958 10958 5131 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10544240 14316269568 110284 18446744073709551615 4194304 4196468 140735979641712 139822748877680 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10969] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10969/stat : 10969 (java) S 10958 10958 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10544242 14316269568 110284 18446744073709551615 4194304 4196468 140735979641712 139822747826000 139823272888219 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10970] ppid=10958 vsize=13980732 CPUtime=4.31 cores=1,3,5,7
/proc/10960/task/10970/stat : 10970 (java) S 10958 10958 5131 0 -1 1077944384 37204 0 0 0 427 4 0 0 20 0 15 0 10544242 14316269568 110284 18446744073709551615 4194304 4196468 140735979641712 139822746774384 139823272880770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10971] ppid=10958 vsize=13980732 CPUtime=4.43 cores=1,3,5,7
/proc/10960/task/10971/stat : 10971 (java) S 10958 10958 5131 0 -1 1077944384 26840 0 0 0 440 3 0 0 20 0 15 0 10544242 14316269568 110284 18446744073709551615 4194304 4196468 140735979641712 139822745721584 139823272880770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10972] ppid=10958 vsize=13980732 CPUtime=0.73 cores=1,3,5,7
/proc/10960/task/10972/stat : 10972 (java) S 10958 10958 5131 0 -1 1077944384 11648 0 0 0 71 2 0 0 20 0 15 0 10544242 14316269568 110284 18446744073709551615 4194304 4196468 140735979641712 139822744668784 139823272880770 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10973] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10973/stat : 10973 (java) S 10958 10958 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10544242 14316269568 110284 18446744073709551615 4194304 4196468 140735979641712 139822743616224 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10974] ppid=10958 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/10960/task/10974/stat : 10974 (java) S 10958 10958 5131 0 -1 1077944384 1433 0 0 0 2 4 0 0 20 0 15 0 10544247 14316269568 110284 18446744073709551615 4194304 4196468 140735979641712 139822742563504 139823272880770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
Current children cumulated CPU time (s) 175.15
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.56 1.66 1.76 3/211 11141
/proc/meminfo: memFree=31078856/32770624 swapFree=0/190972
[pid=10958] ppid=10955 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10958/stat : 10958 (xcsp3-exec) S 10955 10958 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10544228 9740288 344 18446744073709551615 4194304 5098028 140728704350960 140728704349064 140511128007292 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 35106816 140728704356764 140728704356967 140728704356967 140728704360427 0
/proc/10958/statm: 2378 344 289 221 0 87 0
[pid=10960] ppid=10958 vsize=13980732 CPUtime=236.62 cores=1,3,5,7
/proc/10960/stat : 10960 (java) S 10958 10958 5131 0 -1 1077944320 116796 0 0 0 23588 74 0 0 20 0 15 0 10544237 14316269568 135394 18446744073709551615 4194304 4196468 140735979641712 140735979624256 139823272869623 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
/proc/10960/statm: 3495183 135394 3232 1 0 3483484 0
[pid=10960/tid=10961] ppid=10958 vsize=13980732 CPUtime=220.25 cores=1,3,5,7
/proc/10960/task/10961/stat : 10961 (java) R 10958 10958 5131 0 -1 4202560 21242 0 0 0 22019 6 0 0 20 0 15 0 10544237 14316269568 135394 18446744073709551615 4194304 4196468 140735979641712 139823277108928 139822884356148 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10962] ppid=10958 vsize=13980732 CPUtime=1.63 cores=1,3,5,7
/proc/10960/task/10962/stat : 10962 (java) S 10958 10958 5131 0 -1 1077944384 2494 0 0 0 151 12 0 0 20 0 15 0 10544238 14316269568 135394 18446744073709551615 4194304 4196468 140735979641712 139823207304336 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10963] ppid=10958 vsize=13980732 CPUtime=1.63 cores=1,3,5,7
/proc/10960/task/10963/stat : 10963 (java) S 10958 10958 5131 0 -1 1077944384 3368 0 0 0 150 13 0 0 20 0 15 0 10544238 14316269568 135394 18446744073709551615 4194304 4196468 140735979641712 139823206251536 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10964] ppid=10958 vsize=13980732 CPUtime=1.63 cores=1,3,5,7
/proc/10960/task/10964/stat : 10964 (java) S 10958 10958 5131 0 -1 1077944384 3967 0 0 0 150 13 0 0 20 0 15 0 10544238 14316269568 135394 18446744073709551615 4194304 4196468 140735979641712 139823205198736 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10965] ppid=10958 vsize=13980732 CPUtime=1.63 cores=1,3,5,7
/proc/10960/task/10965/stat : 10965 (java) S 10958 10958 5131 0 -1 1077944384 3739 0 0 0 151 12 0 0 20 0 15 0 10544238 14316269568 135394 18446744073709551615 4194304 4196468 140735979641712 139823204145936 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10966] ppid=10958 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/10960/task/10966/stat : 10966 (java) S 10958 10958 5131 0 -1 1077944384 1897 0 0 0 13 3 0 0 20 0 15 0 10544239 14316269568 135394 18446744073709551615 4194304 4196468 140735979641712 139822750984560 139823272880770 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10967] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10967/stat : 10967 (java) S 10958 10958 5131 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10544239 14316269568 135394 18446744073709551615 4194304 4196468 140735979641712 139822749930528 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10968] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10968/stat : 10968 (java) S 10958 10958 5131 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10544240 14316269568 135394 18446744073709551615 4194304 4196468 140735979641712 139822748877680 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10969] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10969/stat : 10969 (java) S 10958 10958 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10544242 14316269568 135394 18446744073709551615 4194304 4196468 140735979641712 139822747826000 139823272888219 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10970] ppid=10958 vsize=13980732 CPUtime=4.35 cores=1,3,5,7
/proc/10960/task/10970/stat : 10970 (java) S 10958 10958 5131 0 -1 1077944384 38342 0 0 0 431 4 0 0 20 0 15 0 10544242 14316269568 135394 18446744073709551615 4194304 4196468 140735979641712 139822746774384 139823272880770 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10971] ppid=10958 vsize=13980732 CPUtime=4.44 cores=1,3,5,7
/proc/10960/task/10971/stat : 10971 (java) S 10958 10958 5131 0 -1 1077944384 27196 0 0 0 441 3 0 0 20 0 15 0 10544242 14316269568 135394 18446744073709551615 4194304 4196468 140735979641712 139822745721584 139823272880770 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10972] ppid=10958 vsize=13980732 CPUtime=0.73 cores=1,3,5,7
/proc/10960/task/10972/stat : 10972 (java) S 10958 10958 5131 0 -1 1077944384 11759 0 0 0 71 2 0 0 20 0 15 0 10544242 14316269568 135394 18446744073709551615 4194304 4196468 140735979641712 139822744668784 139823272880770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10973] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10973/stat : 10973 (java) S 10958 10958 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10544242 14316269568 135394 18446744073709551615 4194304 4196468 140735979641712 139822743616224 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10974] ppid=10958 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/10960/task/10974/stat : 10974 (java) S 10958 10958 5131 0 -1 1077944384 1442 0 0 0 3 6 0 0 20 0 15 0 10544247 14316269568 135394 18446744073709551615 4194304 4196468 140735979641712 139822742563504 139823272880770 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
Current children cumulated CPU time (s) 236.62
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.54 1.65 1.76 3/211 11141
/proc/meminfo: memFree=31262560/32770624 swapFree=0/190980
[pid=10958] ppid=10955 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10958/stat : 10958 (xcsp3-exec) S 10955 10958 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10544228 9740288 344 18446744073709551615 4194304 5098028 140728704350960 140728704349064 140511128007292 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 35106816 140728704356764 140728704356967 140728704356967 140728704360427 0
/proc/10958/statm: 2378 344 289 221 0 87 0
[pid=10960] ppid=10958 vsize=13980732 CPUtime=254.79 cores=1,3,5,7
/proc/10960/stat : 10960 (java) S 10958 10958 5131 0 -1 1077944320 120461 0 0 0 25403 76 0 0 20 0 15 0 10544237 14316269568 89810 18446744073709551615 4194304 4196468 140735979641712 140735979624256 139823272869623 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
/proc/10960/statm: 3495183 89810 3247 1 0 3483484 0
[pid=10960/tid=10961] ppid=10958 vsize=13980732 CPUtime=237.76 cores=1,3,5,7
/proc/10960/task/10961/stat : 10961 (java) R 10958 10958 5131 0 -1 4202560 21261 0 0 0 23770 6 0 0 20 0 15 0 10544237 14316269568 89810 18446744073709551615 4194304 4196468 140735979641712 139823277109328 139822884946391 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10962] ppid=10958 vsize=13980732 CPUtime=1.79 cores=1,3,5,7
/proc/10960/task/10962/stat : 10962 (java) S 10958 10958 5131 0 -1 1077944384 2662 0 0 0 166 13 0 0 20 0 15 0 10544238 14316269568 89810 18446744073709551615 4194304 4196468 140735979641712 139823207304336 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10963] ppid=10958 vsize=13980732 CPUtime=1.78 cores=1,3,5,7
/proc/10960/task/10963/stat : 10963 (java) S 10958 10958 5131 0 -1 1077944384 3584 0 0 0 165 13 0 0 20 0 15 0 10544238 14316269568 89810 18446744073709551615 4194304 4196468 140735979641712 139823206251536 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10964] ppid=10958 vsize=13980732 CPUtime=1.78 cores=1,3,5,7
/proc/10960/task/10964/stat : 10964 (java) S 10958 10958 5131 0 -1 1077944384 4454 0 0 0 165 13 0 0 20 0 15 0 10544238 14316269568 89810 18446744073709551615 4194304 4196468 140735979641712 139823205198736 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10965] ppid=10958 vsize=13980732 CPUtime=1.78 cores=1,3,5,7
/proc/10960/task/10965/stat : 10965 (java) S 10958 10958 5131 0 -1 1077944384 3986 0 0 0 166 12 0 0 20 0 15 0 10544238 14316269568 89810 18446744073709551615 4194304 4196468 140735979641712 139823204145936 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10966] ppid=10958 vsize=13980732 CPUtime=0.18 cores=1,3,5,7
/proc/10960/task/10966/stat : 10966 (java) S 10958 10958 5131 0 -1 1077944384 4370 0 0 0 15 3 0 0 20 0 15 0 10544239 14316269568 89810 18446744073709551615 4194304 4196468 140735979641712 139822750984560 139823272880770 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10967] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10967/stat : 10967 (java) S 10958 10958 5131 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10544239 14316269568 89810 18446744073709551615 4194304 4196468 140735979641712 139822749930528 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10968] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10968/stat : 10968 (java) S 10958 10958 5131 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10544240 14316269568 89810 18446744073709551615 4194304 4196468 140735979641712 139822748877680 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10969] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10969/stat : 10969 (java) S 10958 10958 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10544242 14316269568 89810 18446744073709551615 4194304 4196468 140735979641712 139822747826000 139823272888219 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10970] ppid=10958 vsize=13980732 CPUtime=4.35 cores=1,3,5,7
/proc/10960/task/10970/stat : 10970 (java) S 10958 10958 5131 0 -1 1077944384 38342 0 0 0 431 4 0 0 20 0 15 0 10544242 14316269568 89810 18446744073709551615 4194304 4196468 140735979641712 139822746774384 139823272880770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10971] ppid=10958 vsize=13980732 CPUtime=4.44 cores=1,3,5,7
/proc/10960/task/10971/stat : 10971 (java) S 10958 10958 5131 0 -1 1077944384 27196 0 0 0 441 3 0 0 20 0 15 0 10544242 14316269568 89810 18446744073709551615 4194304 4196468 140735979641712 139822745721584 139823272880770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10972] ppid=10958 vsize=13980732 CPUtime=0.73 cores=1,3,5,7
/proc/10960/task/10972/stat : 10972 (java) S 10958 10958 5131 0 -1 1077944384 11809 0 0 0 71 2 0 0 20 0 15 0 10544242 14316269568 89810 18446744073709551615 4194304 4196468 140735979641712 139822744668784 139823272880770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10973] ppid=10958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10960/task/10973/stat : 10973 (java) S 10958 10958 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10544242 14316269568 89810 18446744073709551615 4194304 4196468 140735979641712 139822743616224 139823272879829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
[pid=10960/tid=10974] ppid=10958 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/10960/task/10974/stat : 10974 (java) S 10958 10958 5131 0 -1 1077944384 1447 0 0 0 3 6 0 0 20 0 15 0 10544247 14316269568 89810 18446744073709551615 4194304 4196468 140735979641712 139822742563504 139823272880770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140735979643348 140735979643523 140735979643523 140735979646927 0
Current children cumulated CPU time (s) 254.79
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 10960 sig 9
??? kill 10958 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 10958 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=931
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=931
# CPU time returned by wait4() is 0.001862
# while last known CPU time is 254.79
#
# 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): 254.79
CPU user time (s): 254.03
CPU system time (s): 0.76
CPU usage (%): 106.158
Max. virtual memory (cumulated for all children) (KiB): 13994196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000931
system time used= 0.000931
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.13203 second user time and 1.51695 second system time
The end