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-4255351-1501622208/watcher-4255351-1501622208 -o /tmp/evaluation-result-4255351-1501622208/solver-4255351-1501622208 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501617129-10653 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1578160543 HOME/instance-4255351-1501622208.xml
pid=14321
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: 2.23 1.91 1.81 3/205 14324
/proc/meminfo: memFree=31432916/32770624 swapFree=0/190468
[pid=14324] ppid=14321 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14324/stat : 14324 (runsolver) D 14321 14324 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10036118 24240128 106 18446744073709551615 4194304 4338465 140727657913376 140727657911016 139652429607639 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 36077568 140727657918556 140727657919046 140727657919046 140727657922506 0
/proc/14324/statm: 5918 106 53 36 0 2156 0
[startup+0.100159 s]
/proc/loadavg: 2.23 1.91 1.81 3/205 14324
/proc/meminfo: memFree=31432916/32770624 swapFree=0/190468
[pid=14324] ppid=14321 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14324/stat : 14324 (xcsp3-exec) S 14321 14324 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10036118 9740288 344 18446744073709551615 4194304 5098028 140723690691824 140723690689928 140280735597180 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13799424 140723690693019 140723690693223 140723690693223 140723690696683 0
/proc/14324/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200301 s]
/proc/loadavg: 2.23 1.91 1.81 3/205 14324
/proc/meminfo: memFree=31432916/32770624 swapFree=0/190468
[pid=14324] ppid=14321 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14324/stat : 14324 (xcsp3-exec) S 14321 14324 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10036118 9740288 344 18446744073709551615 4194304 5098028 140723690691824 140723690689928 140280735597180 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13799424 140723690693019 140723690693223 140723690693223 140723690696683 0
/proc/14324/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30033 s]
/proc/loadavg: 2.23 1.91 1.81 3/205 14324
/proc/meminfo: memFree=31432916/32770624 swapFree=0/190468
[pid=14324] ppid=14321 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14324/stat : 14324 (xcsp3-exec) S 14321 14324 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10036118 9740288 344 18446744073709551615 4194304 5098028 140723690691824 140723690689928 140280735597180 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13799424 140723690693019 140723690693223 140723690693223 140723690696683 0
/proc/14324/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700456 s]
/proc/loadavg: 2.23 1.91 1.81 3/205 14324
/proc/meminfo: memFree=31432916/32770624 swapFree=0/190468
[pid=14324] ppid=14321 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14324/stat : 14324 (xcsp3-exec) S 14321 14324 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10036118 9740288 344 18446744073709551615 4194304 5098028 140723690691824 140723690689928 140280735597180 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13799424 140723690693019 140723690693223 140723690693223 140723690696683 0
/proc/14324/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5007 s]
/proc/loadavg: 2.23 1.91 1.81 5/219 14340
/proc/meminfo: memFree=31364224/32770624 swapFree=0/190476
[pid=14324] ppid=14321 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14324/stat : 14324 (xcsp3-exec) S 14321 14324 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10036118 9740288 344 18446744073709551615 4194304 5098028 140723690691824 140723690689928 140280735597180 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13799424 140723690693019 140723690693223 140723690693223 140723690696683 0
/proc/14324/statm: 2378 344 289 221 0 87 0
[pid=14326] ppid=14324 vsize=13980732 CPUtime=3.86 cores=1,3,5,7
/proc/14326/stat : 14326 (java) S 14324 14324 5228 0 -1 1077944320 23333 0 0 0 379 7 0 0 20 0 15 0 10036125 14316269568 23525 18446744073709551615 4194304 4196468 140724031673280 140724031655824 140411015343863 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
/proc/14326/statm: 3495183 23525 3179 1 0 3483484 0
[pid=14326/tid=14327] ppid=14324 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/14326/task/14327/stat : 14327 (java) R 14324 14324 5228 0 -1 4202560 10077 0 0 0 132 4 0 0 20 0 15 0 10036125 14316269568 23525 18446744073709551615 4194304 4196468 140724031673280 140411019581392 140410621260814 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14328] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14328/stat : 14328 (java) S 14324 14324 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10036126 14316269568 23525 18446744073709551615 4194304 4196468 140724031673280 140410949777808 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14329] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14329/stat : 14329 (java) S 14324 14324 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10036126 14316269568 23525 18446744073709551615 4194304 4196468 140724031673280 140410948725008 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14330] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14330/stat : 14330 (java) S 14324 14324 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10036126 14316269568 23525 18446744073709551615 4194304 4196468 140724031673280 140410947672720 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14331] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14331/stat : 14331 (java) S 14324 14324 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10036126 14316269568 23525 18446744073709551615 4194304 4196468 140724031673280 140410946619920 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14332] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14332/stat : 14332 (java) S 14324 14324 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10036127 14316269568 23525 18446744073709551615 4194304 4196468 140724031673280 140410493708912 140411015355010 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14333] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14333/stat : 14333 (java) S 14324 14324 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10036127 14316269568 23525 18446744073709551615 4194304 4196468 140724031673280 140410492654880 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14334] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14334/stat : 14334 (java) S 14324 14324 5228 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10036128 14316269568 23525 18446744073709551615 4194304 4196468 140724031673280 140410491602544 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14335] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14335/stat : 14335 (java) S 14324 14324 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10036130 14316269568 23525 18446744073709551615 4194304 4196468 140724031673280 140410490550864 140411015362459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14336] ppid=14324 vsize=13980732 CPUtime=1.02 cores=1,3,5,7
/proc/14326/task/14336/stat : 14336 (java) R 14324 14324 5228 0 -1 4202560 4933 0 0 0 102 0 0 0 20 0 15 0 10036130 14316269568 23525 18446744073709551615 4194304 4196468 140724031673280 140410489489168 140410998875346 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14337] ppid=14324 vsize=13980732 CPUtime=1 cores=1,3,5,7
/proc/14326/task/14337/stat : 14337 (java) R 14324 14324 5228 0 -1 4202560 4812 0 0 0 100 0 0 0 20 0 15 0 10036130 14316269568 23525 18446744073709551615 4194304 4196468 140724031673280 140410488431440 140410993360872 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14338] ppid=14324 vsize=13980732 CPUtime=0.44 cores=1,3,5,7
/proc/14326/task/14338/stat : 14338 (java) S 14324 14324 5228 0 -1 1077944384 2196 0 0 0 43 1 0 0 20 0 15 0 10036130 14316269568 23525 18446744073709551615 4194304 4196468 140724031673280 140410487392624 140411015355010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14339] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14339/stat : 14339 (java) S 14324 14324 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10036130 14316269568 23525 18446744073709551615 4194304 4196468 140724031673280 140410486340064 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14340] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14340/stat : 14340 (java) S 14324 14324 5228 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 10036135 14316269568 23525 18446744073709551615 4194304 4196468 140724031673280 140410485287856 140411015355010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 13990244
[startup+3.10069 s]
/proc/loadavg: 2.23 1.91 1.81 5/219 14340
/proc/meminfo: memFree=31321860/32770624 swapFree=0/190476
[pid=14324] ppid=14321 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14324/stat : 14324 (xcsp3-exec) S 14321 14324 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10036118 9740288 344 18446744073709551615 4194304 5098028 140723690691824 140723690689928 140280735597180 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13799424 140723690693019 140723690693223 140723690693223 140723690696683 0
/proc/14324/statm: 2378 344 289 221 0 87 0
[pid=14326] ppid=14324 vsize=13980732 CPUtime=8.17 cores=1,3,5,7
/proc/14326/stat : 14326 (java) S 14324 14324 5228 0 -1 1077944320 25358 0 0 0 809 8 0 0 20 0 15 0 10036125 14316269568 39174 18446744073709551615 4194304 4196468 140724031673280 140724031655824 140411015343863 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
/proc/14326/statm: 3495183 39174 3197 1 0 3483484 0
[pid=14326/tid=14327] ppid=14324 vsize=13980732 CPUtime=2.96 cores=1,3,5,7
/proc/14326/task/14327/stat : 14327 (java) R 14324 14324 5228 0 -1 4202560 10220 0 0 0 291 5 0 0 20 0 15 0 10036125 14316269568 39174 18446744073709551615 4194304 4196468 140724031673280 140411019582024 140410621751267 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14328] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14328/stat : 14328 (java) S 14324 14324 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10036126 14316269568 39174 18446744073709551615 4194304 4196468 140724031673280 140410949777808 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14329] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14329/stat : 14329 (java) S 14324 14324 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10036126 14316269568 39174 18446744073709551615 4194304 4196468 140724031673280 140410948725008 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14330] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14330/stat : 14330 (java) S 14324 14324 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10036126 14316269568 39174 18446744073709551615 4194304 4196468 140724031673280 140410947672720 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14331] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14331/stat : 14331 (java) S 14324 14324 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10036126 14316269568 39174 18446744073709551615 4194304 4196468 140724031673280 140410946619920 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14332] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14332/stat : 14332 (java) S 14324 14324 5228 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 10036127 14316269568 39174 18446744073709551615 4194304 4196468 140724031673280 140410493708912 140411015355010 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14333] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14333/stat : 14333 (java) S 14324 14324 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10036127 14316269568 39174 18446744073709551615 4194304 4196468 140724031673280 140410492654880 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14334] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14334/stat : 14334 (java) S 14324 14324 5228 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10036128 14316269568 39174 18446744073709551615 4194304 4196468 140724031673280 140410491602544 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14335] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14335/stat : 14335 (java) S 14324 14324 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10036130 14316269568 39174 18446744073709551615 4194304 4196468 140724031673280 140410490550864 140411015362459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14336] ppid=14324 vsize=13980732 CPUtime=2.33 cores=1,3,5,7
/proc/14326/task/14336/stat : 14336 (java) S 14324 14324 5228 0 -1 1077944384 5652 0 0 0 233 0 0 0 20 0 15 0 10036130 14316269568 39174 18446744073709551615 4194304 4196468 140724031673280 140410489497712 140411015355010 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14337] ppid=14324 vsize=13980732 CPUtime=2.31 cores=1,3,5,7
/proc/14326/task/14337/stat : 14337 (java) S 14324 14324 5228 0 -1 1077944384 5627 0 0 0 231 0 0 0 20 0 15 0 10036130 14316269568 39174 18446744073709551615 4194304 4196468 140724031673280 140410488444912 140411015355010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14338] ppid=14324 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/14326/task/14338/stat : 14338 (java) S 14324 14324 5228 0 -1 1077944384 2517 0 0 0 51 1 0 0 20 0 15 0 10036130 14316269568 39174 18446744073709551615 4194304 4196468 140724031673280 140410487392624 140411015355010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14339] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14339/stat : 14339 (java) S 14324 14324 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10036130 14316269568 39174 18446744073709551615 4194304 4196468 140724031673280 140410486340064 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14340] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14340/stat : 14340 (java) S 14324 14324 5228 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 10036135 14316269568 39174 18446744073709551615 4194304 4196468 140724031673280 140410485287856 140411015355010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
Current children cumulated CPU time (s) 8.17
Current children cumulated vsize (KiB) 13990244
[startup+6.30069 s]
/proc/loadavg: 2.21 1.91 1.82 3/217 14340
/proc/meminfo: memFree=31246368/32770624 swapFree=0/190476
[pid=14324] ppid=14321 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14324/stat : 14324 (xcsp3-exec) S 14321 14324 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10036118 9740288 344 18446744073709551615 4194304 5098028 140723690691824 140723690689928 140280735597180 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13799424 140723690693019 140723690693223 140723690693223 140723690696683 0
/proc/14324/statm: 2378 344 289 221 0 87 0
[pid=14326] ppid=14324 vsize=13980732 CPUtime=11.94 cores=1,3,5,7
/proc/14326/stat : 14326 (java) S 14324 14324 5228 0 -1 1077944320 26669 0 0 0 1184 10 0 0 20 0 15 0 10036125 14316269568 50594 18446744073709551615 4194304 4196468 140724031673280 140724031655824 140411015343863 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
/proc/14326/statm: 3495183 50594 3213 1 0 3483484 0
[pid=14326/tid=14327] ppid=14324 vsize=13980732 CPUtime=6.16 cores=1,3,5,7
/proc/14326/task/14327/stat : 14327 (java) R 14324 14324 5228 0 -1 4202560 10286 0 0 0 610 6 0 0 20 0 15 0 10036125 14316269568 50594 18446744073709551615 4194304 4196468 140724031673280 140411019580224 140410622695503 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14328] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14328/stat : 14328 (java) S 14324 14324 5228 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 10036126 14316269568 50594 18446744073709551615 4194304 4196468 140724031673280 140410949777808 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14329] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14329/stat : 14329 (java) S 14324 14324 5228 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 10036126 14316269568 50594 18446744073709551615 4194304 4196468 140724031673280 140410948725008 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14330] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14330/stat : 14330 (java) S 14324 14324 5228 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 15 0 10036126 14316269568 50594 18446744073709551615 4194304 4196468 140724031673280 140410947672720 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14331] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14331/stat : 14331 (java) S 14324 14324 5228 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 10036126 14316269568 50594 18446744073709551615 4194304 4196468 140724031673280 140410946619920 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14332] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14332/stat : 14332 (java) S 14324 14324 5228 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 15 0 10036127 14316269568 50594 18446744073709551615 4194304 4196468 140724031673280 140410493708912 140411015355010 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14333] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14333/stat : 14333 (java) S 14324 14324 5228 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10036127 14316269568 50594 18446744073709551615 4194304 4196468 140724031673280 140410492654880 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14334] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14334/stat : 14334 (java) S 14324 14324 5228 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10036128 14316269568 50594 18446744073709551615 4194304 4196468 140724031673280 140410491602544 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14335] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14335/stat : 14335 (java) S 14324 14324 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10036130 14316269568 50594 18446744073709551615 4194304 4196468 140724031673280 140410490550864 140411015362459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14336] ppid=14324 vsize=13980732 CPUtime=2.52 cores=1,3,5,7
/proc/14326/task/14336/stat : 14336 (java) S 14324 14324 5228 0 -1 1077944384 5705 0 0 0 252 0 0 0 20 0 15 0 10036130 14316269568 50594 18446744073709551615 4194304 4196468 140724031673280 140410489497712 140411015355010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14337] ppid=14324 vsize=13980732 CPUtime=2.62 cores=1,3,5,7
/proc/14326/task/14337/stat : 14337 (java) S 14324 14324 5228 0 -1 1077944384 5691 0 0 0 262 0 0 0 20 0 15 0 10036130 14316269568 50594 18446744073709551615 4194304 4196468 140724031673280 140410488444912 140411015355010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14338] ppid=14324 vsize=13980732 CPUtime=0.57 cores=1,3,5,7
/proc/14326/task/14338/stat : 14338 (java) S 14324 14324 5228 0 -1 1077944384 3073 0 0 0 56 1 0 0 20 0 15 0 10036130 14316269568 50594 18446744073709551615 4194304 4196468 140724031673280 140410487392624 140411015355010 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14339] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14339/stat : 14339 (java) S 14324 14324 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10036130 14316269568 50594 18446744073709551615 4194304 4196468 140724031673280 140410486340064 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14340] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14340/stat : 14340 (java) S 14324 14324 5228 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 10036135 14316269568 50594 18446744073709551615 4194304 4196468 140724031673280 140410485287856 140411015355010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
Current children cumulated CPU time (s) 11.94
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.11 1.89 1.81 3/217 14341
/proc/meminfo: memFree=31240104/32770624 swapFree=0/190492
[pid=14324] ppid=14321 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14324/stat : 14324 (xcsp3-exec) S 14321 14324 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10036118 9740288 344 18446744073709551615 4194304 5098028 140723690691824 140723690689928 140280735597180 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13799424 140723690693019 140723690693223 140723690693223 140723690696683 0
/proc/14324/statm: 2378 344 289 221 0 87 0
[pid=14326] ppid=14324 vsize=13980732 CPUtime=18.94 cores=1,3,5,7
/proc/14326/stat : 14326 (java) S 14324 14324 5228 0 -1 1077944320 32714 0 0 0 1882 12 0 0 20 0 15 0 10036125 14316269568 52830 18446744073709551615 4194304 4196468 140724031673280 140724031655824 140411015343863 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
/proc/14326/statm: 3495183 52830 3229 1 0 3483484 0
[pid=14326/tid=14327] ppid=14324 vsize=13980732 CPUtime=12.53 cores=1,3,5,7
/proc/14326/task/14327/stat : 14327 (java) R 14324 14324 5228 0 -1 4202560 11214 0 0 0 1247 6 0 0 20 0 15 0 10036125 14316269568 52830 18446744073709551615 4194304 4196468 140724031673280 140411019580688 140410622696451 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14328] ppid=14324 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14326/task/14328/stat : 14328 (java) S 14324 14324 5228 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 15 0 10036126 14316269568 52830 18446744073709551615 4194304 4196468 140724031673280 140410949777808 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14329] ppid=14324 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14326/task/14329/stat : 14329 (java) S 14324 14324 5228 0 -1 1077944384 853 0 0 0 1 0 0 0 20 0 15 0 10036126 14316269568 52830 18446744073709551615 4194304 4196468 140724031673280 140410948725008 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
################
# More data... #
################
[pid=14326/tid=14333] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14333/stat : 14333 (java) S 14324 14324 5228 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10036127 14316269568 43484 18446744073709551615 4194304 4196468 140724031673280 140410492654880 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14334] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14334/stat : 14334 (java) S 14324 14324 5228 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10036128 14316269568 43484 18446744073709551615 4194304 4196468 140724031673280 140410491602544 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14335] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14335/stat : 14335 (java) S 14324 14324 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10036130 14316269568 43484 18446744073709551615 4194304 4196468 140724031673280 140410490550864 140411015362459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14336] ppid=14324 vsize=13980732 CPUtime=3.03 cores=1,3,5,7
/proc/14326/task/14336/stat : 14336 (java) S 14324 14324 5228 0 -1 1077944384 10797 0 0 0 302 1 0 0 20 0 15 0 10036130 14316269568 43484 18446744073709551615 4194304 4196468 140724031673280 140410489497712 140411015355010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14337] ppid=14324 vsize=13980732 CPUtime=3.02 cores=1,3,5,7
/proc/14326/task/14337/stat : 14337 (java) S 14324 14324 5228 0 -1 1077944384 11813 0 0 0 301 1 0 0 20 0 15 0 10036130 14316269568 43484 18446744073709551615 4194304 4196468 140724031673280 140410488444912 140411015355010 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14338] ppid=14324 vsize=13980732 CPUtime=0.63 cores=1,3,5,7
/proc/14326/task/14338/stat : 14338 (java) S 14324 14324 5228 0 -1 1077944384 6988 0 0 0 62 1 0 0 20 0 15 0 10036130 14316269568 43484 18446744073709551615 4194304 4196468 140724031673280 140410487392624 140411015355010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14339] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14339/stat : 14339 (java) S 14324 14324 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10036130 14316269568 43484 18446744073709551615 4194304 4196468 140724031673280 140410486340064 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14340] ppid=14324 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/14326/task/14340/stat : 14340 (java) S 14324 14324 5228 0 -1 1077944384 144 0 0 0 1 1 0 0 20 0 15 0 10036135 14316269568 43484 18446744073709551615 4194304 4196468 140724031673280 140410485287856 140411015355010 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
Current children cumulated CPU time (s) 109.52
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.56 1.73 1.76 3/217 14425
/proc/meminfo: memFree=31094660/32770624 swapFree=0/190668
[pid=14324] ppid=14321 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14324/stat : 14324 (xcsp3-exec) S 14321 14324 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10036118 9740288 344 18446744073709551615 4194304 5098028 140723690691824 140723690689928 140280735597180 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13799424 140723690693019 140723690693223 140723690693223 140723690696683 0
/proc/14324/statm: 2378 344 289 221 0 87 0
[pid=14326] ppid=14324 vsize=13980732 CPUtime=170.16 cores=1,3,5,7
/proc/14326/stat : 14326 (java) S 14324 14324 5228 0 -1 1077944320 56940 0 0 0 16991 25 0 0 20 0 15 0 10036125 14316269568 45553 18446744073709551615 4194304 4196468 140724031673280 140724031655824 140411015343863 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
/proc/14326/statm: 3495183 45553 3229 1 0 3483484 0
[pid=14326/tid=14327] ppid=14324 vsize=13980732 CPUtime=161.68 cores=1,3,5,7
/proc/14326/task/14327/stat : 14327 (java) R 14324 14324 5228 0 -1 4202560 15726 0 0 0 16161 7 0 0 20 0 15 0 10036125 14316269568 45553 18446744073709551615 4194304 4196468 140724031673280 140411019583456 140410623028158 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14328] ppid=14324 vsize=13980732 CPUtime=0.39 cores=1,3,5,7
/proc/14326/task/14328/stat : 14328 (java) S 14324 14324 5228 0 -1 1077944384 798 0 0 0 37 2 0 0 20 0 15 0 10036126 14316269568 45553 18446744073709551615 4194304 4196468 140724031673280 140410949777808 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14329] ppid=14324 vsize=13980732 CPUtime=0.39 cores=1,3,5,7
/proc/14326/task/14329/stat : 14329 (java) S 14324 14324 5228 0 -1 1077944384 2138 0 0 0 37 2 0 0 20 0 15 0 10036126 14316269568 45553 18446744073709551615 4194304 4196468 140724031673280 140410948725008 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14330] ppid=14324 vsize=13980732 CPUtime=0.38 cores=1,3,5,7
/proc/14326/task/14330/stat : 14330 (java) S 14324 14324 5228 0 -1 1077944384 776 0 0 0 36 2 0 0 20 0 15 0 10036126 14316269568 45553 18446744073709551615 4194304 4196468 140724031673280 140410947672720 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14331] ppid=14324 vsize=13980732 CPUtime=0.38 cores=1,3,5,7
/proc/14326/task/14331/stat : 14331 (java) S 14324 14324 5228 0 -1 1077944384 2007 0 0 0 36 2 0 0 20 0 15 0 10036126 14316269568 45553 18446744073709551615 4194304 4196468 140724031673280 140410946619920 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14332] ppid=14324 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/14326/task/14332/stat : 14332 (java) S 14324 14324 5228 0 -1 1077944384 1461 0 0 0 6 0 0 0 20 0 15 0 10036127 14316269568 45553 18446744073709551615 4194304 4196468 140724031673280 140410493708912 140411015355010 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14333] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14333/stat : 14333 (java) S 14324 14324 5228 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10036127 14316269568 45553 18446744073709551615 4194304 4196468 140724031673280 140410492654880 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14334] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14334/stat : 14334 (java) S 14324 14324 5228 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10036128 14316269568 45553 18446744073709551615 4194304 4196468 140724031673280 140410491602544 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14335] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14335/stat : 14335 (java) S 14324 14324 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10036130 14316269568 45553 18446744073709551615 4194304 4196468 140724031673280 140410490550864 140411015362459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14336] ppid=14324 vsize=13980732 CPUtime=3.05 cores=1,3,5,7
/proc/14326/task/14336/stat : 14336 (java) S 14324 14324 5228 0 -1 1077944384 11746 0 0 0 304 1 0 0 20 0 15 0 10036130 14316269568 45553 18446744073709551615 4194304 4196468 140724031673280 140410489497712 140411015355010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14337] ppid=14324 vsize=13980732 CPUtime=3.04 cores=1,3,5,7
/proc/14326/task/14337/stat : 14337 (java) S 14324 14324 5228 0 -1 1077944384 12465 0 0 0 303 1 0 0 20 0 15 0 10036130 14316269568 45553 18446744073709551615 4194304 4196468 140724031673280 140410488444912 140411015355010 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14338] ppid=14324 vsize=13980732 CPUtime=0.64 cores=1,3,5,7
/proc/14326/task/14338/stat : 14338 (java) S 14324 14324 5228 0 -1 1077944384 8301 0 0 0 63 1 0 0 20 0 15 0 10036130 14316269568 45553 18446744073709551615 4194304 4196468 140724031673280 140410487392624 140411015355010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14339] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14339/stat : 14339 (java) S 14324 14324 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10036130 14316269568 45553 18446744073709551615 4194304 4196468 140724031673280 140410486340064 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14340] ppid=14324 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/14326/task/14340/stat : 14340 (java) S 14324 14324 5228 0 -1 1077944384 170 0 0 0 2 2 0 0 20 0 15 0 10036135 14316269568 45553 18446744073709551615 4194304 4196468 140724031673280 140410485287856 140411015355010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
Current children cumulated CPU time (s) 170.16
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.73 1.75 1.77 3/216 14427
/proc/meminfo: memFree=30860512/32770624 swapFree=0/190700
[pid=14324] ppid=14321 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14324/stat : 14324 (xcsp3-exec) S 14321 14324 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10036118 9740288 344 18446744073709551615 4194304 5098028 140723690691824 140723690689928 140280735597180 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13799424 140723690693019 140723690693223 140723690693223 140723690696683 0
/proc/14324/statm: 2378 344 289 221 0 87 0
[pid=14326] ppid=14324 vsize=13980732 CPUtime=231.02 cores=1,3,5,7
/proc/14326/stat : 14326 (java) S 14324 14324 5228 0 -1 1077944320 62229 0 0 0 23069 33 0 0 20 0 15 0 10036125 14316269568 58998 18446744073709551615 4194304 4196468 140724031673280 140724031655824 140411015343863 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
/proc/14326/statm: 3495183 58998 3229 1 0 3483484 0
[pid=14326/tid=14327] ppid=14324 vsize=13980732 CPUtime=221.37 cores=1,3,5,7
/proc/14326/task/14327/stat : 14327 (java) R 14324 14324 5228 0 -1 4202560 16539 0 0 0 22130 7 0 0 20 0 15 0 10036125 14316269568 58998 18446744073709551615 4194304 4196468 140724031673280 140411019583104 140410621777085 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14328] ppid=14324 vsize=13980732 CPUtime=0.64 cores=1,3,5,7
/proc/14326/task/14328/stat : 14328 (java) S 14324 14324 5228 0 -1 1077944384 1013 0 0 0 61 3 0 0 20 0 15 0 10036126 14316269568 58998 18446744073709551615 4194304 4196468 140724031673280 140410949777808 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14329] ppid=14324 vsize=13980732 CPUtime=0.65 cores=1,3,5,7
/proc/14326/task/14329/stat : 14329 (java) S 14324 14324 5228 0 -1 1077944384 2523 0 0 0 61 4 0 0 20 0 15 0 10036126 14316269568 58998 18446744073709551615 4194304 4196468 140724031673280 140410948725008 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14330] ppid=14324 vsize=13980732 CPUtime=0.64 cores=1,3,5,7
/proc/14326/task/14330/stat : 14330 (java) S 14324 14324 5228 0 -1 1077944384 1409 0 0 0 60 4 0 0 20 0 15 0 10036126 14316269568 58998 18446744073709551615 4194304 4196468 140724031673280 140410947672720 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14331] ppid=14324 vsize=13980732 CPUtime=0.64 cores=1,3,5,7
/proc/14326/task/14331/stat : 14331 (java) S 14324 14324 5228 0 -1 1077944384 2235 0 0 0 60 4 0 0 20 0 15 0 10036126 14316269568 58998 18446744073709551615 4194304 4196468 140724031673280 140410946619920 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14332] ppid=14324 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/14326/task/14332/stat : 14332 (java) S 14324 14324 5228 0 -1 1077944384 1723 0 0 0 9 1 0 0 20 0 15 0 10036127 14316269568 58998 18446744073709551615 4194304 4196468 140724031673280 140410493708912 140411015355010 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14333] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14333/stat : 14333 (java) S 14324 14324 5228 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10036127 14316269568 58998 18446744073709551615 4194304 4196468 140724031673280 140410492654880 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14334] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14334/stat : 14334 (java) S 14324 14324 5228 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10036128 14316269568 58998 18446744073709551615 4194304 4196468 140724031673280 140410491602544 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14335] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14335/stat : 14335 (java) S 14324 14324 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10036130 14316269568 58998 18446744073709551615 4194304 4196468 140724031673280 140410490550864 140411015362459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14336] ppid=14324 vsize=13980732 CPUtime=3.08 cores=1,3,5,7
/proc/14326/task/14336/stat : 14336 (java) S 14324 14324 5228 0 -1 1077944384 12809 0 0 0 307 1 0 0 20 0 15 0 10036130 14316269568 58998 18446744073709551615 4194304 4196468 140724031673280 140410489497712 140411015355010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14337] ppid=14324 vsize=13980732 CPUtime=3.08 cores=1,3,5,7
/proc/14326/task/14337/stat : 14337 (java) S 14324 14324 5228 0 -1 1077944384 13730 0 0 0 307 1 0 0 20 0 15 0 10036130 14316269568 58998 18446744073709551615 4194304 4196468 140724031673280 140410488444912 140411015355010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14338] ppid=14324 vsize=13980732 CPUtime=0.64 cores=1,3,5,7
/proc/14326/task/14338/stat : 14338 (java) S 14324 14324 5228 0 -1 1077944384 8704 0 0 0 63 1 0 0 20 0 15 0 10036130 14316269568 58998 18446744073709551615 4194304 4196468 140724031673280 140410487392624 140411015355010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14339] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14339/stat : 14339 (java) S 14324 14324 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10036130 14316269568 58998 18446744073709551615 4194304 4196468 140724031673280 140410486340064 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14340] ppid=14324 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/14326/task/14340/stat : 14340 (java) S 14324 14324 5228 0 -1 1077944384 192 0 0 0 3 3 0 0 20 0 15 0 10036135 14316269568 58998 18446744073709551615 4194304 4196468 140724031673280 140410485287856 140411015355010 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
Current children cumulated CPU time (s) 231.02
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.81 1.76 1.77 3/216 14427
/proc/meminfo: memFree=30841832/32770624 swapFree=0/190708
[pid=14324] ppid=14321 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14324/stat : 14324 (xcsp3-exec) S 14321 14324 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10036118 9740288 344 18446744073709551615 4194304 5098028 140723690691824 140723690689928 140280735597180 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13799424 140723690693019 140723690693223 140723690693223 140723690696683 0
/proc/14324/statm: 2378 344 289 221 0 87 0
[pid=14326] ppid=14324 vsize=13980732 CPUtime=248.95 cores=1,3,5,7
/proc/14326/stat : 14326 (java) S 14324 14324 5228 0 -1 1077944320 62477 0 0 0 24860 35 0 0 20 0 15 0 10036125 14316269568 63606 18446744073709551615 4194304 4196468 140724031673280 140724031655824 140411015343863 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
/proc/14326/statm: 3495183 63606 3229 1 0 3483484 0
[pid=14326/tid=14327] ppid=14324 vsize=13980732 CPUtime=238.97 cores=1,3,5,7
/proc/14326/task/14327/stat : 14327 (java) R 14324 14324 5228 0 -1 4202560 16632 0 0 0 23890 7 0 0 20 0 15 0 10036125 14316269568 63606 18446744073709551615 4194304 4196468 140724031673280 140411019583360 140410622359488 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14328] ppid=14324 vsize=13980732 CPUtime=0.73 cores=1,3,5,7
/proc/14326/task/14328/stat : 14328 (java) S 14324 14324 5228 0 -1 1077944384 1057 0 0 0 69 4 0 0 20 0 15 0 10036126 14316269568 63606 18446744073709551615 4194304 4196468 140724031673280 140410949777808 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14329] ppid=14324 vsize=13980732 CPUtime=0.73 cores=1,3,5,7
/proc/14326/task/14329/stat : 14329 (java) S 14324 14324 5228 0 -1 1077944384 2536 0 0 0 68 5 0 0 20 0 15 0 10036126 14316269568 63606 18446744073709551615 4194304 4196468 140724031673280 140410948725008 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14330] ppid=14324 vsize=13980732 CPUtime=0.73 cores=1,3,5,7
/proc/14326/task/14330/stat : 14330 (java) S 14324 14324 5228 0 -1 1077944384 1453 0 0 0 68 5 0 0 20 0 15 0 10036126 14316269568 63606 18446744073709551615 4194304 4196468 140724031673280 140410947672720 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14331] ppid=14324 vsize=13980732 CPUtime=0.72 cores=1,3,5,7
/proc/14326/task/14331/stat : 14331 (java) S 14324 14324 5228 0 -1 1077944384 2289 0 0 0 67 5 0 0 20 0 15 0 10036126 14316269568 63606 18446744073709551615 4194304 4196468 140724031673280 140410946619920 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14332] ppid=14324 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/14326/task/14332/stat : 14332 (java) S 14324 14324 5228 0 -1 1077944384 1723 0 0 0 10 1 0 0 20 0 15 0 10036127 14316269568 63606 18446744073709551615 4194304 4196468 140724031673280 140410493708912 140411015355010 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14333] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14333/stat : 14333 (java) S 14324 14324 5228 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10036127 14316269568 63606 18446744073709551615 4194304 4196468 140724031673280 140410492654880 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14334] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14334/stat : 14334 (java) S 14324 14324 5228 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10036128 14316269568 63606 18446744073709551615 4194304 4196468 140724031673280 140410491602544 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14335] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14335/stat : 14335 (java) S 14324 14324 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10036130 14316269568 63606 18446744073709551615 4194304 4196468 140724031673280 140410490550864 140411015362459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14336] ppid=14324 vsize=13980732 CPUtime=3.08 cores=1,3,5,7
/proc/14326/task/14336/stat : 14336 (java) S 14324 14324 5228 0 -1 1077944384 12809 0 0 0 307 1 0 0 20 0 15 0 10036130 14316269568 63606 18446744073709551615 4194304 4196468 140724031673280 140410489497712 140411015355010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14337] ppid=14324 vsize=13980732 CPUtime=3.08 cores=1,3,5,7
/proc/14326/task/14337/stat : 14337 (java) S 14324 14324 5228 0 -1 1077944384 13730 0 0 0 307 1 0 0 20 0 15 0 10036130 14316269568 63606 18446744073709551615 4194304 4196468 140724031673280 140410488444912 140411015355010 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14338] ppid=14324 vsize=13980732 CPUtime=0.64 cores=1,3,5,7
/proc/14326/task/14338/stat : 14338 (java) S 14324 14324 5228 0 -1 1077944384 8704 0 0 0 63 1 0 0 20 0 15 0 10036130 14316269568 63606 18446744073709551615 4194304 4196468 140724031673280 140410487392624 140411015355010 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14339] ppid=14324 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14326/task/14339/stat : 14339 (java) S 14324 14324 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10036130 14316269568 63606 18446744073709551615 4194304 4196468 140724031673280 140410486340064 140411015354069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
[pid=14326/tid=14340] ppid=14324 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/14326/task/14340/stat : 14340 (java) S 14324 14324 5228 0 -1 1077944384 192 0 0 0 3 3 0 0 20 0 15 0 10036135 14316269568 63606 18446744073709551615 4194304 4196468 140724031673280 140410485287856 140411015355010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19615744 140724031680980 140724031681155 140724031681155 140724031684559 0
Current children cumulated CPU time (s) 248.95
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 14326 sig 9
??? kill 14324 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 14324 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1870
# CPU time returned by wait4() is 0.00187
# while last known CPU time is 248.95
#
# 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): 248.95
CPU user time (s): 248.6
CPU system time (s): 0.35
CPU usage (%): 103.725
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.00187
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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.06276 second user time and 1.57147 second system time
The end