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-4255358-1501622283/watcher-4255358-1501622283 -o /tmp/evaluation-result-4255358-1501622283/solver-4255358-1501622283 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501617027-7472 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 315134046 HOME/instance-4255358-1501622283.xml
pid=14317
running on 4 cores: 0,2,4,6
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.01 1.84 1.83 4/196 14320
/proc/meminfo: memFree=30929756/32770624 swapFree=0/973928
[pid=14320] ppid=14317 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/14320/stat : 14320 (runsolver) D 14317 14320 5678 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10853001 24240128 106 18446744073709551615 4194304 4338465 140722158155440 140722158153080 140263604486871 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 22597632 140722158162014 140722158162502 140722158162502 140722158165962 0
/proc/14320/statm: 5918 106 53 36 0 2156 0
[startup+0.10015 s]
/proc/loadavg: 2.01 1.84 1.83 4/196 14320
/proc/meminfo: memFree=30929756/32770624 swapFree=0/973928
[pid=14320] ppid=14317 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14320/stat : 14320 (xcsp3-exec) S 14317 14320 5678 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10853001 9740288 344 18446744073709551615 4194304 5098028 140735488027712 140735488025816 140417538593404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 8060928 140735488033180 140735488033383 140735488033383 140735488036843 0
/proc/14320/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200345 s]
/proc/loadavg: 2.01 1.84 1.83 4/196 14320
/proc/meminfo: memFree=30929756/32770624 swapFree=0/973928
[pid=14320] ppid=14317 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14320/stat : 14320 (xcsp3-exec) S 14317 14320 5678 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10853001 9740288 344 18446744073709551615 4194304 5098028 140735488027712 140735488025816 140417538593404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 8060928 140735488033180 140735488033383 140735488033383 140735488036843 0
/proc/14320/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.304918 s]
/proc/loadavg: 2.01 1.84 1.83 4/196 14320
/proc/meminfo: memFree=30929756/32770624 swapFree=0/973928
[pid=14320] ppid=14317 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14320/stat : 14320 (xcsp3-exec) S 14317 14320 5678 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10853001 9740288 344 18446744073709551615 4194304 5098028 140735488027712 140735488025816 140417538593404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 8060928 140735488033180 140735488033383 140735488033383 140735488036843 0
/proc/14320/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700897 s]
/proc/loadavg: 2.01 1.84 1.83 4/196 14320
/proc/meminfo: memFree=30929756/32770624 swapFree=0/973928
[pid=14320] ppid=14317 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14320/stat : 14320 (xcsp3-exec) S 14317 14320 5678 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10853001 9740288 344 18446744073709551615 4194304 5098028 140735488027712 140735488025816 140417538593404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 8060928 140735488033180 140735488033383 140735488033383 140735488036843 0
/proc/14320/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5006 s]
/proc/loadavg: 2.01 1.84 1.83 5/212 14336
/proc/meminfo: memFree=30859296/32770624 swapFree=0/973928
[pid=14320] ppid=14317 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14320/stat : 14320 (xcsp3-exec) S 14317 14320 5678 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10853001 9740288 344 18446744073709551615 4194304 5098028 140735488027712 140735488025816 140417538593404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 8060928 140735488033180 140735488033383 140735488033383 140735488036843 0
/proc/14320/statm: 2378 344 289 221 0 87 0
[pid=14322] ppid=14320 vsize=13980732 CPUtime=3.83 cores=0,2,4,6
/proc/14322/stat : 14322 (java) S 14320 14320 5678 0 -1 1077944320 25885 0 0 0 376 7 0 0 20 0 15 0 10853008 14316269568 26755 18446744073709551615 4194304 4196468 140722194840320 140722194822864 140421304872695 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
/proc/14322/statm: 3495183 26755 3178 1 0 3483484 0
[pid=14322/tid=14323] ppid=14320 vsize=13980732 CPUtime=1.34 cores=0,2,4,6
/proc/14322/task/14323/stat : 14323 (java) R 14320 14320 5678 0 -1 4202560 9129 0 0 0 131 3 0 0 20 0 15 0 10853008 14316269568 26755 18446744073709551615 4194304 4196468 140722194840320 140421309108960 140421304884630 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14324] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14324/stat : 14324 (java) S 14320 14320 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10853009 14316269568 26755 18446744073709551615 4194304 4196468 140722194840320 140420904471440 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14325] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14325/stat : 14325 (java) S 14320 14320 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10853009 14316269568 26755 18446744073709551615 4194304 4196468 140722194840320 140420903418640 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14326] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14326/stat : 14326 (java) S 14320 14320 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10853009 14316269568 26755 18446744073709551615 4194304 4196468 140722194840320 140420902366352 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14327] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14327/stat : 14327 (java) S 14320 14320 5678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10853009 14316269568 26755 18446744073709551615 4194304 4196468 140722194840320 140420901313552 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14328] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14328/stat : 14328 (java) S 14320 14320 5678 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 10853010 14316269568 26755 18446744073709551615 4194304 4196468 140722194840320 140420221712496 140421304883842 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14329] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14329/stat : 14329 (java) S 14320 14320 5678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10853011 14316269568 26755 18446744073709551615 4194304 4196468 140722194840320 140420220658464 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14330] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14330/stat : 14330 (java) S 14320 14320 5678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10853011 14316269568 26755 18446744073709551615 4194304 4196468 140722194840320 140420219606128 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14331] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14331/stat : 14331 (java) S 14320 14320 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10853013 14316269568 26755 18446744073709551615 4194304 4196468 140722194840320 140420218554448 140421304891291 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14332] ppid=14320 vsize=13980732 CPUtime=0.95 cores=0,2,4,6
/proc/14322/task/14332/stat : 14332 (java) R 14320 14320 5678 0 -1 4202560 7250 0 0 0 94 1 0 0 20 0 15 0 10853013 14316269568 26755 18446744073709551615 4194304 4196468 140722194840320 140420217493776 140421289980411 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14333] ppid=14320 vsize=13980732 CPUtime=0.96 cores=0,2,4,6
/proc/14322/task/14333/stat : 14333 (java) R 14320 14320 5678 0 -1 4202560 4618 0 0 0 96 0 0 0 20 0 15 0 10853014 14316269568 26755 18446744073709551615 4194304 4196468 140722194840320 140420216435400 140421284703324 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14334] ppid=14320 vsize=13980732 CPUtime=0.54 cores=0,2,4,6
/proc/14322/task/14334/stat : 14334 (java) S 14320 14320 5678 0 -1 1077944384 3570 0 0 0 53 1 0 0 20 0 15 0 10853014 14316269568 26755 18446744073709551615 4194304 4196468 140722194840320 140420215397232 140421304883842 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14335] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14335/stat : 14335 (java) S 14320 14320 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10853014 14316269568 26755 18446744073709551615 4194304 4196468 140722194840320 140420214344672 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14336] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14336/stat : 14336 (java) S 14320 14320 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10853020 14316269568 26755 18446744073709551615 4194304 4196468 140722194840320 140420213291440 140421304883842 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 13990244
[startup+3.10079 s]
/proc/loadavg: 2.17 1.87 1.84 5/212 14336
/proc/meminfo: memFree=30821200/32770624 swapFree=0/973932
[pid=14320] ppid=14317 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14320/stat : 14320 (xcsp3-exec) S 14317 14320 5678 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10853001 9740288 344 18446744073709551615 4194304 5098028 140735488027712 140735488025816 140417538593404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 8060928 140735488033180 140735488033383 140735488033383 140735488036843 0
/proc/14320/statm: 2378 344 289 221 0 87 0
[pid=14322] ppid=14320 vsize=13980732 CPUtime=8.29 cores=0,2,4,6
/proc/14322/stat : 14322 (java) S 14320 14320 5678 0 -1 1077944320 29054 0 0 0 820 9 0 0 20 0 15 0 10853008 14316269568 44812 18446744073709551615 4194304 4196468 140722194840320 140722194822864 140421304872695 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
/proc/14322/statm: 3495183 44812 3198 1 0 3483484 0
[pid=14322/tid=14323] ppid=14320 vsize=13980732 CPUtime=2.95 cores=0,2,4,6
/proc/14322/task/14323/stat : 14323 (java) R 14320 14320 5678 0 -1 4202560 9934 0 0 0 290 5 0 0 20 0 15 0 10853008 14316269568 44812 18446744073709551615 4194304 4196468 140722194840320 140421309109160 140420951023237 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14324] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14324/stat : 14324 (java) S 14320 14320 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10853009 14316269568 44812 18446744073709551615 4194304 4196468 140722194840320 140420904471440 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14325] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14325/stat : 14325 (java) S 14320 14320 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10853009 14316269568 44812 18446744073709551615 4194304 4196468 140722194840320 140420903418640 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14326] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14326/stat : 14326 (java) S 14320 14320 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10853009 14316269568 44812 18446744073709551615 4194304 4196468 140722194840320 140420902366352 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14327] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14327/stat : 14327 (java) S 14320 14320 5678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10853009 14316269568 44812 18446744073709551615 4194304 4196468 140722194840320 140420901313552 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14328] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14328/stat : 14328 (java) S 14320 14320 5678 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10853010 14316269568 44812 18446744073709551615 4194304 4196468 140722194840320 140420221712496 140421304883842 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14329] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14329/stat : 14329 (java) S 14320 14320 5678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10853011 14316269568 44812 18446744073709551615 4194304 4196468 140722194840320 140420220658464 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14330] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14330/stat : 14330 (java) S 14320 14320 5678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10853011 14316269568 44812 18446744073709551615 4194304 4196468 140722194840320 140420219606128 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14331] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14331/stat : 14331 (java) S 14320 14320 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10853013 14316269568 44812 18446744073709551615 4194304 4196468 140722194840320 140420218554448 140421304891291 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14332] ppid=14320 vsize=13980732 CPUtime=2.3 cores=0,2,4,6
/proc/14322/task/14332/stat : 14332 (java) S 14320 14320 5678 0 -1 1077944384 8153 0 0 0 229 1 0 0 20 0 15 0 10853013 14316269568 44812 18446744073709551615 4194304 4196468 140722194840320 140420217502320 140421304883842 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14333] ppid=14320 vsize=13980732 CPUtime=2.32 cores=0,2,4,6
/proc/14322/task/14333/stat : 14333 (java) S 14320 14320 5678 0 -1 1077944384 5262 0 0 0 232 0 0 0 20 0 15 0 10853014 14316269568 44812 18446744073709551615 4194304 4196468 140722194840320 140420216449520 140421304883842 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14334] ppid=14320 vsize=13980732 CPUtime=0.68 cores=0,2,4,6
/proc/14322/task/14334/stat : 14334 (java) S 14320 14320 5678 0 -1 1077944384 4345 0 0 0 67 1 0 0 20 0 15 0 10853014 14316269568 44812 18446744073709551615 4194304 4196468 140722194840320 140420215397232 140421304883842 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14335] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14335/stat : 14335 (java) S 14320 14320 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10853014 14316269568 44812 18446744073709551615 4194304 4196468 140722194840320 140420214344672 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14336] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14336/stat : 14336 (java) S 14320 14320 5678 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 10853020 14316269568 44812 18446744073709551615 4194304 4196468 140722194840320 140420213291440 140421304883842 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
Current children cumulated CPU time (s) 8.29
Current children cumulated vsize (KiB) 13990244
[startup+6.30094 s]
/proc/loadavg: 2.17 1.87 1.84 3/212 14336
/proc/meminfo: memFree=30710376/32770624 swapFree=0/973948
[pid=14320] ppid=14317 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14320/stat : 14320 (xcsp3-exec) S 14317 14320 5678 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10853001 9740288 344 18446744073709551615 4194304 5098028 140735488027712 140735488025816 140417538593404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 8060928 140735488033180 140735488033383 140735488033383 140735488036843 0
/proc/14320/statm: 2378 344 289 221 0 87 0
[pid=14322] ppid=14320 vsize=13980732 CPUtime=12.8 cores=0,2,4,6
/proc/14322/stat : 14322 (java) S 14320 14320 5678 0 -1 1077944320 30543 0 0 0 1267 13 0 0 20 0 15 0 10853008 14316269568 57836 18446744073709551615 4194304 4196468 140722194840320 140722194822864 140421304872695 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
/proc/14322/statm: 3495183 57836 3220 1 0 3483484 0
[pid=14322/tid=14323] ppid=14320 vsize=13980732 CPUtime=6.11 cores=0,2,4,6
/proc/14322/task/14323/stat : 14323 (java) R 14320 14320 5678 0 -1 4202560 9989 0 0 0 606 5 0 0 20 0 15 0 10853008 14316269568 57836 18446744073709551615 4194304 4196468 140722194840320 140421309109624 140420949599995 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14324] ppid=14320 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/14322/task/14324/stat : 14324 (java) S 14320 14320 5678 0 -1 1077944384 177 0 0 0 1 0 0 0 20 0 15 0 10853009 14316269568 57836 18446744073709551615 4194304 4196468 140722194840320 140420904471440 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14325] ppid=14320 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/14322/task/14325/stat : 14325 (java) S 14320 14320 5678 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 15 0 10853009 14316269568 57836 18446744073709551615 4194304 4196468 140722194840320 140420903418640 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14326] ppid=14320 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/14322/task/14326/stat : 14326 (java) S 14320 14320 5678 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 15 0 10853009 14316269568 57836 18446744073709551615 4194304 4196468 140722194840320 140420902366352 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14327] ppid=14320 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/14322/task/14327/stat : 14327 (java) S 14320 14320 5678 0 -1 1077944384 405 0 0 0 1 0 0 0 20 0 15 0 10853009 14316269568 57836 18446744073709551615 4194304 4196468 140722194840320 140420901313552 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14328] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14328/stat : 14328 (java) S 14320 14320 5678 0 -1 1077944384 181 0 0 0 0 0 0 0 20 0 15 0 10853010 14316269568 57836 18446744073709551615 4194304 4196468 140722194840320 140420221712496 140421304883842 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14329] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14329/stat : 14329 (java) S 14320 14320 5678 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10853011 14316269568 57836 18446744073709551615 4194304 4196468 140722194840320 140420220658464 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14330] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14330/stat : 14330 (java) S 14320 14320 5678 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 10853011 14316269568 57836 18446744073709551615 4194304 4196468 140722194840320 140420219606128 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14331] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14331/stat : 14331 (java) S 14320 14320 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10853013 14316269568 57836 18446744073709551615 4194304 4196468 140722194840320 140420218554448 140421304891291 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14332] ppid=14320 vsize=13980732 CPUtime=2.89 cores=0,2,4,6
/proc/14322/task/14332/stat : 14332 (java) S 14320 14320 5678 0 -1 1077944384 8268 0 0 0 288 1 0 0 20 0 15 0 10853013 14316269568 57836 18446744073709551615 4194304 4196468 140722194840320 140420217502320 140421304883842 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14333] ppid=14320 vsize=13980732 CPUtime=2.92 cores=0,2,4,6
/proc/14322/task/14333/stat : 14333 (java) S 14320 14320 5678 0 -1 1077944384 5368 0 0 0 292 0 0 0 20 0 15 0 10853014 14316269568 57836 18446744073709551615 4194304 4196468 140722194840320 140420216449520 140421304883842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14334] ppid=14320 vsize=13980732 CPUtime=0.74 cores=0,2,4,6
/proc/14322/task/14334/stat : 14334 (java) S 14320 14320 5678 0 -1 1077944384 4681 0 0 0 72 2 0 0 20 0 15 0 10853014 14316269568 57836 18446744073709551615 4194304 4196468 140722194840320 140420215397232 140421304883842 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14335] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14335/stat : 14335 (java) S 14320 14320 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10853014 14316269568 57836 18446744073709551615 4194304 4196468 140722194840320 140420214344672 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14336] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14336/stat : 14336 (java) S 14320 14320 5678 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 10853020 14316269568 57836 18446744073709551615 4194304 4196468 140722194840320 140420213291440 140421304883842 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
Current children cumulated CPU time (s) 12.8
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 2.14 1.88 1.84 3/212 14336
/proc/meminfo: memFree=30692580/32770624 swapFree=0/973948
[pid=14320] ppid=14317 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14320/stat : 14320 (xcsp3-exec) S 14317 14320 5678 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10853001 9740288 344 18446744073709551615 4194304 5098028 140735488027712 140735488025816 140417538593404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 8060928 140735488033180 140735488033383 140735488033383 140735488036843 0
/proc/14320/statm: 2378 344 289 221 0 87 0
[pid=14322] ppid=14320 vsize=13980732 CPUtime=20.57 cores=0,2,4,6
/proc/14322/stat : 14322 (java) S 14320 14320 5678 0 -1 1077944320 40910 0 0 0 2043 14 0 0 20 0 15 0 10853008 14316269568 58584 18446744073709551615 4194304 4196468 140722194840320 140722194822864 140421304872695 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
/proc/14322/statm: 3495183 58584 3231 1 0 3483484 0
[pid=14322/tid=14323] ppid=14320 vsize=13980732 CPUtime=12.49 cores=0,2,4,6
/proc/14322/task/14323/stat : 14323 (java) R 14320 14320 5678 0 -1 4202560 11199 0 0 0 1244 5 0 0 20 0 15 0 10853008 14316269568 58584 18446744073709551615 4194304 4196468 140722194840320 140421309109296 140420951432580 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14324] ppid=14320 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14322/task/14324/stat : 14324 (java) S 14320 14320 5678 0 -1 1077944384 241 0 0 0 3 0 0 0 20 0 15 0 10853009 14316269568 58584 18446744073709551615 4194304 4196468 140722194840320 140420904471440 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14325] ppid=14320 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14322/task/14325/stat : 14325 (java) S 14320 14320 5678 0 -1 1077944384 236 0 0 0 3 0 0 0 20 0 15 0 10853009 14316269568 58584 18446744073709551615 4194304 4196468 140722194840320 140420903418640 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
################
# More data... #
################
[pid=14322/tid=14329] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14329/stat : 14329 (java) S 14320 14320 5678 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10853011 14316269568 70704 18446744073709551615 4194304 4196468 140722194840320 140420220658464 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14330] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14330/stat : 14330 (java) S 14320 14320 5678 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 10853011 14316269568 70704 18446744073709551615 4194304 4196468 140722194840320 140420219606128 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14331] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14331/stat : 14331 (java) S 14320 14320 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10853013 14316269568 70704 18446744073709551615 4194304 4196468 140722194840320 140420218554448 140421304891291 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14332] ppid=14320 vsize=13980732 CPUtime=3.87 cores=0,2,4,6
/proc/14322/task/14332/stat : 14332 (java) S 14320 14320 5678 0 -1 1077944384 16424 0 0 0 386 1 0 0 20 0 15 0 10853013 14316269568 70704 18446744073709551615 4194304 4196468 140722194840320 140420217502320 140421304883842 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14333] ppid=14320 vsize=13980732 CPUtime=3.71 cores=0,2,4,6
/proc/14322/task/14333/stat : 14333 (java) S 14320 14320 5678 0 -1 1077944384 13770 0 0 0 370 1 0 0 20 0 15 0 10853014 14316269568 70704 18446744073709551615 4194304 4196468 140722194840320 140420216449520 140421304883842 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14334] ppid=14320 vsize=13980732 CPUtime=0.79 cores=0,2,4,6
/proc/14322/task/14334/stat : 14334 (java) S 14320 14320 5678 0 -1 1077944384 8128 0 0 0 77 2 0 0 20 0 15 0 10853014 14316269568 70704 18446744073709551615 4194304 4196468 140722194840320 140420215397232 140421304883842 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14335] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14335/stat : 14335 (java) S 14320 14320 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10853014 14316269568 70704 18446744073709551615 4194304 4196468 140722194840320 140420214344672 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14336] ppid=14320 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/14322/task/14336/stat : 14336 (java) S 14320 14320 5678 0 -1 1077944384 446 0 0 0 2 2 0 0 20 0 15 0 10853020 14316269568 70704 18446744073709551615 4194304 4196468 140722194840320 140420213291440 140421304883842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
Current children cumulated CPU time (s) 112.09
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.52 1.75 1.81 3/211 14341
/proc/meminfo: memFree=30428192/32770624 swapFree=0/974064
[pid=14320] ppid=14317 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14320/stat : 14320 (xcsp3-exec) S 14317 14320 5678 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10853001 9740288 344 18446744073709551615 4194304 5098028 140735488027712 140735488025816 140417538593404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 8060928 140735488033180 140735488033383 140735488033383 140735488036843 0
/proc/14320/statm: 2378 344 289 221 0 87 0
[pid=14322] ppid=14320 vsize=13980732 CPUtime=173.66 cores=0,2,4,6
/proc/14322/stat : 14322 (java) S 14320 14320 5678 0 -1 1077944320 68785 0 0 0 17307 59 0 0 20 0 15 0 10853008 14316269568 109416 18446744073709551615 4194304 4196468 140722194840320 140722194822864 140421304872695 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
/proc/14322/statm: 3495183 109416 3231 1 0 3483484 0
[pid=14322/tid=14323] ppid=14320 vsize=13980732 CPUtime=160.99 cores=0,2,4,6
/proc/14322/task/14323/stat : 14323 (java) R 14320 14320 5678 0 -1 4202560 16060 0 0 0 16093 6 0 0 20 0 15 0 10853008 14316269568 109416 18446744073709551615 4194304 4196468 140722194840320 140421309112464 140420954337186 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14324] ppid=14320 vsize=13980732 CPUtime=0.97 cores=0,2,4,6
/proc/14322/task/14324/stat : 14324 (java) S 14320 14320 5678 0 -1 1077944384 1869 0 0 0 87 10 0 0 20 0 15 0 10853009 14316269568 109416 18446744073709551615 4194304 4196468 140722194840320 140420904471440 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14325] ppid=14320 vsize=13980732 CPUtime=0.98 cores=0,2,4,6
/proc/14322/task/14325/stat : 14325 (java) S 14320 14320 5678 0 -1 1077944384 2076 0 0 0 87 11 0 0 20 0 15 0 10853009 14316269568 109416 18446744073709551615 4194304 4196468 140722194840320 140420903418640 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14326] ppid=14320 vsize=13980732 CPUtime=0.97 cores=0,2,4,6
/proc/14322/task/14326/stat : 14326 (java) S 14320 14320 5678 0 -1 1077944384 1361 0 0 0 87 10 0 0 20 0 15 0 10853009 14316269568 109416 18446744073709551615 4194304 4196468 140722194840320 140420902366352 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14327] ppid=14320 vsize=13980732 CPUtime=0.97 cores=0,2,4,6
/proc/14322/task/14327/stat : 14327 (java) S 14320 14320 5678 0 -1 1077944384 1358 0 0 0 87 10 0 0 20 0 15 0 10853009 14316269568 109416 18446744073709551615 4194304 4196468 140722194840320 140420901313552 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14328] ppid=14320 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/14322/task/14328/stat : 14328 (java) S 14320 14320 5678 0 -1 1077944384 1609 0 0 0 9 1 0 0 20 0 15 0 10853010 14316269568 109416 18446744073709551615 4194304 4196468 140722194840320 140420221712496 140421304883842 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14329] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14329/stat : 14329 (java) S 14320 14320 5678 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10853011 14316269568 109416 18446744073709551615 4194304 4196468 140722194840320 140420220658464 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14330] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14330/stat : 14330 (java) S 14320 14320 5678 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 10853011 14316269568 109416 18446744073709551615 4194304 4196468 140722194840320 140420219606128 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14331] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14331/stat : 14331 (java) S 14320 14320 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10853013 14316269568 109416 18446744073709551615 4194304 4196468 140722194840320 140420218554448 140421304891291 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14332] ppid=14320 vsize=13980732 CPUtime=3.94 cores=0,2,4,6
/proc/14322/task/14332/stat : 14332 (java) S 14320 14320 5678 0 -1 1077944384 18399 0 0 0 393 1 0 0 20 0 15 0 10853013 14316269568 109416 18446744073709551615 4194304 4196468 140722194840320 140420217502320 140421304883842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14333] ppid=14320 vsize=13980732 CPUtime=3.77 cores=0,2,4,6
/proc/14322/task/14333/stat : 14333 (java) S 14320 14320 5678 0 -1 1077944384 15538 0 0 0 376 1 0 0 20 0 15 0 10853014 14316269568 109416 18446744073709551615 4194304 4196468 140722194840320 140420216449520 140421304883842 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14334] ppid=14320 vsize=13980732 CPUtime=0.8 cores=0,2,4,6
/proc/14322/task/14334/stat : 14334 (java) S 14320 14320 5678 0 -1 1077944384 8685 0 0 0 78 2 0 0 20 0 15 0 10853014 14316269568 109416 18446744073709551615 4194304 4196468 140722194840320 140420215397232 140421304883842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14335] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14335/stat : 14335 (java) S 14320 14320 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10853014 14316269568 109416 18446744073709551615 4194304 4196468 140722194840320 140420214344672 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14336] ppid=14320 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/14322/task/14336/stat : 14336 (java) S 14320 14320 5678 0 -1 1077944384 474 0 0 0 3 3 0 0 20 0 15 0 10853020 14316269568 109416 18446744073709551615 4194304 4196468 140722194840320 140420213291440 140421304883842 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
Current children cumulated CPU time (s) 173.66
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.59 1.73 1.79 3/211 14343
/proc/meminfo: memFree=30530588/32770624 swapFree=0/974096
[pid=14320] ppid=14317 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14320/stat : 14320 (xcsp3-exec) S 14317 14320 5678 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10853001 9740288 344 18446744073709551615 4194304 5098028 140735488027712 140735488025816 140417538593404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 8060928 140735488033180 140735488033383 140735488033383 140735488036843 0
/proc/14320/statm: 2378 344 289 221 0 87 0
[pid=14322] ppid=14320 vsize=13980732 CPUtime=234.96 cores=0,2,4,6
/proc/14322/stat : 14322 (java) S 14320 14320 5678 0 -1 1077944320 77541 0 0 0 23428 68 0 0 20 0 15 0 10853008 14316269568 74912 18446744073709551615 4194304 4196468 140722194840320 140722194822864 140421304872695 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
/proc/14322/statm: 3495183 74912 3247 1 0 3483484 0
[pid=14322/tid=14323] ppid=14320 vsize=13980732 CPUtime=220.51 cores=0,2,4,6
/proc/14322/task/14323/stat : 14323 (java) R 14320 14320 5678 0 -1 4202560 18320 0 0 0 22045 6 0 0 20 0 15 0 10853008 14316269568 74912 18446744073709551615 4194304 4196468 140722194840320 140421309112368 140420952430532 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14324] ppid=14320 vsize=13980732 CPUtime=1.38 cores=0,2,4,6
/proc/14322/task/14324/stat : 14324 (java) S 14320 14320 5678 0 -1 1077944384 2300 0 0 0 126 12 0 0 20 0 15 0 10853009 14316269568 74912 18446744073709551615 4194304 4196468 140722194840320 140420904471440 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14325] ppid=14320 vsize=13980732 CPUtime=1.38 cores=0,2,4,6
/proc/14322/task/14325/stat : 14325 (java) S 14320 14320 5678 0 -1 1077944384 2694 0 0 0 125 13 0 0 20 0 15 0 10853009 14316269568 74912 18446744073709551615 4194304 4196468 140722194840320 140420903418640 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14326] ppid=14320 vsize=13980732 CPUtime=1.38 cores=0,2,4,6
/proc/14322/task/14326/stat : 14326 (java) S 14320 14320 5678 0 -1 1077944384 1912 0 0 0 126 12 0 0 20 0 15 0 10853009 14316269568 74912 18446744073709551615 4194304 4196468 140722194840320 140420902366352 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14327] ppid=14320 vsize=13980732 CPUtime=1.37 cores=0,2,4,6
/proc/14322/task/14327/stat : 14327 (java) S 14320 14320 5678 0 -1 1077944384 2012 0 0 0 125 12 0 0 20 0 15 0 10853009 14316269568 74912 18446744073709551615 4194304 4196468 140722194840320 140420901313552 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14328] ppid=14320 vsize=13980732 CPUtime=0.16 cores=0,2,4,6
/proc/14322/task/14328/stat : 14328 (java) S 14320 14320 5678 0 -1 1077944384 3790 0 0 0 14 2 0 0 20 0 15 0 10853010 14316269568 74912 18446744073709551615 4194304 4196468 140722194840320 140420221712496 140421304883842 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14329] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14329/stat : 14329 (java) S 14320 14320 5678 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10853011 14316269568 74912 18446744073709551615 4194304 4196468 140722194840320 140420220658464 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14330] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14330/stat : 14330 (java) S 14320 14320 5678 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 10853011 14316269568 74912 18446744073709551615 4194304 4196468 140722194840320 140420219606128 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14331] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14331/stat : 14331 (java) S 14320 14320 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10853013 14316269568 74912 18446744073709551615 4194304 4196468 140722194840320 140420218554448 140421304891291 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14332] ppid=14320 vsize=13980732 CPUtime=4.03 cores=0,2,4,6
/proc/14322/task/14332/stat : 14332 (java) S 14320 14320 5678 0 -1 1077944384 19765 0 0 0 401 2 0 0 20 0 15 0 10853013 14316269568 74912 18446744073709551615 4194304 4196468 140722194840320 140420217502320 140421304883842 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14333] ppid=14320 vsize=13980732 CPUtime=3.77 cores=0,2,4,6
/proc/14322/task/14333/stat : 14333 (java) S 14320 14320 5678 0 -1 1077944384 15658 0 0 0 376 1 0 0 20 0 15 0 10853014 14316269568 74912 18446744073709551615 4194304 4196468 140722194840320 140420216449520 140421304883842 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14334] ppid=14320 vsize=13980732 CPUtime=0.8 cores=0,2,4,6
/proc/14322/task/14334/stat : 14334 (java) S 14320 14320 5678 0 -1 1077944384 9254 0 0 0 78 2 0 0 20 0 15 0 10853014 14316269568 74912 18446744073709551615 4194304 4196468 140722194840320 140420215397232 140421304883842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14335] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14335/stat : 14335 (java) S 14320 14320 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10853014 14316269568 74912 18446744073709551615 4194304 4196468 140722194840320 140420214344672 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14336] ppid=14320 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/14322/task/14336/stat : 14336 (java) S 14320 14320 5678 0 -1 1077944384 480 0 0 0 4 5 0 0 20 0 15 0 10853020 14316269568 74912 18446744073709551615 4194304 4196468 140722194840320 140420213291440 140421304883842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
Current children cumulated CPU time (s) 234.96
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.68 1.74 1.80 3/211 14424
/proc/meminfo: memFree=30654588/32770624 swapFree=0/974156
[pid=14320] ppid=14317 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14320/stat : 14320 (xcsp3-exec) S 14317 14320 5678 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10853001 9740288 344 18446744073709551615 4194304 5098028 140735488027712 140735488025816 140417538593404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 8060928 140735488033180 140735488033383 140735488033383 140735488036843 0
/proc/14320/statm: 2378 344 289 221 0 87 0
[pid=14322] ppid=14320 vsize=13980732 CPUtime=253.15 cores=0,2,4,6
/proc/14322/stat : 14322 (java) S 14320 14320 5678 0 -1 1077944320 80606 0 0 0 25245 70 0 0 20 0 15 0 10853008 14316269568 73890 18446744073709551615 4194304 4196468 140722194840320 140722194822864 140421304872695 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
/proc/14322/statm: 3495183 73890 3247 1 0 3483484 0
[pid=14322/tid=14323] ppid=14320 vsize=13980732 CPUtime=238 cores=0,2,4,6
/proc/14322/task/14323/stat : 14323 (java) R 14320 14320 5678 0 -1 4202560 18350 0 0 0 23794 6 0 0 20 0 15 0 10853008 14316269568 73890 18446744073709551615 4194304 4196468 140722194840320 140421309112304 140420954931682 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14324] ppid=14320 vsize=13980732 CPUtime=1.54 cores=0,2,4,6
/proc/14322/task/14324/stat : 14324 (java) S 14320 14320 5678 0 -1 1077944384 2412 0 0 0 142 12 0 0 20 0 15 0 10853009 14316269568 73890 18446744073709551615 4194304 4196468 140722194840320 140420904471440 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14325] ppid=14320 vsize=13980732 CPUtime=1.55 cores=0,2,4,6
/proc/14322/task/14325/stat : 14325 (java) S 14320 14320 5678 0 -1 1077944384 2804 0 0 0 142 13 0 0 20 0 15 0 10853009 14316269568 73890 18446744073709551615 4194304 4196468 140722194840320 140420903418640 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14326] ppid=14320 vsize=13980732 CPUtime=1.54 cores=0,2,4,6
/proc/14322/task/14326/stat : 14326 (java) S 14320 14320 5678 0 -1 1077944384 2084 0 0 0 142 12 0 0 20 0 15 0 10853009 14316269568 73890 18446744073709551615 4194304 4196468 140722194840320 140420902366352 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14327] ppid=14320 vsize=13980732 CPUtime=1.53 cores=0,2,4,6
/proc/14322/task/14327/stat : 14327 (java) S 14320 14320 5678 0 -1 1077944384 2168 0 0 0 141 12 0 0 20 0 15 0 10853009 14316269568 73890 18446744073709551615 4194304 4196468 140722194840320 140420901313552 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14328] ppid=14320 vsize=13980732 CPUtime=0.18 cores=0,2,4,6
/proc/14322/task/14328/stat : 14328 (java) S 14320 14320 5678 0 -1 1077944384 6087 0 0 0 16 2 0 0 20 0 15 0 10853010 14316269568 73890 18446744073709551615 4194304 4196468 140722194840320 140420221712496 140421304883842 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14329] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14329/stat : 14329 (java) S 14320 14320 5678 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10853011 14316269568 73890 18446744073709551615 4194304 4196468 140722194840320 140420220658464 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14330] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14330/stat : 14330 (java) S 14320 14320 5678 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 10853011 14316269568 73890 18446744073709551615 4194304 4196468 140722194840320 140420219606128 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14331] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14331/stat : 14331 (java) S 14320 14320 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10853013 14316269568 73890 18446744073709551615 4194304 4196468 140722194840320 140420218554448 140421304891291 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14332] ppid=14320 vsize=13980732 CPUtime=4.03 cores=0,2,4,6
/proc/14322/task/14332/stat : 14332 (java) S 14320 14320 5678 0 -1 1077944384 19765 0 0 0 401 2 0 0 20 0 15 0 10853013 14316269568 73890 18446744073709551615 4194304 4196468 140722194840320 140420217502320 140421304883842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14333] ppid=14320 vsize=13980732 CPUtime=3.77 cores=0,2,4,6
/proc/14322/task/14333/stat : 14333 (java) S 14320 14320 5678 0 -1 1077944384 15799 0 0 0 376 1 0 0 20 0 15 0 10853014 14316269568 73890 18446744073709551615 4194304 4196468 140722194840320 140420216449520 140421304883842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14334] ppid=14320 vsize=13980732 CPUtime=0.8 cores=0,2,4,6
/proc/14322/task/14334/stat : 14334 (java) S 14320 14320 5678 0 -1 1077944384 9299 0 0 0 78 2 0 0 20 0 15 0 10853014 14316269568 73890 18446744073709551615 4194304 4196468 140722194840320 140420215397232 140421304883842 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14335] ppid=14320 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14322/task/14335/stat : 14335 (java) S 14320 14320 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10853014 14316269568 73890 18446744073709551615 4194304 4196468 140722194840320 140420214344672 140421304882901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
[pid=14322/tid=14336] ppid=14320 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/14322/task/14336/stat : 14336 (java) S 14320 14320 5678 0 -1 1077944384 482 0 0 0 5 5 0 0 20 0 15 0 10853020 14316269568 73890 18446744073709551615 4194304 4196468 140722194840320 140420213291440 140421304883842 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140722194842068 140722194842243 140722194842243 140722194845647 0
Current children cumulated CPU time (s) 253.15
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 14322 sig 9
??? kill 14320 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 14320 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=957
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=957
# CPU time returned by wait4() is 0.001914
# while last known CPU time is 253.15
#
# 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): 253.15
CPU user time (s): 252.45
CPU system time (s): 0.7
CPU usage (%): 105.475
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000957
system time used= 0.000957
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.14589 second user time and 1.49592 second system time
The end