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-4254336-1501612683/watcher-4254336-1501612683 -o /tmp/evaluation-result-4254336-1501612683/solver-4254336-1501612683 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501611170-5183 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1705399126 HOME/instance-4254336-1501612683.xml
pid=5649
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: 1.92 1.78 1.05 3/196 5652
/proc/meminfo: memFree=31838928/32770624 swapFree=0/179264
[pid=5652] ppid=5649 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/5652/stat : 5652 (runsolver) D 5649 5652 5123 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9885220 24240128 106 18446744073709551615 4194304 4338465 140735219705984 140735219703624 140148221145815 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 8155136 140735219707997 140735219708486 140735219708486 140735219711946 0
/proc/5652/statm: 5918 106 53 36 0 2156 0
[startup+0.100173 s]
/proc/loadavg: 1.92 1.78 1.05 3/196 5652
/proc/meminfo: memFree=31838928/32770624 swapFree=0/179264
[pid=5652] ppid=5649 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5652/stat : 5652 (xcsp3-exec) S 5649 5652 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9885220 9740288 345 18446744073709551615 4194304 5098028 140721993270448 140721993268552 140608779731580 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 14405632 140721993273755 140721993273959 140721993273959 140721993277419 0
/proc/5652/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200287 s]
/proc/loadavg: 1.92 1.78 1.05 3/196 5652
/proc/meminfo: memFree=31838928/32770624 swapFree=0/179264
[pid=5652] ppid=5649 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5652/stat : 5652 (xcsp3-exec) S 5649 5652 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9885220 9740288 345 18446744073709551615 4194304 5098028 140721993270448 140721993268552 140608779731580 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 14405632 140721993273755 140721993273959 140721993273959 140721993277419 0
/proc/5652/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30031 s]
/proc/loadavg: 1.92 1.78 1.05 3/196 5652
/proc/meminfo: memFree=31838928/32770624 swapFree=0/179264
[pid=5652] ppid=5649 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5652/stat : 5652 (xcsp3-exec) S 5649 5652 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9885220 9740288 345 18446744073709551615 4194304 5098028 140721993270448 140721993268552 140608779731580 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 14405632 140721993273755 140721993273959 140721993273959 140721993277419 0
/proc/5652/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701136 s]
/proc/loadavg: 1.92 1.78 1.05 3/196 5652
/proc/meminfo: memFree=31838928/32770624 swapFree=0/179264
[pid=5652] ppid=5649 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5652/stat : 5652 (xcsp3-exec) S 5649 5652 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9885220 9740288 345 18446744073709551615 4194304 5098028 140721993270448 140721993268552 140608779731580 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 14405632 140721993273755 140721993273959 140721993273959 140721993277419 0
/proc/5652/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50066 s]
/proc/loadavg: 1.92 1.78 1.05 5/212 5669
/proc/meminfo: memFree=31762096/32770624 swapFree=0/179276
[pid=5652] ppid=5649 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5652/stat : 5652 (xcsp3-exec) S 5649 5652 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9885220 9740288 345 18446744073709551615 4194304 5098028 140721993270448 140721993268552 140608779731580 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 14405632 140721993273755 140721993273959 140721993273959 140721993277419 0
/proc/5652/statm: 2378 345 289 221 0 87 0
[pid=5654] ppid=5652 vsize=13980732 CPUtime=3.68 cores=0,2,4,6
/proc/5654/stat : 5654 (java) S 5652 5652 5123 0 -1 1077944320 25236 0 0 0 361 7 0 0 20 0 15 0 9885226 14316269568 25667 18446744073709551615 4194304 4196468 140725654874912 140725654857456 140461710143223 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
/proc/5654/statm: 3495183 25667 3180 1 0 3483484 0
[pid=5654/tid=5655] ppid=5652 vsize=13980732 CPUtime=1.35 cores=0,2,4,6
/proc/5654/task/5655/stat : 5655 (java) R 5652 5652 5123 0 -1 4202560 8826 0 0 0 132 3 0 0 20 0 15 0 9885226 14316269568 25667 18446744073709551615 4194304 4196468 140725654874912 140461714380264 140461356863399 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5656] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5656/stat : 5656 (java) S 5652 5652 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9885227 14316269568 25667 18446744073709551615 4194304 4196468 140725654874912 140461310667152 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5657] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5657/stat : 5657 (java) S 5652 5652 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9885227 14316269568 25667 18446744073709551615 4194304 4196468 140725654874912 140461309614352 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5658] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5658/stat : 5658 (java) S 5652 5652 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9885227 14316269568 25667 18446744073709551615 4194304 4196468 140725654874912 140461308562064 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5659] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5659/stat : 5659 (java) S 5652 5652 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9885227 14316269568 25667 18446744073709551615 4194304 4196468 140725654874912 140461307509264 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5660] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5660/stat : 5660 (java) S 5652 5652 5123 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9885228 14316269568 25667 18446744073709551615 4194304 4196468 140725654874912 140461188524656 140461710154370 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5661] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5661/stat : 5661 (java) S 5652 5652 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9885229 14316269568 25667 18446744073709551615 4194304 4196468 140725654874912 140461187470624 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5662] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5662/stat : 5662 (java) S 5652 5652 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9885229 14316269568 25667 18446744073709551615 4194304 4196468 140725654874912 140461186418288 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5663] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5663/stat : 5663 (java) S 5652 5652 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9885231 14316269568 25667 18446744073709551615 4194304 4196468 140725654874912 140461185366608 140461710161819 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5664] ppid=5652 vsize=13980732 CPUtime=0.91 cores=0,2,4,6
/proc/5654/task/5664/stat : 5664 (java) R 5652 5652 5123 0 -1 4202560 6134 0 0 0 91 0 0 0 20 0 15 0 9885231 14316269568 25667 18446744073709551615 4194304 4196468 140725654874912 140461184299424 140461695251387 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5665] ppid=5652 vsize=13980732 CPUtime=0.93 cores=0,2,4,6
/proc/5654/task/5665/stat : 5665 (java) R 5652 5652 5123 0 -1 4202560 5843 0 0 0 92 1 0 0 20 0 15 0 9885231 14316269568 25667 18446744073709551615 4194304 4196468 140725654874912 140461183246160 140461691687536 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5666] ppid=5652 vsize=13980732 CPUtime=0.45 cores=0,2,4,6
/proc/5654/task/5666/stat : 5666 (java) S 5652 5652 5123 0 -1 1077944384 3127 0 0 0 45 0 0 0 20 0 15 0 9885231 14316269568 25667 18446744073709551615 4194304 4196468 140725654874912 140461182208368 140461710154370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5667] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5667/stat : 5667 (java) S 5652 5652 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9885232 14316269568 25667 18446744073709551615 4194304 4196468 140725654874912 140461181155808 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5668] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5668/stat : 5668 (java) S 5652 5652 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9885238 14316269568 25667 18446744073709551615 4194304 4196468 140725654874912 140461180103600 140461710154370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 13990244
[startup+3.10072 s]
/proc/loadavg: 1.92 1.78 1.05 3/212 5669
/proc/meminfo: memFree=31743000/32770624 swapFree=0/179276
[pid=5652] ppid=5649 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5652/stat : 5652 (xcsp3-exec) S 5649 5652 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9885220 9740288 345 18446744073709551615 4194304 5098028 140721993270448 140721993268552 140608779731580 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 14405632 140721993273755 140721993273959 140721993273959 140721993277419 0
/proc/5652/statm: 2378 345 289 221 0 87 0
[pid=5654] ppid=5652 vsize=13980732 CPUtime=5.8 cores=0,2,4,6
/proc/5654/stat : 5654 (java) S 5652 5652 5123 0 -1 1077944320 26564 0 0 0 573 7 0 0 20 0 15 0 9885226 14316269568 31147 18446744073709551615 4194304 4196468 140725654874912 140725654857456 140461710143223 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
/proc/5654/statm: 3495183 31147 3184 1 0 3483484 0
[pid=5654/tid=5655] ppid=5652 vsize=13980732 CPUtime=2.96 cores=0,2,4,6
/proc/5654/task/5655/stat : 5655 (java) R 5652 5652 5123 0 -1 4202560 9310 0 0 0 292 4 0 0 20 0 15 0 9885226 14316269568 31147 18446744073709551615 4194304 4196468 140725654874912 140461714382336 140461356407623 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5656] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5656/stat : 5656 (java) S 5652 5652 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9885227 14316269568 31147 18446744073709551615 4194304 4196468 140725654874912 140461310667152 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5657] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5657/stat : 5657 (java) S 5652 5652 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9885227 14316269568 31147 18446744073709551615 4194304 4196468 140725654874912 140461309614352 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5658] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5658/stat : 5658 (java) S 5652 5652 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9885227 14316269568 31147 18446744073709551615 4194304 4196468 140725654874912 140461308562064 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5659] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5659/stat : 5659 (java) S 5652 5652 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9885227 14316269568 31147 18446744073709551615 4194304 4196468 140725654874912 140461307509264 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5660] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5660/stat : 5660 (java) S 5652 5652 5123 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 9885228 14316269568 31147 18446744073709551615 4194304 4196468 140725654874912 140461188524656 140461710154370 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5661] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5661/stat : 5661 (java) S 5652 5652 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9885229 14316269568 31147 18446744073709551615 4194304 4196468 140725654874912 140461187470624 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5662] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5662/stat : 5662 (java) S 5652 5652 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9885229 14316269568 31147 18446744073709551615 4194304 4196468 140725654874912 140461186418288 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5663] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5663/stat : 5663 (java) S 5652 5652 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9885231 14316269568 31147 18446744073709551615 4194304 4196468 140725654874912 140461185366608 140461710161819 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5664] ppid=5652 vsize=13980732 CPUtime=1.16 cores=0,2,4,6
/proc/5654/task/5664/stat : 5664 (java) S 5652 5652 5123 0 -1 1077944384 6542 0 0 0 116 0 0 0 20 0 15 0 9885231 14316269568 31147 18446744073709551615 4194304 4196468 140725654874912 140461184313456 140461710154370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5665] ppid=5652 vsize=13980732 CPUtime=1.16 cores=0,2,4,6
/proc/5654/task/5665/stat : 5665 (java) S 5652 5652 5123 0 -1 1077944384 6065 0 0 0 115 1 0 0 20 0 15 0 9885231 14316269568 31147 18446744073709551615 4194304 4196468 140725654874912 140461183260656 140461710154370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5666] ppid=5652 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/5654/task/5666/stat : 5666 (java) S 5652 5652 5123 0 -1 1077944384 3295 0 0 0 47 1 0 0 20 0 15 0 9885231 14316269568 31147 18446744073709551615 4194304 4196468 140725654874912 140461182208368 140461710154370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5667] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5667/stat : 5667 (java) S 5652 5652 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9885232 14316269568 31147 18446744073709551615 4194304 4196468 140725654874912 140461181155808 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5668] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5668/stat : 5668 (java) S 5652 5652 5123 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 9885238 14316269568 31147 18446744073709551615 4194304 4196468 140725654874912 140461180103600 140461710154370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
Current children cumulated CPU time (s) 5.8
Current children cumulated vsize (KiB) 13990244
[startup+6.30069 s]
/proc/loadavg: 1.93 1.78 1.06 3/212 5669
/proc/meminfo: memFree=31690296/32770624 swapFree=0/179284
[pid=5652] ppid=5649 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5652/stat : 5652 (xcsp3-exec) S 5649 5652 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9885220 9740288 345 18446744073709551615 4194304 5098028 140721993270448 140721993268552 140608779731580 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 14405632 140721993273755 140721993273959 140721993273959 140721993277419 0
/proc/5652/statm: 2378 345 289 221 0 87 0
[pid=5654] ppid=5652 vsize=13980732 CPUtime=9.2 cores=0,2,4,6
/proc/5654/stat : 5654 (java) S 5652 5652 5123 0 -1 1077944320 32037 0 0 0 912 8 0 0 20 0 15 0 9885226 14316269568 42652 18446744073709551615 4194304 4196468 140725654874912 140725654857456 140461710143223 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
/proc/5654/statm: 3495183 42652 3189 1 0 3483484 0
[pid=5654/tid=5655] ppid=5652 vsize=13980732 CPUtime=6.15 cores=0,2,4,6
/proc/5654/task/5655/stat : 5655 (java) R 5652 5652 5123 0 -1 4202560 10129 0 0 0 611 4 0 0 20 0 15 0 9885226 14316269568 42652 18446744073709551615 4194304 4196468 140725654874912 140461714379760 140461356785641 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5656] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5656/stat : 5656 (java) S 5652 5652 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9885227 14316269568 42652 18446744073709551615 4194304 4196468 140725654874912 140461310667152 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5657] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5657/stat : 5657 (java) S 5652 5652 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9885227 14316269568 42652 18446744073709551615 4194304 4196468 140725654874912 140461309614352 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5658] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5658/stat : 5658 (java) S 5652 5652 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9885227 14316269568 42652 18446744073709551615 4194304 4196468 140725654874912 140461308562064 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5659] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5659/stat : 5659 (java) S 5652 5652 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9885227 14316269568 42652 18446744073709551615 4194304 4196468 140725654874912 140461307509264 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5660] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5660/stat : 5660 (java) S 5652 5652 5123 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 9885228 14316269568 42652 18446744073709551615 4194304 4196468 140725654874912 140461188524656 140461710154370 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5661] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5661/stat : 5661 (java) S 5652 5652 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9885229 14316269568 42652 18446744073709551615 4194304 4196468 140725654874912 140461187470624 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5662] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5662/stat : 5662 (java) S 5652 5652 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9885229 14316269568 42652 18446744073709551615 4194304 4196468 140725654874912 140461186418288 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5663] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5663/stat : 5663 (java) S 5652 5652 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9885231 14316269568 42652 18446744073709551615 4194304 4196468 140725654874912 140461185366608 140461710161819 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5664] ppid=5652 vsize=13980732 CPUtime=1.26 cores=0,2,4,6
/proc/5654/task/5664/stat : 5664 (java) S 5652 5652 5123 0 -1 1077944384 8214 0 0 0 125 1 0 0 20 0 15 0 9885231 14316269568 42652 18446744073709551615 4194304 4196468 140725654874912 140461184313456 140461710154370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5665] ppid=5652 vsize=13980732 CPUtime=1.25 cores=0,2,4,6
/proc/5654/task/5665/stat : 5665 (java) S 5652 5652 5123 0 -1 1077944384 7302 0 0 0 124 1 0 0 20 0 15 0 9885231 14316269568 42652 18446744073709551615 4194304 4196468 140725654874912 140461183260656 140461710154370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5666] ppid=5652 vsize=13980732 CPUtime=0.5 cores=0,2,4,6
/proc/5654/task/5666/stat : 5666 (java) S 5652 5652 5123 0 -1 1077944384 4340 0 0 0 49 1 0 0 20 0 15 0 9885231 14316269568 42652 18446744073709551615 4194304 4196468 140725654874912 140461182208368 140461710154370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5667] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5667/stat : 5667 (java) S 5652 5652 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9885232 14316269568 42652 18446744073709551615 4194304 4196468 140725654874912 140461181155808 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5668] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5668/stat : 5668 (java) S 5652 5652 5123 0 -1 1077944384 447 0 0 0 0 0 0 0 20 0 15 0 9885238 14316269568 42652 18446744073709551615 4194304 4196468 140725654874912 140461180103600 140461710154370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
Current children cumulated CPU time (s) 9.2
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.93 1.78 1.06 3/212 5669
/proc/meminfo: memFree=31653312/32770624 swapFree=0/179292
[pid=5652] ppid=5649 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5652/stat : 5652 (xcsp3-exec) S 5649 5652 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9885220 9740288 345 18446744073709551615 4194304 5098028 140721993270448 140721993268552 140608779731580 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 14405632 140721993273755 140721993273959 140721993273959 140721993277419 0
/proc/5652/statm: 2378 345 289 221 0 87 0
[pid=5654] ppid=5652 vsize=13980732 CPUtime=15.66 cores=0,2,4,6
/proc/5654/stat : 5654 (java) S 5652 5652 5123 0 -1 1077944320 33729 0 0 0 1557 9 0 0 20 0 15 0 9885226 14316269568 49349 18446744073709551615 4194304 4196468 140725654874912 140725654857456 140461710143223 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
/proc/5654/statm: 3495183 49349 3210 1 0 3483484 0
[pid=5654/tid=5655] ppid=5652 vsize=13980732 CPUtime=12.55 cores=0,2,4,6
/proc/5654/task/5655/stat : 5655 (java) R 5652 5652 5123 0 -1 4202560 10186 0 0 0 1250 5 0 0 20 0 15 0 9885226 14316269568 49349 18446744073709551615 4194304 4196468 140725654874912 140461714379776 140461356894136 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5656] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5656/stat : 5656 (java) S 5652 5652 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9885227 14316269568 49349 18446744073709551615 4194304 4196468 140725654874912 140461310667152 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5657] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5657/stat : 5657 (java) S 5652 5652 5123 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 9885227 14316269568 49349 18446744073709551615 4194304 4196468 140725654874912 140461309614352 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
################
# More data... #
################
[pid=5654/tid=5661] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5661/stat : 5661 (java) S 5652 5652 5123 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9885229 14316269568 41739 18446744073709551615 4194304 4196468 140725654874912 140461187470624 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5662] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5662/stat : 5662 (java) S 5652 5652 5123 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 9885229 14316269568 41739 18446744073709551615 4194304 4196468 140725654874912 140461186418288 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5663] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5663/stat : 5663 (java) S 5652 5652 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9885231 14316269568 41739 18446744073709551615 4194304 4196468 140725654874912 140461185366608 140461710161819 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5664] ppid=5652 vsize=13980732 CPUtime=1.32 cores=0,2,4,6
/proc/5654/task/5664/stat : 5664 (java) S 5652 5652 5123 0 -1 1077944384 10352 0 0 0 131 1 0 0 20 0 15 0 9885231 14316269568 41739 18446744073709551615 4194304 4196468 140725654874912 140461184313456 140461710154370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5665] ppid=5652 vsize=13980732 CPUtime=1.38 cores=0,2,4,6
/proc/5654/task/5665/stat : 5665 (java) S 5652 5652 5123 0 -1 1077944384 10608 0 0 0 137 1 0 0 20 0 15 0 9885231 14316269568 41739 18446744073709551615 4194304 4196468 140725654874912 140461183260656 140461710154370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5666] ppid=5652 vsize=13980732 CPUtime=0.53 cores=0,2,4,6
/proc/5654/task/5666/stat : 5666 (java) S 5652 5652 5123 0 -1 1077944384 7087 0 0 0 52 1 0 0 20 0 15 0 9885231 14316269568 41739 18446744073709551615 4194304 4196468 140725654874912 140461182208368 140461710154370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5667] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5667/stat : 5667 (java) S 5652 5652 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9885232 14316269568 41739 18446744073709551615 4194304 4196468 140725654874912 140461181155808 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5668] ppid=5652 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5654/task/5668/stat : 5668 (java) S 5652 5652 5123 0 -1 1077944384 569 0 0 0 1 1 0 0 20 0 15 0 9885238 14316269568 41739 18446744073709551615 4194304 4196468 140725654874912 140461180103600 140461710154370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
Current children cumulated CPU time (s) 105.55
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.57 1.67 1.13 3/211 5833
/proc/meminfo: memFree=31676092/32770624 swapFree=0/179464
[pid=5652] ppid=5649 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5652/stat : 5652 (xcsp3-exec) S 5649 5652 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9885220 9740288 345 18446744073709551615 4194304 5098028 140721993270448 140721993268552 140608779731580 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 14405632 140721993273755 140721993273959 140721993273959 140721993277419 0
/proc/5652/statm: 2378 345 289 221 0 87 0
[pid=5654] ppid=5652 vsize=13980732 CPUtime=165.76 cores=0,2,4,6
/proc/5654/stat : 5654 (java) S 5652 5652 5123 0 -1 1077944320 51817 0 0 0 16558 18 0 0 20 0 15 0 9885226 14316269568 41670 18446744073709551615 4194304 4196468 140725654874912 140725654857456 140461710143223 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
/proc/5654/statm: 3495183 41670 3220 1 0 3483484 0
[pid=5654/tid=5655] ppid=5652 vsize=13980732 CPUtime=161.96 cores=0,2,4,6
/proc/5654/task/5655/stat : 5655 (java) R 5652 5652 5123 0 -1 4202560 13744 0 0 0 16190 6 0 0 20 0 15 0 9885226 14316269568 41670 18446744073709551615 4194304 4196468 140725654874912 140461714382672 140461353294392 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5656] ppid=5652 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/5654/task/5656/stat : 5656 (java) S 5652 5652 5123 0 -1 1077944384 369 0 0 0 6 1 0 0 20 0 15 0 9885227 14316269568 41670 18446744073709551615 4194304 4196468 140725654874912 140461310667152 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5657] ppid=5652 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5654/task/5657/stat : 5657 (java) S 5652 5652 5123 0 -1 1077944384 917 0 0 0 5 1 0 0 20 0 15 0 9885227 14316269568 41670 18446744073709551615 4194304 4196468 140725654874912 140461309614352 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5658] ppid=5652 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/5654/task/5658/stat : 5658 (java) S 5652 5652 5123 0 -1 1077944384 1549 0 0 0 6 1 0 0 20 0 15 0 9885227 14316269568 41670 18446744073709551615 4194304 4196468 140725654874912 140461308562064 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5659] ppid=5652 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5654/task/5659/stat : 5659 (java) S 5652 5652 5123 0 -1 1077944384 1311 0 0 0 5 1 0 0 20 0 15 0 9885227 14316269568 41670 18446744073709551615 4194304 4196468 140725654874912 140461307509264 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5660] ppid=5652 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/5654/task/5660/stat : 5660 (java) S 5652 5652 5123 0 -1 1077944384 1560 0 0 0 6 1 0 0 20 0 15 0 9885228 14316269568 41670 18446744073709551615 4194304 4196468 140725654874912 140461188524656 140461710154370 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5661] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5661/stat : 5661 (java) S 5652 5652 5123 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9885229 14316269568 41670 18446744073709551615 4194304 4196468 140725654874912 140461187470624 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5662] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5662/stat : 5662 (java) S 5652 5652 5123 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 9885229 14316269568 41670 18446744073709551615 4194304 4196468 140725654874912 140461186418288 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5663] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5663/stat : 5663 (java) S 5652 5652 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9885231 14316269568 41670 18446744073709551615 4194304 4196468 140725654874912 140461185366608 140461710161819 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5664] ppid=5652 vsize=13980732 CPUtime=1.38 cores=0,2,4,6
/proc/5654/task/5664/stat : 5664 (java) S 5652 5652 5123 0 -1 1077944384 11085 0 0 0 137 1 0 0 20 0 15 0 9885231 14316269568 41670 18446744073709551615 4194304 4196468 140725654874912 140461184313456 140461710154370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5665] ppid=5652 vsize=13980732 CPUtime=1.43 cores=0,2,4,6
/proc/5654/task/5665/stat : 5665 (java) S 5652 5652 5123 0 -1 1077944384 12102 0 0 0 142 1 0 0 20 0 15 0 9885231 14316269568 41670 18446744073709551615 4194304 4196468 140725654874912 140461183260656 140461710154370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5666] ppid=5652 vsize=13980732 CPUtime=0.53 cores=0,2,4,6
/proc/5654/task/5666/stat : 5666 (java) S 5652 5652 5123 0 -1 1077944384 7235 0 0 0 52 1 0 0 20 0 15 0 9885231 14316269568 41670 18446744073709551615 4194304 4196468 140725654874912 140461182208368 140461710154370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5667] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5667/stat : 5667 (java) S 5652 5652 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9885232 14316269568 41670 18446744073709551615 4194304 4196468 140725654874912 140461181155808 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5668] ppid=5652 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/5654/task/5668/stat : 5668 (java) S 5652 5652 5123 0 -1 1077944384 592 0 0 0 2 2 0 0 20 0 15 0 9885238 14316269568 41670 18446744073709551615 4194304 4196468 140725654874912 140461180103600 140461710154370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
Current children cumulated CPU time (s) 165.76
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.36 1.58 1.13 3/211 5835
/proc/meminfo: memFree=31660724/32770624 swapFree=0/179492
[pid=5652] ppid=5649 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5652/stat : 5652 (xcsp3-exec) S 5649 5652 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9885220 9740288 345 18446744073709551615 4194304 5098028 140721993270448 140721993268552 140608779731580 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 14405632 140721993273755 140721993273959 140721993273959 140721993277419 0
/proc/5652/statm: 2378 345 289 221 0 87 0
[pid=5654] ppid=5652 vsize=13980732 CPUtime=226.11 cores=0,2,4,6
/proc/5654/stat : 5654 (java) S 5652 5652 5123 0 -1 1077944320 54447 0 0 0 22587 24 0 0 20 0 15 0 9885226 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140725654857456 140461710143223 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
/proc/5654/statm: 3495183 44494 3220 1 0 3483484 0
[pid=5654/tid=5655] ppid=5652 vsize=13980732 CPUtime=221.69 cores=0,2,4,6
/proc/5654/task/5655/stat : 5655 (java) R 5652 5652 5123 0 -1 4202560 14491 0 0 0 22162 7 0 0 20 0 15 0 9885226 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461714382784 140461356133376 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5656] ppid=5652 vsize=13980732 CPUtime=0.17 cores=0,2,4,6
/proc/5654/task/5656/stat : 5656 (java) S 5652 5652 5123 0 -1 1077944384 937 0 0 0 15 2 0 0 20 0 15 0 9885227 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461310667152 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5657] ppid=5652 vsize=13980732 CPUtime=0.17 cores=0,2,4,6
/proc/5654/task/5657/stat : 5657 (java) S 5652 5652 5123 0 -1 1077944384 1067 0 0 0 15 2 0 0 20 0 15 0 9885227 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461309614352 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5658] ppid=5652 vsize=13980732 CPUtime=0.18 cores=0,2,4,6
/proc/5654/task/5658/stat : 5658 (java) S 5652 5652 5123 0 -1 1077944384 1665 0 0 0 16 2 0 0 20 0 15 0 9885227 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461308562064 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5659] ppid=5652 vsize=13980732 CPUtime=0.18 cores=0,2,4,6
/proc/5654/task/5659/stat : 5659 (java) S 5652 5652 5123 0 -1 1077944384 1403 0 0 0 15 3 0 0 20 0 15 0 9885227 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461307509264 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5660] ppid=5652 vsize=13980732 CPUtime=0.19 cores=0,2,4,6
/proc/5654/task/5660/stat : 5660 (java) S 5652 5652 5123 0 -1 1077944384 1804 0 0 0 17 2 0 0 20 0 15 0 9885228 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461188524656 140461710154370 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5661] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5661/stat : 5661 (java) S 5652 5652 5123 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9885229 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461187470624 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5662] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5662/stat : 5662 (java) S 5652 5652 5123 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 9885229 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461186418288 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5663] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5663/stat : 5663 (java) S 5652 5652 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9885231 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461185366608 140461710161819 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5664] ppid=5652 vsize=13980732 CPUtime=1.39 cores=0,2,4,6
/proc/5654/task/5664/stat : 5664 (java) S 5652 5652 5123 0 -1 1077944384 11343 0 0 0 138 1 0 0 20 0 15 0 9885231 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461184313456 140461710154370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5665] ppid=5652 vsize=13980732 CPUtime=1.45 cores=0,2,4,6
/proc/5654/task/5665/stat : 5665 (java) S 5652 5652 5123 0 -1 1077944384 12399 0 0 0 144 1 0 0 20 0 15 0 9885231 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461183260656 140461710154370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5666] ppid=5652 vsize=13980732 CPUtime=0.53 cores=0,2,4,6
/proc/5654/task/5666/stat : 5666 (java) S 5652 5652 5123 0 -1 1077944384 7371 0 0 0 52 1 0 0 20 0 15 0 9885231 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461182208368 140461710154370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5667] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5667/stat : 5667 (java) S 5652 5652 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9885232 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461181155808 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5668] ppid=5652 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/5654/task/5668/stat : 5668 (java) S 5652 5652 5123 0 -1 1077944384 614 0 0 0 3 4 0 0 20 0 15 0 9885238 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461180103600 140461710154370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
Current children cumulated CPU time (s) 226.11
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.62 1.63 1.16 3/211 5837
/proc/meminfo: memFree=31658156/32770624 swapFree=0/179520
[pid=5652] ppid=5649 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5652/stat : 5652 (xcsp3-exec) S 5649 5652 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9885220 9740288 345 18446744073709551615 4194304 5098028 140721993270448 140721993268552 140608779731580 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 14405632 140721993273755 140721993273959 140721993273959 140721993277419 0
/proc/5652/statm: 2378 345 289 221 0 87 0
[pid=5654] ppid=5652 vsize=13980732 CPUtime=243.84 cores=0,2,4,6
/proc/5654/stat : 5654 (java) S 5652 5652 5123 0 -1 1077944320 55024 0 0 0 24360 24 0 0 20 0 15 0 9885226 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140725654857456 140461710143223 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
/proc/5654/statm: 3495183 44494 3220 1 0 3483484 0
[pid=5654/tid=5655] ppid=5652 vsize=13980732 CPUtime=239.36 cores=0,2,4,6
/proc/5654/task/5655/stat : 5655 (java) R 5652 5652 5123 0 -1 4202560 14524 0 0 0 23929 7 0 0 20 0 15 0 9885226 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461714382672 140461356133395 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5656] ppid=5652 vsize=13980732 CPUtime=0.18 cores=0,2,4,6
/proc/5654/task/5656/stat : 5656 (java) S 5652 5652 5123 0 -1 1077944384 945 0 0 0 16 2 0 0 20 0 15 0 9885227 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461310667152 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5657] ppid=5652 vsize=13980732 CPUtime=0.18 cores=0,2,4,6
/proc/5654/task/5657/stat : 5657 (java) S 5652 5652 5123 0 -1 1077944384 1072 0 0 0 16 2 0 0 20 0 15 0 9885227 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461309614352 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5658] ppid=5652 vsize=13980732 CPUtime=0.19 cores=0,2,4,6
/proc/5654/task/5658/stat : 5658 (java) S 5652 5652 5123 0 -1 1077944384 1677 0 0 0 17 2 0 0 20 0 15 0 9885227 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461308562064 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5659] ppid=5652 vsize=13980732 CPUtime=0.19 cores=0,2,4,6
/proc/5654/task/5659/stat : 5659 (java) S 5652 5652 5123 0 -1 1077944384 1409 0 0 0 16 3 0 0 20 0 15 0 9885227 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461307509264 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5660] ppid=5652 vsize=13980732 CPUtime=0.21 cores=0,2,4,6
/proc/5654/task/5660/stat : 5660 (java) S 5652 5652 5123 0 -1 1077944384 1804 0 0 0 19 2 0 0 20 0 15 0 9885228 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461188524656 140461710154370 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5661] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5661/stat : 5661 (java) S 5652 5652 5123 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9885229 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461187470624 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5662] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5662/stat : 5662 (java) S 5652 5652 5123 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 9885229 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461186418288 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5663] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5663/stat : 5663 (java) S 5652 5652 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9885231 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461185366608 140461710161819 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5664] ppid=5652 vsize=13980732 CPUtime=1.39 cores=0,2,4,6
/proc/5654/task/5664/stat : 5664 (java) S 5652 5652 5123 0 -1 1077944384 11343 0 0 0 138 1 0 0 20 0 15 0 9885231 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461184313456 140461710154370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5665] ppid=5652 vsize=13980732 CPUtime=1.45 cores=0,2,4,6
/proc/5654/task/5665/stat : 5665 (java) S 5652 5652 5123 0 -1 1077944384 12908 0 0 0 144 1 0 0 20 0 15 0 9885231 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461183260656 140461710154370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5666] ppid=5652 vsize=13980732 CPUtime=0.53 cores=0,2,4,6
/proc/5654/task/5666/stat : 5666 (java) S 5652 5652 5123 0 -1 1077944384 7371 0 0 0 52 1 0 0 20 0 15 0 9885231 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461182208368 140461710154370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5667] ppid=5652 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5654/task/5667/stat : 5667 (java) S 5652 5652 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9885232 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461181155808 140461710153429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
[pid=5654/tid=5668] ppid=5652 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/5654/task/5668/stat : 5668 (java) S 5652 5652 5123 0 -1 1077944384 618 0 0 0 3 5 0 0 20 0 15 0 9885238 14316269568 44494 18446744073709551615 4194304 4196468 140725654874912 140461180103600 140461710154370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32776192 140725654880724 140725654880899 140725654880899 140725654884303 0
Current children cumulated CPU time (s) 243.84
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 5654 sig 9
??? kill 5652 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 5652 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1737
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=123
# CPU time returned by wait4() is 0.00186
# while last known CPU time is 243.84
#
# 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): 243.84
CPU user time (s): 243.6
CPU system time (s): 0.24
CPU usage (%): 101.596
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001737
system time used= 0.000123
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
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.00136 second user time and 1.49902 second system time
The end