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-4254056-1501612848/watcher-4254056-1501612848 -o /tmp/evaluation-result-4254056-1501612848/solver-4254056-1501612848 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501610539-18991 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 484025369 HOME/instance-4254056-1501612848.xml
pid=20044
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.55 1.74 1.49 3/198 20047
/proc/meminfo: memFree=31759628/32770624 swapFree=0/206328
[pid=20047] ppid=20044 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/20047/stat : 20047 (runsolver) D 20044 20047 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 60938272 24240128 106 18446744073709551615 4194304 4338465 140728096507760 140728096505400 140255038485207 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 18698240 140728096510044 140728096510533 140728096510533 140728096513994 0
/proc/20047/statm: 5918 106 53 36 0 2156 0
[startup+0.10011 s]
/proc/loadavg: 1.55 1.74 1.49 3/198 20047
/proc/meminfo: memFree=31759628/32770624 swapFree=0/206328
[pid=20047] ppid=20044 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20047/stat : 20047 (xcsp3-exec) S 20044 20047 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 60938272 9740288 345 18446744073709551615 4194304 5098028 140727979706912 140727979705016 140562362602108 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40099840 140727979708827 140727979709030 140727979709030 140727979712491 0
/proc/20047/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200238 s]
/proc/loadavg: 1.55 1.74 1.49 3/198 20047
/proc/meminfo: memFree=31759628/32770624 swapFree=0/206328
[pid=20047] ppid=20044 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20047/stat : 20047 (xcsp3-exec) S 20044 20047 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 60938272 9740288 345 18446744073709551615 4194304 5098028 140727979706912 140727979705016 140562362602108 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40099840 140727979708827 140727979709030 140727979709030 140727979712491 0
/proc/20047/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300245 s]
/proc/loadavg: 1.55 1.74 1.49 3/198 20047
/proc/meminfo: memFree=31759628/32770624 swapFree=0/206328
[pid=20047] ppid=20044 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20047/stat : 20047 (xcsp3-exec) S 20044 20047 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 60938272 9740288 345 18446744073709551615 4194304 5098028 140727979706912 140727979705016 140562362602108 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40099840 140727979708827 140727979709030 140727979709030 140727979712491 0
/proc/20047/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70033 s]
/proc/loadavg: 1.55 1.74 1.49 3/198 20047
/proc/meminfo: memFree=31759628/32770624 swapFree=0/206328
[pid=20047] ppid=20044 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20047/stat : 20047 (xcsp3-exec) S 20044 20047 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 60938272 9740288 345 18446744073709551615 4194304 5098028 140727979706912 140727979705016 140562362602108 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40099840 140727979708827 140727979709030 140727979709030 140727979712491 0
/proc/20047/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50068 s]
/proc/loadavg: 1.55 1.74 1.49 6/214 20063
/proc/meminfo: memFree=31695908/32770624 swapFree=0/206328
[pid=20047] ppid=20044 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20047/stat : 20047 (xcsp3-exec) S 20044 20047 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 60938272 9740288 345 18446744073709551615 4194304 5098028 140727979706912 140727979705016 140562362602108 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40099840 140727979708827 140727979709030 140727979709030 140727979712491 0
/proc/20047/statm: 2378 345 289 221 0 87 0
[pid=20049] ppid=20047 vsize=13980732 CPUtime=3.42 cores=1,3,5,7
/proc/20049/stat : 20049 (java) S 20047 20047 18930 0 -1 1077944320 18564 0 0 0 336 6 0 0 20 0 15 0 60938278 14316269568 21696 18446744073709551615 4194304 4196468 140728367833888 140728367816432 139942479011575 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
/proc/20049/statm: 3495183 21696 3180 1 0 3483484 0
[pid=20049/tid=20050] ppid=20047 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/20049/task/20050/stat : 20050 (java) R 20047 20047 18930 0 -1 4202560 8727 0 0 0 133 3 0 0 20 0 15 0 60938279 14316269568 21696 18446744073709551615 4194304 4196468 140728367833888 139942483248504 139942123995309 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20051] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20051/stat : 20051 (java) S 20047 20047 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60938279 14316269568 21696 18446744073709551615 4194304 4196468 140728367833888 139942450854928 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20052] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20052/stat : 20052 (java) S 20047 20047 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60938279 14316269568 21696 18446744073709551615 4194304 4196468 140728367833888 139942078442640 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20053] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20053/stat : 20053 (java) S 20047 20047 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60938279 14316269568 21696 18446744073709551615 4194304 4196468 140728367833888 139942077389584 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20054] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20054/stat : 20054 (java) S 20047 20047 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60938279 14316269568 21696 18446744073709551615 4194304 4196468 140728367833888 139942076337040 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20055] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20055/stat : 20055 (java) S 20047 20047 18930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 60938281 14316269568 21696 18446744073709551615 4194304 4196468 140728367833888 139941395892464 139942479022722 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20056] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20056/stat : 20056 (java) S 20047 20047 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 60938281 14316269568 21696 18446744073709551615 4194304 4196468 140728367833888 139941394838688 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20057] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20057/stat : 20057 (java) S 20047 20047 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 60938281 14316269568 21696 18446744073709551615 4194304 4196468 140728367833888 139941393785584 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20058] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20058/stat : 20058 (java) S 20047 20047 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938284 14316269568 21696 18446744073709551615 4194304 4196468 140728367833888 139941392734160 139942479030171 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20059] ppid=20047 vsize=13980732 CPUtime=0.85 cores=1,3,5,7
/proc/20049/task/20059/stat : 20059 (java) S 20047 20047 18930 0 -1 1077944384 3497 0 0 0 84 1 0 0 20 0 15 0 60938284 14316269568 21696 18446744073709551615 4194304 4196468 140728367833888 139941391682288 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20060] ppid=20047 vsize=13980732 CPUtime=0.81 cores=1,3,5,7
/proc/20049/task/20060/stat : 20060 (java) S 20047 20047 18930 0 -1 1077944384 3112 0 0 0 81 0 0 0 20 0 15 0 60938284 14316269568 21696 18446744073709551615 4194304 4196468 140728367833888 139941390629744 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20061] ppid=20047 vsize=13980732 CPUtime=0.36 cores=1,3,5,7
/proc/20049/task/20061/stat : 20061 (java) S 20047 20047 18930 0 -1 1077944384 1919 0 0 0 36 0 0 0 20 0 15 0 60938284 14316269568 21696 18446744073709551615 4194304 4196468 140728367833888 139941389576688 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20062] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20062/stat : 20062 (java) S 20047 20047 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938284 14316269568 21696 18446744073709551615 4194304 4196468 140728367833888 139941388524384 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20063] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20063/stat : 20063 (java) S 20047 20047 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938289 14316269568 21696 18446744073709551615 4194304 4196468 140728367833888 139941387471408 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
Current children cumulated CPU time (s) 3.42
Current children cumulated vsize (KiB) 13990244
[startup+3.10066 s]
/proc/loadavg: 1.55 1.74 1.49 3/214 20063
/proc/meminfo: memFree=31655636/32770624 swapFree=0/206272
[pid=20047] ppid=20044 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20047/stat : 20047 (xcsp3-exec) S 20044 20047 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 60938272 9740288 345 18446744073709551615 4194304 5098028 140727979706912 140727979705016 140562362602108 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40099840 140727979708827 140727979709030 140727979709030 140727979712491 0
/proc/20047/statm: 2378 345 289 221 0 87 0
[pid=20049] ppid=20047 vsize=13980732 CPUtime=5.12 cores=1,3,5,7
/proc/20049/stat : 20049 (java) S 20047 20047 18930 0 -1 1077944320 19715 0 0 0 505 7 0 0 20 0 15 0 60938278 14316269568 38659 18446744073709551615 4194304 4196468 140728367833888 140728367816432 139942479011575 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
/proc/20049/statm: 3495183 38659 3180 1 0 3483484 0
[pid=20049/tid=20050] ppid=20047 vsize=13980732 CPUtime=2.96 cores=1,3,5,7
/proc/20049/task/20050/stat : 20050 (java) R 20047 20047 18930 0 -1 4202560 9096 0 0 0 292 4 0 0 20 0 15 0 60938279 14316269568 38659 18446744073709551615 4194304 4196468 140728367833888 139942483248408 139942124613988 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20051] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20051/stat : 20051 (java) S 20047 20047 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60938279 14316269568 38659 18446744073709551615 4194304 4196468 140728367833888 139942450854928 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20052] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20052/stat : 20052 (java) S 20047 20047 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60938279 14316269568 38659 18446744073709551615 4194304 4196468 140728367833888 139942078442640 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20053] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20053/stat : 20053 (java) S 20047 20047 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60938279 14316269568 38659 18446744073709551615 4194304 4196468 140728367833888 139942077389584 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20054] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20054/stat : 20054 (java) S 20047 20047 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60938279 14316269568 38659 18446744073709551615 4194304 4196468 140728367833888 139942076337040 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20055] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20055/stat : 20055 (java) S 20047 20047 18930 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 60938281 14316269568 38659 18446744073709551615 4194304 4196468 140728367833888 139941395892464 139942479022722 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20056] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20056/stat : 20056 (java) S 20047 20047 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 60938281 14316269568 38659 18446744073709551615 4194304 4196468 140728367833888 139941394838688 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20057] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20057/stat : 20057 (java) S 20047 20047 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 60938281 14316269568 38659 18446744073709551615 4194304 4196468 140728367833888 139941393785584 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20058] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20058/stat : 20058 (java) S 20047 20047 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938284 14316269568 38659 18446744073709551615 4194304 4196468 140728367833888 139941392734160 139942479030171 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20059] ppid=20047 vsize=13980732 CPUtime=0.88 cores=1,3,5,7
/proc/20049/task/20059/stat : 20059 (java) S 20047 20047 18930 0 -1 1077944384 3530 0 0 0 87 1 0 0 20 0 15 0 60938284 14316269568 38659 18446744073709551615 4194304 4196468 140728367833888 139941391682288 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20060] ppid=20047 vsize=13980732 CPUtime=0.86 cores=1,3,5,7
/proc/20049/task/20060/stat : 20060 (java) S 20047 20047 18930 0 -1 1077944384 3352 0 0 0 86 0 0 0 20 0 15 0 60938284 14316269568 38659 18446744073709551615 4194304 4196468 140728367833888 139941390629744 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20061] ppid=20047 vsize=13980732 CPUtime=0.37 cores=1,3,5,7
/proc/20049/task/20061/stat : 20061 (java) S 20047 20047 18930 0 -1 1077944384 2412 0 0 0 37 0 0 0 20 0 15 0 60938284 14316269568 38659 18446744073709551615 4194304 4196468 140728367833888 139941389576688 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20062] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20062/stat : 20062 (java) S 20047 20047 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938284 14316269568 38659 18446744073709551615 4194304 4196468 140728367833888 139941388524384 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20063] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20063/stat : 20063 (java) S 20047 20047 18930 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 60938289 14316269568 38659 18446744073709551615 4194304 4196468 140728367833888 139941387471408 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
Current children cumulated CPU time (s) 5.12
Current children cumulated vsize (KiB) 13990244
[startup+6.30059 s]
/proc/loadavg: 1.59 1.75 1.49 4/208 20138
/proc/meminfo: memFree=31742772/32770624 swapFree=0/206312
[pid=20047] ppid=20044 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20047/stat : 20047 (xcsp3-exec) S 20044 20047 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 60938272 9740288 345 18446744073709551615 4194304 5098028 140727979706912 140727979705016 140562362602108 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40099840 140727979708827 140727979709030 140727979709030 140727979712491 0
/proc/20047/statm: 2378 345 289 221 0 87 0
[pid=20049] ppid=20047 vsize=13980732 CPUtime=8.38 cores=1,3,5,7
/proc/20049/stat : 20049 (java) S 20047 20047 18930 0 -1 1077944320 21323 0 0 0 830 8 0 0 20 0 15 0 60938278 14316269568 47975 18446744073709551615 4194304 4196468 140728367833888 140728367816432 139942479011575 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
/proc/20049/statm: 3495183 47975 3215 1 0 3483484 0
[pid=20049/tid=20050] ppid=20047 vsize=13980732 CPUtime=6.15 cores=1,3,5,7
/proc/20049/task/20050/stat : 20050 (java) R 20047 20047 18930 0 -1 4202560 9156 0 0 0 610 5 0 0 20 0 15 0 60938279 14316269568 47975 18446744073709551615 4194304 4196468 140728367833888 139942483250440 139942124090456 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20051] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20051/stat : 20051 (java) S 20047 20047 18930 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 60938279 14316269568 47975 18446744073709551615 4194304 4196468 140728367833888 139942450854928 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20052] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20052/stat : 20052 (java) S 20047 20047 18930 0 -1 1077944384 233 0 0 0 0 0 0 0 20 0 15 0 60938279 14316269568 47975 18446744073709551615 4194304 4196468 140728367833888 139942078442640 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20053] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20053/stat : 20053 (java) S 20047 20047 18930 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 15 0 60938279 14316269568 47975 18446744073709551615 4194304 4196468 140728367833888 139942077389584 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20054] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20054/stat : 20054 (java) S 20047 20047 18930 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 60938279 14316269568 47975 18446744073709551615 4194304 4196468 140728367833888 139942076337040 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20055] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20055/stat : 20055 (java) S 20047 20047 18930 0 -1 1077944384 204 0 0 0 0 0 0 0 20 0 15 0 60938281 14316269568 47975 18446744073709551615 4194304 4196468 140728367833888 139941395892464 139942479022722 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20056] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20056/stat : 20056 (java) S 20047 20047 18930 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 60938281 14316269568 47975 18446744073709551615 4194304 4196468 140728367833888 139941394838688 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20057] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20057/stat : 20057 (java) S 20047 20047 18930 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 60938281 14316269568 47975 18446744073709551615 4194304 4196468 140728367833888 139941393785584 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20058] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20058/stat : 20058 (java) S 20047 20047 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938284 14316269568 47975 18446744073709551615 4194304 4196468 140728367833888 139941392734160 139942479030171 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20059] ppid=20047 vsize=13980732 CPUtime=0.9 cores=1,3,5,7
/proc/20049/task/20059/stat : 20059 (java) S 20047 20047 18930 0 -1 1077944384 3620 0 0 0 89 1 0 0 20 0 15 0 60938284 14316269568 47975 18446744073709551615 4194304 4196468 140728367833888 139941391682288 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20060] ppid=20047 vsize=13980732 CPUtime=0.88 cores=1,3,5,7
/proc/20049/task/20060/stat : 20060 (java) S 20047 20047 18930 0 -1 1077944384 3405 0 0 0 88 0 0 0 20 0 15 0 60938284 14316269568 47975 18446744073709551615 4194304 4196468 140728367833888 139941390629744 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20061] ppid=20047 vsize=13980732 CPUtime=0.38 cores=1,3,5,7
/proc/20049/task/20061/stat : 20061 (java) S 20047 20047 18930 0 -1 1077944384 2784 0 0 0 38 0 0 0 20 0 15 0 60938284 14316269568 47975 18446744073709551615 4194304 4196468 140728367833888 139941389576688 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20062] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20062/stat : 20062 (java) S 20047 20047 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938284 14316269568 47975 18446744073709551615 4194304 4196468 140728367833888 139941388524384 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20063] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20063/stat : 20063 (java) S 20047 20047 18930 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 60938289 14316269568 47975 18446744073709551615 4194304 4196468 140728367833888 139941387471408 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
Current children cumulated CPU time (s) 8.38
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.70 1.77 1.50 3/214 20144
/proc/meminfo: memFree=31544020/32770624 swapFree=0/206344
[pid=20047] ppid=20044 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20047/stat : 20047 (xcsp3-exec) S 20044 20047 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 60938272 9740288 345 18446744073709551615 4194304 5098028 140727979706912 140727979705016 140562362602108 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40099840 140727979708827 140727979709030 140727979709030 140727979712491 0
/proc/20047/statm: 2378 345 289 221 0 87 0
[pid=20049] ppid=20047 vsize=13980732 CPUtime=14.81 cores=1,3,5,7
/proc/20049/stat : 20049 (java) S 20047 20047 18930 0 -1 1077944320 23468 0 0 0 1472 9 0 0 20 0 15 0 60938278 14316269568 47616 18446744073709551615 4194304 4196468 140728367833888 140728367816432 139942479011575 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
/proc/20049/statm: 3495183 47616 3215 1 0 3483484 0
[pid=20049/tid=20050] ppid=20047 vsize=13980732 CPUtime=12.54 cores=1,3,5,7
/proc/20049/task/20050/stat : 20050 (java) R 20047 20047 18930 0 -1 4202560 9759 0 0 0 1249 5 0 0 20 0 15 0 60938279 14316269568 47616 18446744073709551615 4194304 4196468 140728367833888 139942483250352 139942123995458 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20051] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20051/stat : 20051 (java) S 20047 20047 18930 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 60938279 14316269568 47616 18446744073709551615 4194304 4196468 140728367833888 139942450854928 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20052] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20052/stat : 20052 (java) S 20047 20047 18930 0 -1 1077944384 384 0 0 0 0 0 0 0 20 0 15 0 60938279 14316269568 47616 18446744073709551615 4194304 4196468 140728367833888 139942078442640 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
################
# More data... #
################
/proc/20049/stat : 20049 (java) S 20047 20047 18930 0 -1 1077944320 34826 0 0 0 10489 21 0 0 20 0 15 0 60938278 14316269568 38694 18446744073709551615 4194304 4196468 140728367833888 140728367816432 139942479011575 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
/proc/20049/statm: 3495183 38694 3216 1 0 3483484 0
[pid=20049/tid=20050] ppid=20047 vsize=13980732 CPUtime=101.73 cores=1,3,5,7
/proc/20049/task/20050/stat : 20050 (java) R 20047 20047 18930 0 -1 4202560 12236 0 0 0 10167 6 0 0 20 0 15 0 60938279 14316269568 38694 18446744073709551615 4194304 4196468 140728367833888 139942483251168 139942124093899 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20051] ppid=20047 vsize=13980732 CPUtime=0.2 cores=1,3,5,7
/proc/20049/task/20051/stat : 20051 (java) S 20047 20047 18930 0 -1 1077944384 466 0 0 0 17 3 0 0 20 0 15 0 60938279 14316269568 38694 18446744073709551615 4194304 4196468 140728367833888 139942450854928 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20052] ppid=20047 vsize=13980732 CPUtime=0.2 cores=1,3,5,7
/proc/20049/task/20052/stat : 20052 (java) S 20047 20047 18930 0 -1 1077944384 1030 0 0 0 18 2 0 0 20 0 15 0 60938279 14316269568 38694 18446744073709551615 4194304 4196468 140728367833888 139942078442640 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20053] ppid=20047 vsize=13980732 CPUtime=0.19 cores=1,3,5,7
/proc/20049/task/20053/stat : 20053 (java) S 20047 20047 18930 0 -1 1077944384 853 0 0 0 17 2 0 0 20 0 15 0 60938279 14316269568 38694 18446744073709551615 4194304 4196468 140728367833888 139942077389584 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20054] ppid=20047 vsize=13980732 CPUtime=0.19 cores=1,3,5,7
/proc/20049/task/20054/stat : 20054 (java) S 20047 20047 18930 0 -1 1077944384 1776 0 0 0 17 2 0 0 20 0 15 0 60938279 14316269568 38694 18446744073709551615 4194304 4196468 140728367833888 139942076337040 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20055] ppid=20047 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/20049/task/20055/stat : 20055 (java) S 20047 20047 18930 0 -1 1077944384 1400 0 0 0 15 1 0 0 20 0 15 0 60938281 14316269568 38694 18446744073709551615 4194304 4196468 140728367833888 139941395892464 139942479022722 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20056] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20056/stat : 20056 (java) S 20047 20047 18930 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 60938281 14316269568 38694 18446744073709551615 4194304 4196468 140728367833888 139941394838688 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20057] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20057/stat : 20057 (java) S 20047 20047 18930 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 60938281 14316269568 38694 18446744073709551615 4194304 4196468 140728367833888 139941393785584 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20058] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20058/stat : 20058 (java) S 20047 20047 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938284 14316269568 38694 18446744073709551615 4194304 4196468 140728367833888 139941392734160 139942479030171 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20059] ppid=20047 vsize=13980732 CPUtime=0.97 cores=1,3,5,7
/proc/20049/task/20059/stat : 20059 (java) S 20047 20047 18930 0 -1 1077944384 5937 0 0 0 96 1 0 0 20 0 15 0 60938284 14316269568 38694 18446744073709551615 4194304 4196468 140728367833888 139941391682288 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20060] ppid=20047 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/20049/task/20060/stat : 20060 (java) S 20047 20047 18930 0 -1 1077944384 5913 0 0 0 94 0 0 0 20 0 15 0 60938284 14316269568 38694 18446744073709551615 4194304 4196468 140728367833888 139941390629744 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20061] ppid=20047 vsize=13980732 CPUtime=0.39 cores=1,3,5,7
/proc/20049/task/20061/stat : 20061 (java) S 20047 20047 18930 0 -1 1077944384 3485 0 0 0 39 0 0 0 20 0 15 0 60938284 14316269568 38694 18446744073709551615 4194304 4196468 140728367833888 139941389576688 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20062] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20062/stat : 20062 (java) S 20047 20047 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938284 14316269568 38694 18446744073709551615 4194304 4196468 140728367833888 139941388524384 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20063] ppid=20047 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/20049/task/20063/stat : 20063 (java) S 20047 20047 18930 0 -1 1077944384 356 0 0 0 0 2 0 0 20 0 15 0 60938289 14316269568 38694 18446744073709551615 4194304 4196468 140728367833888 139941387471408 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
Current children cumulated CPU time (s) 105.1
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.81 1.74 1.53 3/216 20151
/proc/meminfo: memFree=31392196/32770624 swapFree=0/206444
[pid=20047] ppid=20044 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20047/stat : 20047 (xcsp3-exec) S 20044 20047 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 60938272 9740288 345 18446744073709551615 4194304 5098028 140727979706912 140727979705016 140562362602108 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40099840 140727979708827 140727979709030 140727979709030 140727979712491 0
/proc/20047/statm: 2378 345 289 221 0 87 0
[pid=20049] ppid=20047 vsize=13980732 CPUtime=165.43 cores=1,3,5,7
/proc/20049/stat : 20049 (java) S 20047 20047 18930 0 -1 1077944320 39574 0 0 0 16513 30 0 0 20 0 15 0 60938278 14316269568 47933 18446744073709551615 4194304 4196468 140728367833888 140728367816432 139942479011575 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
/proc/20049/statm: 3495183 47933 3216 1 0 3483484 0
[pid=20049/tid=20050] ppid=20047 vsize=13980732 CPUtime=161.51 cores=1,3,5,7
/proc/20049/task/20050/stat : 20050 (java) R 20047 20047 18930 0 -1 4202560 14710 0 0 0 16144 7 0 0 20 0 15 0 60938279 14316269568 47933 18446744073709551615 4194304 4196468 140728367833888 139942483251280 139942123850300 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20051] ppid=20047 vsize=13980732 CPUtime=0.31 cores=1,3,5,7
/proc/20049/task/20051/stat : 20051 (java) S 20047 20047 18930 0 -1 1077944384 850 0 0 0 27 4 0 0 20 0 15 0 60938279 14316269568 47933 18446744073709551615 4194304 4196468 140728367833888 139942450854928 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20052] ppid=20047 vsize=13980732 CPUtime=0.31 cores=1,3,5,7
/proc/20049/task/20052/stat : 20052 (java) S 20047 20047 18930 0 -1 1077944384 1407 0 0 0 27 4 0 0 20 0 15 0 60938279 14316269568 47933 18446744073709551615 4194304 4196468 140728367833888 139942078442640 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20053] ppid=20047 vsize=13980732 CPUtime=0.31 cores=1,3,5,7
/proc/20049/task/20053/stat : 20053 (java) S 20047 20047 18930 0 -1 1077944384 1532 0 0 0 27 4 0 0 20 0 15 0 60938279 14316269568 47933 18446744073709551615 4194304 4196468 140728367833888 139942077389584 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20054] ppid=20047 vsize=13980732 CPUtime=0.31 cores=1,3,5,7
/proc/20049/task/20054/stat : 20054 (java) S 20047 20047 18930 0 -1 1077944384 2299 0 0 0 27 4 0 0 20 0 15 0 60938279 14316269568 47933 18446744073709551615 4194304 4196468 140728367833888 139942076337040 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20055] ppid=20047 vsize=13980732 CPUtime=0.23 cores=1,3,5,7
/proc/20049/task/20055/stat : 20055 (java) S 20047 20047 18930 0 -1 1077944384 1672 0 0 0 21 2 0 0 20 0 15 0 60938281 14316269568 47933 18446744073709551615 4194304 4196468 140728367833888 139941395892464 139942479022722 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20056] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20056/stat : 20056 (java) S 20047 20047 18930 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 60938281 14316269568 47933 18446744073709551615 4194304 4196468 140728367833888 139941394838688 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20057] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20057/stat : 20057 (java) S 20047 20047 18930 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 60938281 14316269568 47933 18446744073709551615 4194304 4196468 140728367833888 139941393785584 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20058] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20058/stat : 20058 (java) S 20047 20047 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938284 14316269568 47933 18446744073709551615 4194304 4196468 140728367833888 139941392734160 139942479030171 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20059] ppid=20047 vsize=13980732 CPUtime=0.97 cores=1,3,5,7
/proc/20049/task/20059/stat : 20059 (java) S 20047 20047 18930 0 -1 1077944384 5940 0 0 0 96 1 0 0 20 0 15 0 60938284 14316269568 47933 18446744073709551615 4194304 4196468 140728367833888 139941391682288 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20060] ppid=20047 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/20049/task/20060/stat : 20060 (java) S 20047 20047 18930 0 -1 1077944384 5917 0 0 0 94 0 0 0 20 0 15 0 60938284 14316269568 47933 18446744073709551615 4194304 4196468 140728367833888 139941390629744 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20061] ppid=20047 vsize=13980732 CPUtime=0.39 cores=1,3,5,7
/proc/20049/task/20061/stat : 20061 (java) S 20047 20047 18930 0 -1 1077944384 3493 0 0 0 39 0 0 0 20 0 15 0 60938284 14316269568 47933 18446744073709551615 4194304 4196468 140728367833888 139941389576688 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20062] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20062/stat : 20062 (java) S 20047 20047 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938284 14316269568 47933 18446744073709551615 4194304 4196468 140728367833888 139941388524384 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20063] ppid=20047 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/20049/task/20063/stat : 20063 (java) S 20047 20047 18930 0 -1 1077944384 380 0 0 0 1 4 0 0 20 0 15 0 60938289 14316269568 47933 18446744073709551615 4194304 4196468 140728367833888 139941387471408 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
Current children cumulated CPU time (s) 165.43
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.50 1.66 1.51 3/216 20159
/proc/meminfo: memFree=31341312/32770624 swapFree=0/206484
[pid=20047] ppid=20044 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20047/stat : 20047 (xcsp3-exec) S 20044 20047 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 60938272 9740288 345 18446744073709551615 4194304 5098028 140727979706912 140727979705016 140562362602108 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40099840 140727979708827 140727979709030 140727979709030 140727979712491 0
/proc/20047/statm: 2378 345 289 221 0 87 0
[pid=20049] ppid=20047 vsize=13980732 CPUtime=226.06 cores=1,3,5,7
/proc/20049/stat : 20049 (java) S 20047 20047 18930 0 -1 1077944320 47651 0 0 0 22567 39 0 0 20 0 15 0 60938278 14316269568 58382 18446744073709551615 4194304 4196468 140728367833888 140728367816432 139942479011575 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
/proc/20049/statm: 3495183 58382 3216 1 0 3483484 0
[pid=20049/tid=20050] ppid=20047 vsize=13980732 CPUtime=221.12 cores=1,3,5,7
/proc/20049/task/20050/stat : 20050 (java) R 20047 20047 18930 0 -1 4202560 18409 0 0 0 22105 7 0 0 20 0 15 0 60938279 14316269568 58382 18446744073709551615 4194304 4196468 140728367833888 139942483251168 139942124090253 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20051] ppid=20047 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/20049/task/20051/stat : 20051 (java) S 20047 20047 18930 0 -1 1077944384 1628 0 0 0 46 7 0 0 20 0 15 0 60938279 14316269568 58382 18446744073709551615 4194304 4196468 140728367833888 139942450854928 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20052] ppid=20047 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/20049/task/20052/stat : 20052 (java) S 20047 20047 18930 0 -1 1077944384 2188 0 0 0 46 6 0 0 20 0 15 0 60938279 14316269568 58382 18446744073709551615 4194304 4196468 140728367833888 139942078442640 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20053] ppid=20047 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/20049/task/20053/stat : 20053 (java) S 20047 20047 18930 0 -1 1077944384 2336 0 0 0 46 6 0 0 20 0 15 0 60938279 14316269568 58382 18446744073709551615 4194304 4196468 140728367833888 139942077389584 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20054] ppid=20047 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/20049/task/20054/stat : 20054 (java) S 20047 20047 18930 0 -1 1077944384 3413 0 0 0 47 6 0 0 20 0 15 0 60938279 14316269568 58382 18446744073709551615 4194304 4196468 140728367833888 139942076337040 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20055] ppid=20047 vsize=13980732 CPUtime=0.36 cores=1,3,5,7
/proc/20049/task/20055/stat : 20055 (java) S 20047 20047 18930 0 -1 1077944384 1744 0 0 0 32 4 0 0 20 0 15 0 60938281 14316269568 58382 18446744073709551615 4194304 4196468 140728367833888 139941395892464 139942479022722 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20056] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20056/stat : 20056 (java) S 20047 20047 18930 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 60938281 14316269568 58382 18446744073709551615 4194304 4196468 140728367833888 139941394838688 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20057] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20057/stat : 20057 (java) S 20047 20047 18930 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 60938281 14316269568 58382 18446744073709551615 4194304 4196468 140728367833888 139941393785584 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20058] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20058/stat : 20058 (java) S 20047 20047 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938284 14316269568 58382 18446744073709551615 4194304 4196468 140728367833888 139941392734160 139942479030171 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20059] ppid=20047 vsize=13980732 CPUtime=0.97 cores=1,3,5,7
/proc/20049/task/20059/stat : 20059 (java) S 20047 20047 18930 0 -1 1077944384 5942 0 0 0 96 1 0 0 20 0 15 0 60938284 14316269568 58382 18446744073709551615 4194304 4196468 140728367833888 139941391682288 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20060] ppid=20047 vsize=13980732 CPUtime=0.95 cores=1,3,5,7
/proc/20049/task/20060/stat : 20060 (java) S 20047 20047 18930 0 -1 1077944384 6739 0 0 0 95 0 0 0 20 0 15 0 60938284 14316269568 58382 18446744073709551615 4194304 4196468 140728367833888 139941390629744 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20061] ppid=20047 vsize=13980732 CPUtime=0.39 cores=1,3,5,7
/proc/20049/task/20061/stat : 20061 (java) S 20047 20047 18930 0 -1 1077944384 3495 0 0 0 39 0 0 0 20 0 15 0 60938284 14316269568 58382 18446744073709551615 4194304 4196468 140728367833888 139941389576688 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20062] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20062/stat : 20062 (java) S 20047 20047 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938284 14316269568 58382 18446744073709551615 4194304 4196468 140728367833888 139941388524384 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20063] ppid=20047 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/20049/task/20063/stat : 20063 (java) S 20047 20047 18930 0 -1 1077944384 383 0 0 0 3 5 0 0 20 0 15 0 60938289 14316269568 58382 18446744073709551615 4194304 4196468 140728367833888 139941387471408 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
Current children cumulated CPU time (s) 226.06
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.73 1.70 1.52 3/216 20160
/proc/meminfo: memFree=31316672/32770624 swapFree=0/206496
[pid=20047] ppid=20044 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20047/stat : 20047 (xcsp3-exec) S 20044 20047 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 60938272 9740288 345 18446744073709551615 4194304 5098028 140727979706912 140727979705016 140562362602108 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40099840 140727979708827 140727979709030 140727979709030 140727979712491 0
/proc/20047/statm: 2378 345 289 221 0 87 0
[pid=20049] ppid=20047 vsize=13980732 CPUtime=243.92 cores=1,3,5,7
/proc/20049/stat : 20049 (java) S 20047 20047 18930 0 -1 1077944320 49419 0 0 0 24349 43 0 0 20 0 15 0 60938278 14316269568 65149 18446744073709551615 4194304 4196468 140728367833888 140728367816432 139942479011575 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
/proc/20049/statm: 3495183 65149 3216 1 0 3483484 0
[pid=20049/tid=20050] ppid=20047 vsize=13980732 CPUtime=238.7 cores=1,3,5,7
/proc/20049/task/20050/stat : 20050 (java) R 20047 20047 18930 0 -1 4202560 19061 0 0 0 23862 8 0 0 20 0 15 0 60938279 14316269568 65149 18446744073709551615 4194304 4196468 140728367833888 139942483251168 139942124744806 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20051] ppid=20047 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/20049/task/20051/stat : 20051 (java) S 20047 20047 18930 0 -1 1077944384 1947 0 0 0 51 8 0 0 20 0 15 0 60938279 14316269568 65149 18446744073709551615 4194304 4196468 140728367833888 139942450854928 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20052] ppid=20047 vsize=13980732 CPUtime=0.58 cores=1,3,5,7
/proc/20049/task/20052/stat : 20052 (java) S 20047 20047 18930 0 -1 1077944384 2368 0 0 0 51 7 0 0 20 0 15 0 60938279 14316269568 65149 18446744073709551615 4194304 4196468 140728367833888 139942078442640 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20053] ppid=20047 vsize=13980732 CPUtime=0.58 cores=1,3,5,7
/proc/20049/task/20053/stat : 20053 (java) S 20047 20047 18930 0 -1 1077944384 2543 0 0 0 51 7 0 0 20 0 15 0 60938279 14316269568 65149 18446744073709551615 4194304 4196468 140728367833888 139942077389584 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20054] ppid=20047 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/20049/task/20054/stat : 20054 (java) S 20047 20047 18930 0 -1 1077944384 3576 0 0 0 52 7 0 0 20 0 15 0 60938279 14316269568 65149 18446744073709551615 4194304 4196468 140728367833888 139942076337040 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20055] ppid=20047 vsize=13980732 CPUtime=0.39 cores=1,3,5,7
/proc/20049/task/20055/stat : 20055 (java) S 20047 20047 18930 0 -1 1077944384 1969 0 0 0 35 4 0 0 20 0 15 0 60938281 14316269568 65149 18446744073709551615 4194304 4196468 140728367833888 139941395892464 139942479022722 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20056] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20056/stat : 20056 (java) S 20047 20047 18930 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 60938281 14316269568 65149 18446744073709551615 4194304 4196468 140728367833888 139941394838688 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20057] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20057/stat : 20057 (java) S 20047 20047 18930 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 60938281 14316269568 65149 18446744073709551615 4194304 4196468 140728367833888 139941393785584 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20058] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20058/stat : 20058 (java) S 20047 20047 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938284 14316269568 65149 18446744073709551615 4194304 4196468 140728367833888 139941392734160 139942479030171 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20059] ppid=20047 vsize=13980732 CPUtime=0.97 cores=1,3,5,7
/proc/20049/task/20059/stat : 20059 (java) S 20047 20047 18930 0 -1 1077944384 5943 0 0 0 96 1 0 0 20 0 15 0 60938284 14316269568 65149 18446744073709551615 4194304 4196468 140728367833888 139941391682288 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20060] ppid=20047 vsize=13980732 CPUtime=0.95 cores=1,3,5,7
/proc/20049/task/20060/stat : 20060 (java) S 20047 20047 18930 0 -1 1077944384 6739 0 0 0 95 0 0 0 20 0 15 0 60938284 14316269568 65149 18446744073709551615 4194304 4196468 140728367833888 139941390629744 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20061] ppid=20047 vsize=13980732 CPUtime=0.39 cores=1,3,5,7
/proc/20049/task/20061/stat : 20061 (java) S 20047 20047 18930 0 -1 1077944384 3496 0 0 0 39 0 0 0 20 0 15 0 60938284 14316269568 65149 18446744073709551615 4194304 4196468 140728367833888 139941389576688 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20062] ppid=20047 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20049/task/20062/stat : 20062 (java) S 20047 20047 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938284 14316269568 65149 18446744073709551615 4194304 4196468 140728367833888 139941388524384 139942479021781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
[pid=20049/tid=20063] ppid=20047 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/20049/task/20063/stat : 20063 (java) S 20047 20047 18930 0 -1 1077944384 403 0 0 0 3 5 0 0 20 0 15 0 60938289 14316269568 65149 18446744073709551615 4194304 4196468 140728367833888 139941387471408 139942479022722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140728367837651 140728367837826 140728367837826 140728367841231 0
Current children cumulated CPU time (s) 243.92
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 20049 sig 9
??? kill 20047 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.012
CPU time (s): 243.949
CPU user time (s): 243.506
CPU system time (s): 0.443156
CPU usage (%): 101.64
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.506
system time used= 0.443156
maximum resident set size= 265752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50482
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17339
involuntary context switches= 521
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.03089 second user time and 1.46736 second system time
The end