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-4254956-1501981263/watcher-4254956-1501981263 -o /tmp/evaluation-result-4254956-1501981263/solver-4254956-1501981263 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501978204-32404 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 476570450 HOME/instance-4254956-1501981263.xml
pid=2205
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.99 1.93 1.92 3/200 2208
/proc/meminfo: memFree=30092304/32770624 swapFree=0/281808
[pid=2208] ppid=2205 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/2208/stat : 2208 (runsolver) D 2205 2208 30500 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 45941628 24240128 106 18446744073709551615 4194304 4338465 140723429346096 140723429343736 140368968065751 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 20172800 140723429351523 140723429352012 140723429352012 140723429355466 0
/proc/2208/statm: 5918 106 53 36 0 2156 0
[startup+0.100161 s]
/proc/loadavg: 1.99 1.93 1.92 3/200 2208
/proc/meminfo: memFree=30092304/32770624 swapFree=0/281808
[pid=2208] ppid=2205 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/2208/stat : 2208 (runsolver) D 2205 2208 30500 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 45941628 24240128 106 18446744073709551615 4194304 4338465 140723429346096 140723429343736 140368968065751 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 20172800 140723429351523 140723429352012 140723429352012 140723429355466 0
/proc/2208/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200329 s]
/proc/loadavg: 1.99 1.93 1.92 3/200 2208
/proc/meminfo: memFree=30092304/32770624 swapFree=0/281808
[pid=2208] ppid=2205 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/2208/stat : 2208 (xcsp3-exec) S 2205 2208 30500 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 45941628 9740288 345 18446744073709551615 4194304 5098028 140737057929392 140737057927496 139964212400764 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 22208512 140737057931682 140737057931885 140737057931885 140737057935339 0
/proc/2208/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300282 s]
/proc/loadavg: 1.99 1.93 1.92 3/200 2208
/proc/meminfo: memFree=30092304/32770624 swapFree=0/281808
[pid=2208] ppid=2205 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/2208/stat : 2208 (xcsp3-exec) S 2205 2208 30500 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 45941628 9740288 345 18446744073709551615 4194304 5098028 140737057929392 140737057927496 139964212400764 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 22208512 140737057931682 140737057931885 140737057931885 140737057935339 0
/proc/2208/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700305 s]
/proc/loadavg: 1.99 1.93 1.92 3/200 2208
/proc/meminfo: memFree=30092304/32770624 swapFree=0/281808
[pid=2208] ppid=2205 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/2208/stat : 2208 (xcsp3-exec) S 2205 2208 30500 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 45941628 9740288 345 18446744073709551615 4194304 5098028 140737057929392 140737057927496 139964212400764 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 22208512 140737057931682 140737057931885 140737057931885 140737057935339 0
/proc/2208/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50214 s]
/proc/loadavg: 2.15 1.96 1.93 6/216 2224
/proc/meminfo: memFree=29903884/32770624 swapFree=0/281872
[pid=2208] ppid=2205 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/2208/stat : 2208 (xcsp3-exec) S 2205 2208 30500 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 45941628 9740288 345 18446744073709551615 4194304 5098028 140737057929392 140737057927496 139964212400764 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 22208512 140737057931682 140737057931885 140737057931885 140737057935339 0
/proc/2208/statm: 2378 345 289 221 0 87 0
[pid=2210] ppid=2208 vsize=13980732 CPUtime=4.06 cores=1,3,5,7
/proc/2210/stat : 2210 (java) S 2208 2208 30500 0 -1 1077944320 16721 0 0 0 393 13 0 0 20 0 15 0 45941639 14316269568 60833 18446744073709551615 4194304 4196468 140722379159600 140722379142144 140257525755639 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
/proc/2210/statm: 3495183 60833 3210 1 0 3483476 0
[pid=2210/tid=2211] ppid=2208 vsize=13980732 CPUtime=1.26 cores=1,3,5,7
/proc/2210/task/2211/stat : 2211 (java) R 2208 2208 30500 0 -1 4202560 8683 0 0 0 120 6 0 0 20 0 15 0 45941639 14316269568 60833 18446744073709551615 4194304 4196468 140722379159600 140257529995016 140257139988239 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2212] ppid=2208 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/2210/task/2212/stat : 2212 (java) S 2208 2208 30500 0 -1 1077944384 69 0 0 0 4 1 0 0 20 0 15 0 45941640 14316269568 60833 18446744073709551615 4194304 4196468 140722379159600 140257460190096 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2213] ppid=2208 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/2210/task/2213/stat : 2213 (java) S 2208 2208 30500 0 -1 1077944384 49 0 0 0 4 0 0 0 20 0 15 0 45941640 14316269568 60833 18446744073709551615 4194304 4196468 140722379159600 140257124858640 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2214] ppid=2208 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/2210/task/2214/stat : 2214 (java) S 2208 2208 30500 0 -1 1077944384 73 0 0 0 5 1 0 0 20 0 15 0 45941640 14316269568 60833 18446744073709551615 4194304 4196468 140722379159600 140257123806352 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2215] ppid=2208 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/2210/task/2215/stat : 2215 (java) S 2208 2208 30500 0 -1 1077944384 65 0 0 0 4 1 0 0 20 0 15 0 45941640 14316269568 60833 18446744073709551615 4194304 4196468 140722379159600 140257122753552 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2216] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2216/stat : 2216 (java) S 2208 2208 30500 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 45941641 14316269568 60833 18446744073709551615 4194304 4196468 140722379159600 140257071523952 140257525766786 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2217] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2217/stat : 2217 (java) S 2208 2208 30500 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 45941642 14316269568 60833 18446744073709551615 4194304 4196468 140722379159600 140257070469920 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2218] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2218/stat : 2218 (java) S 2208 2208 30500 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 45941642 14316269568 60833 18446744073709551615 4194304 4196468 140722379159600 140257069417584 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2219] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2219/stat : 2219 (java) S 2208 2208 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45941644 14316269568 60833 18446744073709551615 4194304 4196468 140722379159600 140257068365904 140257525774235 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2220] ppid=2208 vsize=13980732 CPUtime=0.99 cores=1,3,5,7
/proc/2210/task/2220/stat : 2220 (java) R 2208 2208 30500 0 -1 4202560 1966 0 0 0 99 0 0 0 20 0 15 0 45941644 14316269568 60833 18446744073709551615 4194304 4196468 140722379159600 140257067305056 140257507277073 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2221] ppid=2208 vsize=13980732 CPUtime=0.95 cores=1,3,5,7
/proc/2210/task/2221/stat : 2221 (java) R 2208 2208 30500 0 -1 4202560 1861 0 0 0 95 0 0 0 20 0 15 0 45941644 14316269568 60833 18446744073709551615 4194304 4196468 140722379159600 140257066252256 140257505008357 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2222] ppid=2208 vsize=13980732 CPUtime=0.58 cores=1,3,5,7
/proc/2210/task/2222/stat : 2222 (java) S 2208 2208 30500 0 -1 1077944384 2573 0 0 0 58 0 0 0 20 0 15 0 45941644 14316269568 60833 18446744073709551615 4194304 4196468 140722379159600 140257065208688 140257525766786 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2223] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2223/stat : 2223 (java) S 2208 2208 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45941644 14316269568 60833 18446744073709551615 4194304 4196468 140722379159600 140257064156128 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2224] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2224/stat : 2224 (java) S 2208 2208 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45941649 14316269568 60833 18446744073709551615 4194304 4196468 140722379159600 140257063102896 140257525766786 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 13990244
[startup+3.10078 s]
/proc/loadavg: 2.15 1.96 1.93 3/216 2224
/proc/meminfo: memFree=29859640/32770624 swapFree=0/281872
[pid=2208] ppid=2205 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/2208/stat : 2208 (xcsp3-exec) S 2205 2208 30500 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 45941628 9740288 345 18446744073709551615 4194304 5098028 140737057929392 140737057927496 139964212400764 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 22208512 140737057931682 140737057931885 140737057931885 140737057935339 0
/proc/2208/statm: 2378 345 289 221 0 87 0
[pid=2210] ppid=2208 vsize=13980732 CPUtime=6 cores=1,3,5,7
/proc/2210/stat : 2210 (java) S 2208 2208 30500 0 -1 1077944320 17115 0 0 0 587 13 0 0 20 0 15 0 45941639 14316269568 61242 18446744073709551615 4194304 4196468 140722379159600 140722379142144 140257525755639 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
/proc/2210/statm: 3495183 61242 3216 1 0 3483476 0
[pid=2210/tid=2211] ppid=2208 vsize=13980732 CPUtime=2.85 cores=1,3,5,7
/proc/2210/task/2211/stat : 2211 (java) R 2208 2208 30500 0 -1 4202560 8745 0 0 0 279 6 0 0 20 0 15 0 45941639 14316269568 61242 18446744073709551615 4194304 4196468 140722379159600 140257529993784 140257146706968 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2212] ppid=2208 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/2210/task/2212/stat : 2212 (java) S 2208 2208 30500 0 -1 1077944384 69 0 0 0 4 1 0 0 20 0 15 0 45941640 14316269568 61242 18446744073709551615 4194304 4196468 140722379159600 140257460190096 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2213] ppid=2208 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/2210/task/2213/stat : 2213 (java) S 2208 2208 30500 0 -1 1077944384 49 0 0 0 4 0 0 0 20 0 15 0 45941640 14316269568 61242 18446744073709551615 4194304 4196468 140722379159600 140257124858640 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2214] ppid=2208 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/2210/task/2214/stat : 2214 (java) S 2208 2208 30500 0 -1 1077944384 73 0 0 0 5 1 0 0 20 0 15 0 45941640 14316269568 61242 18446744073709551615 4194304 4196468 140722379159600 140257123806352 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2215] ppid=2208 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/2210/task/2215/stat : 2215 (java) S 2208 2208 30500 0 -1 1077944384 65 0 0 0 4 1 0 0 20 0 15 0 45941640 14316269568 61242 18446744073709551615 4194304 4196468 140722379159600 140257122753552 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2216] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2216/stat : 2216 (java) S 2208 2208 30500 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 45941641 14316269568 61242 18446744073709551615 4194304 4196468 140722379159600 140257071523952 140257525766786 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2217] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2217/stat : 2217 (java) S 2208 2208 30500 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 45941642 14316269568 61242 18446744073709551615 4194304 4196468 140722379159600 140257070469920 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2218] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2218/stat : 2218 (java) S 2208 2208 30500 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 45941642 14316269568 61242 18446744073709551615 4194304 4196468 140722379159600 140257069417584 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2219] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2219/stat : 2219 (java) S 2208 2208 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45941644 14316269568 61242 18446744073709551615 4194304 4196468 140722379159600 140257068365904 140257525774235 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2220] ppid=2208 vsize=13980732 CPUtime=1.14 cores=1,3,5,7
/proc/2210/task/2220/stat : 2220 (java) S 2208 2208 30500 0 -1 1077944384 1998 0 0 0 114 0 0 0 20 0 15 0 45941644 14316269568 61242 18446744073709551615 4194304 4196468 140722379159600 140257067313776 140257525766786 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2221] ppid=2208 vsize=13980732 CPUtime=1.08 cores=1,3,5,7
/proc/2210/task/2221/stat : 2221 (java) S 2208 2208 30500 0 -1 1077944384 2029 0 0 0 108 0 0 0 20 0 15 0 45941644 14316269568 61242 18446744073709551615 4194304 4196468 140722379159600 140257066260976 140257525766786 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2222] ppid=2208 vsize=13980732 CPUtime=0.65 cores=1,3,5,7
/proc/2210/task/2222/stat : 2222 (java) S 2208 2208 30500 0 -1 1077944384 2704 0 0 0 65 0 0 0 20 0 15 0 45941644 14316269568 61242 18446744073709551615 4194304 4196468 140722379159600 140257065208688 140257525766786 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2223] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2223/stat : 2223 (java) S 2208 2208 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45941644 14316269568 61242 18446744073709551615 4194304 4196468 140722379159600 140257064156128 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2224] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2224/stat : 2224 (java) S 2208 2208 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45941649 14316269568 61242 18446744073709551615 4194304 4196468 140722379159600 140257063102896 140257525766786 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 13990244
[startup+6.30077 s]
/proc/loadavg: 2.15 1.96 1.93 3/216 2224
/proc/meminfo: memFree=29761652/32770624 swapFree=0/281864
[pid=2208] ppid=2205 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/2208/stat : 2208 (xcsp3-exec) S 2205 2208 30500 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 45941628 9740288 345 18446744073709551615 4194304 5098028 140737057929392 140737057927496 139964212400764 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 22208512 140737057931682 140737057931885 140737057931885 140737057935339 0
/proc/2208/statm: 2378 345 289 221 0 87 0
[pid=2210] ppid=2208 vsize=13980732 CPUtime=9.3 cores=1,3,5,7
/proc/2210/stat : 2210 (java) S 2208 2208 30500 0 -1 1077944320 20702 0 0 0 913 17 0 0 20 0 15 0 45941639 14316269568 95775 18446744073709551615 4194304 4196468 140722379159600 140722379142144 140257525755639 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
/proc/2210/statm: 3495183 95775 3229 1 0 3483476 0
[pid=2210/tid=2211] ppid=2208 vsize=13980732 CPUtime=6.02 cores=1,3,5,7
/proc/2210/task/2211/stat : 2211 (java) R 2208 2208 30500 0 -1 4202560 9426 0 0 0 594 8 0 0 20 0 15 0 45941639 14316269568 95775 18446744073709551615 4194304 4196468 140722379159600 140257529995120 140257146662728 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2212] ppid=2208 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/2210/task/2212/stat : 2212 (java) S 2208 2208 30500 0 -1 1077944384 255 0 0 0 6 1 0 0 20 0 15 0 45941640 14316269568 95775 18446744073709551615 4194304 4196468 140722379159600 140257460190096 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2213] ppid=2208 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/2210/task/2213/stat : 2213 (java) S 2208 2208 30500 0 -1 1077944384 69 0 0 0 6 0 0 0 20 0 15 0 45941640 14316269568 95775 18446744073709551615 4194304 4196468 140722379159600 140257124858640 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2214] ppid=2208 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/2210/task/2214/stat : 2214 (java) S 2208 2208 30500 0 -1 1077944384 223 0 0 0 7 2 0 0 20 0 15 0 45941640 14316269568 95775 18446744073709551615 4194304 4196468 140722379159600 140257123806352 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2215] ppid=2208 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/2210/task/2215/stat : 2215 (java) S 2208 2208 30500 0 -1 1077944384 760 0 0 0 6 1 0 0 20 0 15 0 45941640 14316269568 95775 18446744073709551615 4194304 4196468 140722379159600 140257122753552 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2216] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2216/stat : 2216 (java) S 2208 2208 30500 0 -1 1077944384 620 0 0 0 0 0 0 0 20 0 15 0 45941641 14316269568 95775 18446744073709551615 4194304 4196468 140722379159600 140257071523952 140257525766786 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2217] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2217/stat : 2217 (java) S 2208 2208 30500 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 45941642 14316269568 95775 18446744073709551615 4194304 4196468 140722379159600 140257070469984 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2218] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2218/stat : 2218 (java) S 2208 2208 30500 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 45941642 14316269568 95775 18446744073709551615 4194304 4196468 140722379159600 140257069417584 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2219] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2219/stat : 2219 (java) S 2208 2208 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45941644 14316269568 95775 18446744073709551615 4194304 4196468 140722379159600 140257068365904 140257525774235 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2220] ppid=2208 vsize=13980732 CPUtime=1.14 cores=1,3,5,7
/proc/2210/task/2220/stat : 2220 (java) S 2208 2208 30500 0 -1 1077944384 2084 0 0 0 114 0 0 0 20 0 15 0 45941644 14316269568 95775 18446744073709551615 4194304 4196468 140722379159600 140257067313776 140257525766786 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2221] ppid=2208 vsize=13980732 CPUtime=1.09 cores=1,3,5,7
/proc/2210/task/2221/stat : 2221 (java) S 2208 2208 30500 0 -1 1077944384 2355 0 0 0 109 0 0 0 20 0 15 0 45941644 14316269568 95775 18446744073709551615 4194304 4196468 140722379159600 140257066260976 140257525766786 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2222] ppid=2208 vsize=13980732 CPUtime=0.66 cores=1,3,5,7
/proc/2210/task/2222/stat : 2222 (java) S 2208 2208 30500 0 -1 1077944384 3207 0 0 0 66 0 0 0 20 0 15 0 45941644 14316269568 95775 18446744073709551615 4194304 4196468 140722379159600 140257065208688 140257525766786 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2223] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2223/stat : 2223 (java) S 2208 2208 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45941644 14316269568 95775 18446744073709551615 4194304 4196468 140722379159600 140257064156128 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2224] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2224/stat : 2224 (java) S 2208 2208 30500 0 -1 1077944384 398 0 0 0 0 0 0 0 20 0 15 0 45941649 14316269568 95775 18446744073709551615 4194304 4196468 140722379159600 140257063102896 140257525766786 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
Current children cumulated CPU time (s) 9.3
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 2.13 1.96 1.93 3/216 2225
/proc/meminfo: memFree=29698584/32770624 swapFree=0/281876
[pid=2208] ppid=2205 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/2208/stat : 2208 (xcsp3-exec) S 2205 2208 30500 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 45941628 9740288 345 18446744073709551615 4194304 5098028 140737057929392 140737057927496 139964212400764 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 22208512 140737057931682 140737057931885 140737057931885 140737057935339 0
/proc/2208/statm: 2378 345 289 221 0 87 0
[pid=2210] ppid=2208 vsize=13980732 CPUtime=15.9 cores=1,3,5,7
/proc/2210/stat : 2210 (java) S 2208 2208 30500 0 -1 1077944320 23027 0 0 0 1569 21 0 0 20 0 15 0 45941639 14316269568 100992 18446744073709551615 4194304 4196468 140722379159600 140722379142144 140257525755639 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
/proc/2210/statm: 3495183 100992 3232 1 0 3483476 0
[pid=2210/tid=2211] ppid=2208 vsize=13980732 CPUtime=12.4 cores=1,3,5,7
/proc/2210/task/2211/stat : 2211 (java) R 2208 2208 30500 0 -1 4202560 9656 0 0 0 1232 8 0 0 20 0 15 0 45941639 14316269568 100992 18446744073709551615 4194304 4196468 140722379159600 140257529991952 140257146706968 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2212] ppid=2208 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/2210/task/2212/stat : 2212 (java) S 2208 2208 30500 0 -1 1077944384 351 0 0 0 8 2 0 0 20 0 15 0 45941640 14316269568 100992 18446744073709551615 4194304 4196468 140722379159600 140257460190096 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2213] ppid=2208 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2213/stat : 2213 (java) S 2208 2208 30500 0 -1 1077944384 81 0 0 0 7 1 0 0 20 0 15 0 45941640 14316269568 100992 18446744073709551615 4194304 4196468 140722379159600 140257124858640 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
################
# More data... #
################
[pid=2210/tid=2217] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2217/stat : 2217 (java) S 2208 2208 30500 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 45941642 14316269568 545189 18446744073709551615 4194304 4196468 140722379159600 140257070469984 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2218] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2218/stat : 2218 (java) S 2208 2208 30500 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 45941642 14316269568 545189 18446744073709551615 4194304 4196468 140722379159600 140257069417584 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2219] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2219/stat : 2219 (java) S 2208 2208 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45941644 14316269568 545189 18446744073709551615 4194304 4196468 140722379159600 140257068365904 140257525774235 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2220] ppid=2208 vsize=13980732 CPUtime=1.4 cores=1,3,5,7
/proc/2210/task/2220/stat : 2220 (java) S 2208 2208 30500 0 -1 1077944384 6459 0 0 0 139 1 0 0 20 0 15 0 45941644 14316269568 545189 18446744073709551615 4194304 4196468 140722379159600 140257067313776 140257525766786 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2221] ppid=2208 vsize=13980732 CPUtime=1.28 cores=1,3,5,7
/proc/2210/task/2221/stat : 2221 (java) S 2208 2208 30500 0 -1 1077944384 6330 0 0 0 128 0 0 0 20 0 15 0 45941644 14316269568 545189 18446744073709551615 4194304 4196468 140722379159600 140257066260976 140257525766786 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2222] ppid=2208 vsize=13980732 CPUtime=0.67 cores=1,3,5,7
/proc/2210/task/2222/stat : 2222 (java) S 2208 2208 30500 0 -1 1077944384 3343 0 0 0 67 0 0 0 20 0 15 0 45941644 14316269568 545189 18446744073709551615 4194304 4196468 140722379159600 140257065208688 140257525766786 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2223] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2223/stat : 2223 (java) S 2208 2208 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45941644 14316269568 545189 18446744073709551615 4194304 4196468 140722379159600 140257064156128 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2224] ppid=2208 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/2210/task/2224/stat : 2224 (java) S 2208 2208 30500 0 -1 1077944384 851 0 0 0 2 4 0 0 20 0 15 0 45941649 14316269568 545189 18446744073709551615 4194304 4196468 140722379159600 140257063102896 140257525766786 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
Current children cumulated CPU time (s) 106.15
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.02 1.98 1.94 3/215 2308
/proc/meminfo: memFree=26266660/32770624 swapFree=0/282044
[pid=2208] ppid=2205 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/2208/stat : 2208 (xcsp3-exec) S 2205 2208 30500 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 45941628 9740288 345 18446744073709551615 4194304 5098028 140737057929392 140737057927496 139964212400764 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 22208512 140737057931682 140737057931885 140737057931885 140737057935339 0
/proc/2208/statm: 2378 345 289 221 0 87 0
[pid=2210] ppid=2208 vsize=13980732 CPUtime=171.25 cores=1,3,5,7
/proc/2210/stat : 2210 (java) S 2208 2208 30500 0 -1 1077944320 71897 0 0 0 17034 91 0 0 20 0 15 0 45941639 14316269568 801047 18446744073709551615 4194304 4196468 140722379159600 140722379142144 140257525755639 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
/proc/2210/statm: 3495183 801047 3246 1 0 3483476 0
[pid=2210/tid=2211] ppid=2208 vsize=13980732 CPUtime=161.83 cores=1,3,5,7
/proc/2210/task/2211/stat : 2211 (java) R 2208 2208 30500 0 -1 4202560 21880 0 0 0 16134 49 0 0 20 0 15 0 45941639 14316269568 801047 18446744073709551615 4194304 4196468 140722379159600 140257529992048 140257142522502 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2212] ppid=2208 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/2210/task/2212/stat : 2212 (java) S 2208 2208 30500 0 -1 1077944384 1041 0 0 0 18 6 0 0 20 0 15 0 45941640 14316269568 801047 18446744073709551615 4194304 4196468 140722379159600 140257460190096 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2213] ppid=2208 vsize=13980732 CPUtime=0.22 cores=1,3,5,7
/proc/2210/task/2213/stat : 2213 (java) S 2208 2208 30500 0 -1 1077944384 1111 0 0 0 16 6 0 0 20 0 15 0 45941640 14316269568 801047 18446744073709551615 4194304 4196468 140722379159600 140257124858640 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2214] ppid=2208 vsize=13980732 CPUtime=0.25 cores=1,3,5,7
/proc/2210/task/2214/stat : 2214 (java) S 2208 2208 30500 0 -1 1077944384 1314 0 0 0 18 7 0 0 20 0 15 0 45941640 14316269568 801047 18446744073709551615 4194304 4196468 140722379159600 140257123806352 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2215] ppid=2208 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/2210/task/2215/stat : 2215 (java) S 2208 2208 30500 0 -1 1077944384 1932 0 0 0 17 7 0 0 20 0 15 0 45941640 14316269568 801047 18446744073709551615 4194304 4196468 140722379159600 140257122753552 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2216] ppid=2208 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/2210/task/2216/stat : 2216 (java) S 2208 2208 30500 0 -1 1077944384 2951 0 0 0 1 1 0 0 20 0 15 0 45941641 14316269568 801047 18446744073709551615 4194304 4196468 140722379159600 140257071523952 140257525766786 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2217] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2217/stat : 2217 (java) S 2208 2208 30500 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 45941642 14316269568 801047 18446744073709551615 4194304 4196468 140722379159600 140257070469984 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2218] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2218/stat : 2218 (java) S 2208 2208 30500 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 45941642 14316269568 801047 18446744073709551615 4194304 4196468 140722379159600 140257069417600 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2219] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2219/stat : 2219 (java) S 2208 2208 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45941644 14316269568 801047 18446744073709551615 4194304 4196468 140722379159600 140257068365904 140257525774235 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2220] ppid=2208 vsize=13980732 CPUtime=3.65 cores=1,3,5,7
/proc/2210/task/2220/stat : 2220 (java) S 2208 2208 30500 0 -1 1077944384 20388 0 0 0 362 3 0 0 20 0 15 0 45941644 14316269568 801047 18446744073709551615 4194304 4196468 140722379159600 140257067313776 140257525766786 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2221] ppid=2208 vsize=13980732 CPUtime=3.68 cores=1,3,5,7
/proc/2210/task/2221/stat : 2221 (java) S 2208 2208 30500 0 -1 1077944384 13821 0 0 0 367 1 0 0 20 0 15 0 45941644 14316269568 801047 18446744073709551615 4194304 4196468 140722379159600 140257066260976 140257525766786 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2222] ppid=2208 vsize=13980732 CPUtime=0.92 cores=1,3,5,7
/proc/2210/task/2222/stat : 2222 (java) S 2208 2208 30500 0 -1 1077944384 5239 0 0 0 91 1 0 0 20 0 15 0 45941644 14316269568 801047 18446744073709551615 4194304 4196468 140722379159600 140257065208688 140257525766786 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2223] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2223/stat : 2223 (java) S 2208 2208 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45941644 14316269568 801047 18446744073709551615 4194304 4196468 140722379159600 140257064156128 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2224] ppid=2208 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/2210/task/2224/stat : 2224 (java) S 2208 2208 30500 0 -1 1077944384 888 0 0 0 4 6 0 0 20 0 15 0 45941649 14316269568 801047 18446744073709551615 4194304 4196468 140722379159600 140257063102896 140257525766786 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
Current children cumulated CPU time (s) 171.25
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.06 1.99 1.95 3/219 2325
/proc/meminfo: memFree=26254644/32770624 swapFree=0/282100
[pid=2208] ppid=2205 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/2208/stat : 2208 (xcsp3-exec) S 2205 2208 30500 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 45941628 9740288 345 18446744073709551615 4194304 5098028 140737057929392 140737057927496 139964212400764 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 22208512 140737057931682 140737057931885 140737057931885 140737057935339 0
/proc/2208/statm: 2378 345 289 221 0 87 0
[pid=2210] ppid=2208 vsize=13980732 CPUtime=232.34 cores=1,3,5,7
/proc/2210/stat : 2210 (java) S 2208 2208 30500 0 -1 1077944320 72245 0 0 0 23141 93 0 0 20 0 15 0 45941639 14316269568 801065 18446744073709551615 4194304 4196468 140722379159600 140722379142144 140257525755639 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
/proc/2210/statm: 3495183 801065 3246 1 0 3483476 0
[pid=2210/tid=2211] ppid=2208 vsize=13980732 CPUtime=221.84 cores=1,3,5,7
/proc/2210/task/2211/stat : 2211 (java) R 2208 2208 30500 0 -1 4202560 22163 0 0 0 22135 49 0 0 20 0 15 0 45941639 14316269568 801065 18446744073709551615 4194304 4196468 140722379159600 140257529991536 140257148029728 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2212] ppid=2208 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/2210/task/2212/stat : 2212 (java) S 2208 2208 30500 0 -1 1077944384 1041 0 0 0 18 6 0 0 20 0 15 0 45941640 14316269568 801065 18446744073709551615 4194304 4196468 140722379159600 140257460190096 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2213] ppid=2208 vsize=13980732 CPUtime=0.22 cores=1,3,5,7
/proc/2210/task/2213/stat : 2213 (java) S 2208 2208 30500 0 -1 1077944384 1111 0 0 0 16 6 0 0 20 0 15 0 45941640 14316269568 801065 18446744073709551615 4194304 4196468 140722379159600 140257124858640 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2214] ppid=2208 vsize=13980732 CPUtime=0.25 cores=1,3,5,7
/proc/2210/task/2214/stat : 2214 (java) S 2208 2208 30500 0 -1 1077944384 1314 0 0 0 18 7 0 0 20 0 15 0 45941640 14316269568 801065 18446744073709551615 4194304 4196468 140722379159600 140257123806352 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2215] ppid=2208 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/2210/task/2215/stat : 2215 (java) S 2208 2208 30500 0 -1 1077944384 1932 0 0 0 17 7 0 0 20 0 15 0 45941640 14316269568 801065 18446744073709551615 4194304 4196468 140722379159600 140257122753552 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2216] ppid=2208 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/2210/task/2216/stat : 2216 (java) S 2208 2208 30500 0 -1 1077944384 2952 0 0 0 2 1 0 0 20 0 15 0 45941641 14316269568 801065 18446744073709551615 4194304 4196468 140722379159600 140257071523952 140257525766786 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2217] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2217/stat : 2217 (java) S 2208 2208 30500 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 45941642 14316269568 801065 18446744073709551615 4194304 4196468 140722379159600 140257070469984 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2218] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2218/stat : 2218 (java) S 2208 2208 30500 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 45941642 14316269568 801065 18446744073709551615 4194304 4196468 140722379159600 140257069417600 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2219] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2219/stat : 2219 (java) S 2208 2208 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45941644 14316269568 801065 18446744073709551615 4194304 4196468 140722379159600 140257068365904 140257525774235 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2220] ppid=2208 vsize=13980732 CPUtime=4.24 cores=1,3,5,7
/proc/2210/task/2220/stat : 2220 (java) S 2208 2208 30500 0 -1 1077944384 20406 0 0 0 421 3 0 0 20 0 15 0 45941644 14316269568 801065 18446744073709551615 4194304 4196468 140722379159600 140257067313776 140257525766786 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2221] ppid=2208 vsize=13980732 CPUtime=4.1 cores=1,3,5,7
/proc/2210/task/2221/stat : 2221 (java) S 2208 2208 30500 0 -1 1077944384 13849 0 0 0 409 1 0 0 20 0 15 0 45941644 14316269568 801065 18446744073709551615 4194304 4196468 140722379159600 140257066260976 140257525766786 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2222] ppid=2208 vsize=13980732 CPUtime=0.95 cores=1,3,5,7
/proc/2210/task/2222/stat : 2222 (java) S 2208 2208 30500 0 -1 1077944384 5253 0 0 0 94 1 0 0 20 0 15 0 45941644 14316269568 801065 18446744073709551615 4194304 4196468 140722379159600 140257065208688 140257525766786 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2223] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2223/stat : 2223 (java) S 2208 2208 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45941644 14316269568 801065 18446744073709551615 4194304 4196468 140722379159600 140257064156128 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2224] ppid=2208 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/2210/task/2224/stat : 2224 (java) S 2208 2208 30500 0 -1 1077944384 892 0 0 0 5 8 0 0 20 0 15 0 45941649 14316269568 801065 18446744073709551615 4194304 4196468 140722379159600 140257063102896 140257525766786 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
Current children cumulated CPU time (s) 232.34
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.04 1.99 1.95 3/219 2325
/proc/meminfo: memFree=25579612/32770624 swapFree=0/282120
[pid=2208] ppid=2205 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/2208/stat : 2208 (xcsp3-exec) S 2205 2208 30500 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 45941628 9740288 345 18446744073709551615 4194304 5098028 140737057929392 140737057927496 139964212400764 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 22208512 140737057931682 140737057931885 140737057931885 140737057935339 0
/proc/2208/statm: 2378 345 289 221 0 87 0
[pid=2210] ppid=2208 vsize=13980732 CPUtime=250.31 cores=1,3,5,7
/proc/2210/stat : 2210 (java) S 2208 2208 30500 0 -1 1077944320 74429 0 0 0 24924 107 0 0 20 0 15 0 45941639 14316269568 968372 18446744073709551615 4194304 4196468 140722379159600 140722379142144 140257525755639 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
/proc/2210/statm: 3495183 968372 3247 1 0 3483476 0
[pid=2210/tid=2211] ppid=2208 vsize=13980732 CPUtime=239.52 cores=1,3,5,7
/proc/2210/task/2211/stat : 2211 (java) R 2208 2208 30500 0 -1 4202560 24090 0 0 0 23892 60 0 0 20 0 15 0 45941639 14316269568 968372 18446744073709551615 4194304 4196468 140722379159600 140257529992496 140257145643750 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2212] ppid=2208 vsize=13980732 CPUtime=0.25 cores=1,3,5,7
/proc/2210/task/2212/stat : 2212 (java) S 2208 2208 30500 0 -1 1077944384 1053 0 0 0 18 7 0 0 20 0 15 0 45941640 14316269568 968372 18446744073709551615 4194304 4196468 140722379159600 140257460190096 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2213] ppid=2208 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/2210/task/2213/stat : 2213 (java) S 2208 2208 30500 0 -1 1077944384 1121 0 0 0 17 7 0 0 20 0 15 0 45941640 14316269568 968372 18446744073709551615 4194304 4196468 140722379159600 140257124858640 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2214] ppid=2208 vsize=13980732 CPUtime=0.27 cores=1,3,5,7
/proc/2210/task/2214/stat : 2214 (java) S 2208 2208 30500 0 -1 1077944384 1326 0 0 0 19 8 0 0 20 0 15 0 45941640 14316269568 968372 18446744073709551615 4194304 4196468 140722379159600 140257123806352 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2215] ppid=2208 vsize=13980732 CPUtime=0.25 cores=1,3,5,7
/proc/2210/task/2215/stat : 2215 (java) S 2208 2208 30500 0 -1 1077944384 1952 0 0 0 18 7 0 0 20 0 15 0 45941640 14316269568 968372 18446744073709551615 4194304 4196468 140722379159600 140257122753552 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2216] ppid=2208 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/2210/task/2216/stat : 2216 (java) S 2208 2208 30500 0 -1 1077944384 2952 0 0 0 2 1 0 0 20 0 15 0 45941641 14316269568 968372 18446744073709551615 4194304 4196468 140722379159600 140257071523952 140257525766786 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2217] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2217/stat : 2217 (java) S 2208 2208 30500 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 45941642 14316269568 968372 18446744073709551615 4194304 4196468 140722379159600 140257070469984 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2218] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2218/stat : 2218 (java) S 2208 2208 30500 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 45941642 14316269568 968372 18446744073709551615 4194304 4196468 140722379159600 140257069417600 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2219] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2219/stat : 2219 (java) S 2208 2208 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45941644 14316269568 968372 18446744073709551615 4194304 4196468 140722379159600 140257068365904 140257525774235 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2220] ppid=2208 vsize=13980732 CPUtime=4.38 cores=1,3,5,7
/proc/2210/task/2220/stat : 2220 (java) S 2208 2208 30500 0 -1 1077944384 20414 0 0 0 434 4 0 0 20 0 15 0 45941644 14316269568 968372 18446744073709551615 4194304 4196468 140722379159600 140257067313776 140257525766786 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2221] ppid=2208 vsize=13980732 CPUtime=4.16 cores=1,3,5,7
/proc/2210/task/2221/stat : 2221 (java) S 2208 2208 30500 0 -1 1077944384 13852 0 0 0 415 1 0 0 20 0 15 0 45941644 14316269568 968372 18446744073709551615 4194304 4196468 140722379159600 140257066260976 140257525766786 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2222] ppid=2208 vsize=13980732 CPUtime=0.97 cores=1,3,5,7
/proc/2210/task/2222/stat : 2222 (java) S 2208 2208 30500 0 -1 1077944384 5445 0 0 0 96 1 0 0 20 0 15 0 45941644 14316269568 968372 18446744073709551615 4194304 4196468 140722379159600 140257065208688 140257525766786 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2223] ppid=2208 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/2210/task/2223/stat : 2223 (java) S 2208 2208 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45941644 14316269568 968372 18446744073709551615 4194304 4196468 140722379159600 140257064156128 140257525765845 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
[pid=2210/tid=2224] ppid=2208 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/2210/task/2224/stat : 2224 (java) S 2208 2208 30500 0 -1 1077944384 892 0 0 0 6 9 0 0 20 0 15 0 45941649 14316269568 968372 18446744073709551615 4194304 4196468 140722379159600 140257063102896 140257525766786 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 7647232 140722379162074 140722379162249 140722379162249 140722379165647 0
Current children cumulated CPU time (s) 250.31
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 2210 sig 9
??? kill 2208 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 2208 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1817
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=121
# CPU time returned by wait4() is 0.001938
# while last known CPU time is 250.31
#
# 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): 250.31
CPU user time (s): 249.24
CPU system time (s): 1.07
CPU usage (%): 104.291
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001817
system time used= 0.000121
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.18519 second user time and 1.58411 second system time
The end