runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14784 MiB free)
memory of node 1: 16384 MiB (15500 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284155-1503177908/watcher-4284155-1503177908 -o /tmp/evaluation-result-4284155-1503177908/solver-4284155-1503177908 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503172076-28737 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1198308756 HOME/instance-4284155-1503177908.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29448, runsolver pid=29445
[startup+0.100088 s]*
/proc/loadavg: 1.91 1.57 1.56 2/201 29451
/proc/meminfo: memFree=31006944/32770624 swapFree=67108860/67108860
[pid=29448] ppid=29445 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29448/stat : 29448 (xcsp3-exec) S 29445 29448 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 106131464 9740288 345 18446744073709551615 4194304 5098028 140725563102320 140725563100424 140388400566908 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 36229120 140725563109752 140725563109957 140725563109957 140725563113451 0
/proc/29448/statm: 2378 345 289 221 0 87 0
[pid=29450] ppid=29448 vsize=105164 memory=5156 CPUtime=0 cores=1,3,5,7
/proc/29450/stat : 29450 (java) S 29448 29448 13977 0 -1 1077944320 1507 0 0 0 0 0 0 0 20 0 2 0 106131473 107687936 1289 18446744073709551615 4194304 4196468 140737016212512 140737016195056 139645228330743 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
/proc/29450/statm: 26291 1289 964 1 0 16808 0
[pid=29450/tid=29451] ppid=29448 vsize=105164 memory=-6441945634729726303 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29451/stat : 29451 (java) D 29448 29448 13977 0 -1 4202560 271 0 0 0 0 0 0 0 20 0 2 0 106131473 107687936 1289 18446744073709551615 4194304 4196468 140737016212512 139645232572720 139645220821909 0 0 1 16784584 18446744072099896453 0 0 -1 7 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 114676 KiB
Current children cumulated memory: 6536 KiB
[startup+0.299489 s]*
/proc/loadavg: 1.91 1.57 1.56 3/214 29464
/proc/meminfo: memFree=30999496/32770624 swapFree=67108860/67108860
[pid=29448] ppid=29445 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29448/stat : 29448 (xcsp3-exec) S 29445 29448 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 106131464 9740288 345 18446744073709551615 4194304 5098028 140725563102320 140725563100424 140388400566908 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 36229120 140725563109752 140725563109957 140725563109957 140725563113451 0
/proc/29448/statm: 2378 345 289 221 0 87 0
[pid=29450] ppid=29448 vsize=13974352 memory=22932 CPUtime=0.06 cores=1,3,5,7
/proc/29450/stat : 29450 (java) S 29448 29448 13977 0 -1 1077944320 5178 0 0 0 6 0 0 0 20 0 15 0 106131473 14309736448 5733 18446744073709551615 4194304 4196468 140737016212512 140737016195056 139645228330743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
/proc/29450/statm: 3493588 5733 2712 1 0 3482964 0
[pid=29450/tid=29451] ppid=29448 vsize=13974352 memory=7970697823143238044 CPUtime=0.05 cores=1,3,5,7
/proc/29450/task/29451/stat : 29451 (java) R 29448 29448 13977 0 -1 4202560 3331 0 0 0 5 0 0 0 20 0 15 0 106131473 14309736448 5733 18446744073709551615 4194304 4196468 140737016212512 139645232560496 139645209725949 0 4 1 16800974 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29452] ppid=29448 vsize=13974352 memory=5767615518735145353 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29452/stat : 29452 (java) S 29448 29448 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106131484 14309736448 5733 18446744073709551615 4194304 4196468 140737016212512 139645162765200 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29453] ppid=29448 vsize=13974352 memory=140232327161472 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29453/stat : 29453 (java) S 29448 29448 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106131484 14309736448 5733 18446744073709551615 4194304 4196468 140737016212512 139645161712400 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29454] ppid=29448 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29454/stat : 29454 (java) S 29448 29448 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106131484 14309736448 5733 18446744073709551615 4194304 4196468 140737016212512 139645160660112 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29455] ppid=29448 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29455/stat : 29455 (java) S 29448 29448 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106131484 14309736448 5733 18446744073709551615 4194304 4196468 140737016212512 139645159607312 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29456] ppid=29448 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29456/stat : 29456 (java) S 29448 29448 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106131486 14309736448 5733 18446744073709551615 4194304 4196468 140737016212512 139644706855024 139645228341890 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29457] ppid=29448 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29457/stat : 29457 (java) S 29448 29448 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106131486 14309736448 5733 18446744073709551615 4194304 4196468 140737016212512 139644705800992 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29458] ppid=29448 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29458/stat : 29458 (java) S 29448 29448 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106131486 14309736448 5733 18446744073709551615 4194304 4196468 140737016212512 139644704748656 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29459] ppid=29448 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29459/stat : 29459 (java) S 29448 29448 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106131489 14309736448 5733 18446744073709551615 4194304 4196468 140737016212512 139644703696976 139645228349339 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29460] ppid=29448 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29460/stat : 29460 (java) S 29448 29448 13977 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 15 0 106131489 14309736448 5733 18446744073709551615 4194304 4196468 140737016212512 139644702644848 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29461] ppid=29448 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29461/stat : 29461 (java) S 29448 29448 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106131489 14309736448 5733 18446744073709551615 4194304 4196468 140737016212512 139644701592048 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29462] ppid=29448 vsize=13974352 memory=140232327161472 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29462/stat : 29462 (java) S 29448 29448 13977 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 15 0 106131489 14309736448 5733 18446744073709551615 4194304 4196468 140737016212512 139644700539760 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29463] ppid=29448 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29463/stat : 29463 (java) S 29448 29448 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106131489 14309736448 5733 18446744073709551615 4194304 4196468 140737016212512 139644699487200 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29464] ppid=29448 vsize=13974352 memory=140232327161472 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29464/stat : 29464 (java) S 29448 29448 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106131494 14309736448 5733 18446744073709551615 4194304 4196468 140737016212512 139644698433968 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24312 KiB
[startup+0.310217 s]*
/proc/loadavg: 1.91 1.57 1.56 3/214 29464
/proc/meminfo: memFree=30999232/32770624 swapFree=67108860/67108860
[pid=29448] ppid=29445 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29448/stat : 29448 (xcsp3-exec) S 29445 29448 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 106131464 9740288 345 18446744073709551615 4194304 5098028 140725563102320 140725563100424 140388400566908 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 36229120 140725563109752 140725563109957 140725563109957 140725563113451 0
/proc/29448/statm: 2378 345 289 221 0 87 0
[pid=29450] ppid=29448 vsize=13974352 memory=25340 CPUtime=0.07 cores=1,3,5,7
/proc/29450/stat : 29450 (java) S 29448 29448 13977 0 -1 1077944320 5260 0 0 0 7 0 0 0 20 0 15 0 106131473 14309736448 6335 18446744073709551615 4194304 4196468 140737016212512 140737016195056 139645228330743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
/proc/29450/statm: 3493588 6335 2727 1 0 3482964 0
[pid=29450/tid=29451] ppid=29448 vsize=13974352 memory=140232225879829 CPUtime=0.06 cores=1,3,5,7
/proc/29450/task/29451/stat : 29451 (java) R 29448 29448 13977 0 -1 4202560 3405 0 0 0 6 0 0 0 20 0 15 0 106131473 14309736448 6335 18446744073709551615 4194304 4196468 140737016212512 139645232556432 139644839710963 0 4 1 16800974 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29452] ppid=29448 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29452/stat : 29452 (java) S 29448 29448 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106131484 14309736448 6335 18446744073709551615 4194304 4196468 140737016212512 139645162765200 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29453] ppid=29448 vsize=13974352 memory=140232327161472 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29453/stat : 29453 (java) S 29448 29448 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106131484 14309736448 6335 18446744073709551615 4194304 4196468 140737016212512 139645161712400 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29454] ppid=29448 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29454/stat : 29454 (java) S 29448 29448 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106131484 14309736448 6335 18446744073709551615 4194304 4196468 140737016212512 139645160660112 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29455] ppid=29448 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29455/stat : 29455 (java) S 29448 29448 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106131484 14309736448 6335 18446744073709551615 4194304 4196468 140737016212512 139645159607312 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29456] ppid=29448 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29456/stat : 29456 (java) S 29448 29448 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106131486 14309736448 6847 18446744073709551615 4194304 4196468 140737016212512 139644706855024 139645228341890 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29457] ppid=29448 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29457/stat : 29457 (java) S 29448 29448 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106131486 14309736448 6847 18446744073709551615 4194304 4196468 140737016212512 139644705800992 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29458] ppid=29448 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29458/stat : 29458 (java) S 29448 29448 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106131486 14309736448 6847 18446744073709551615 4194304 4196468 140737016212512 139644704748656 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29459] ppid=29448 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29459/stat : 29459 (java) S 29448 29448 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106131489 14309736448 6847 18446744073709551615 4194304 4196468 140737016212512 139644703696976 139645228349339 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29460] ppid=29448 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29460/stat : 29460 (java) S 29448 29448 13977 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 15 0 106131489 14309736448 6847 18446744073709551615 4194304 4196468 140737016212512 139644702644848 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29461] ppid=29448 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29461/stat : 29461 (java) S 29448 29448 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106131489 14309736448 6847 18446744073709551615 4194304 4196468 140737016212512 139644701592048 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29462] ppid=29448 vsize=13974352 memory=140232327161472 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29462/stat : 29462 (java) S 29448 29448 13977 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 15 0 106131489 14309736448 6847 18446744073709551615 4194304 4196468 140737016212512 139644700539760 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29463] ppid=29448 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29463/stat : 29463 (java) S 29448 29448 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106131489 14309736448 6847 18446744073709551615 4194304 4196468 140737016212512 139644699487200 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29464] ppid=29448 vsize=13974352 memory=140232327161472 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29464/stat : 29464 (java) S 29448 29448 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106131494 14309736448 6847 18446744073709551615 4194304 4196468 140737016212512 139644698433968 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 26720 KiB
[startup+0.705159 s]
/proc/loadavg: 1.91 1.57 1.56 3/214 29464
/proc/meminfo: memFree=30980484/32770624 swapFree=67108860/67108860
[pid=29448] ppid=29445 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29448/stat : 29448 (xcsp3-exec) S 29445 29448 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 106131464 9740288 345 18446744073709551615 4194304 5098028 140725563102320 140725563100424 140388400566908 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 36229120 140725563109752 140725563109957 140725563109957 140725563113451 0
/proc/29448/statm: 2378 345 289 221 0 87 0
[pid=29450] ppid=29448 vsize=13978684 memory=57796 CPUtime=0.88 cores=1,3,5,7
/proc/29450/stat : 29450 (java) S 29448 29448 13977 0 -1 1077944320 11683 0 0 0 85 3 0 0 20 0 15 0 106131473 14314172416 14449 18446744073709551615 4194304 4196468 140737016212512 140737016195056 139645228330743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
/proc/29450/statm: 3494671 14449 3147 1 0 3482964 0
[pid=29450/tid=29451] ppid=29448 vsize=13978684 memory=8514701219781834910 CPUtime=0.44 cores=1,3,5,7
/proc/29450/task/29451/stat : 29451 (java) R 29448 29448 13977 0 -1 4202560 7971 0 0 0 42 2 0 0 20 0 15 0 106131473 14314172416 14449 18446744073709551615 4194304 4196468 140737016212512 139645232568000 139645228352669 0 4 1 16800974 0 0 0 -1 1 0 0 14 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29452] ppid=29448 vsize=13978684 memory=45501262 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29452/stat : 29452 (java) S 29448 29448 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106131484 14314172416 14449 18446744073709551615 4194304 4196468 140737016212512 139645162765200 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29453] ppid=29448 vsize=13978684 memory=-7591504750835642740 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29453/stat : 29453 (java) S 29448 29448 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106131484 14314172416 14449 18446744073709551615 4194304 4196468 140737016212512 139645161712400 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29454] ppid=29448 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29454/stat : 29454 (java) S 29448 29448 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106131484 14314172416 14449 18446744073709551615 4194304 4196468 140737016212512 139645160660112 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29455] ppid=29448 vsize=13978684 memory=93309837 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29455/stat : 29455 (java) S 29448 29448 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106131484 14314172416 14449 18446744073709551615 4194304 4196468 140737016212512 139645159607312 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29456] ppid=29448 vsize=13978684 memory=7078090257301877363 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29456/stat : 29456 (java) S 29448 29448 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106131486 14314172416 14449 18446744073709551615 4194304 4196468 140737016212512 139644706855024 139645228341890 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29457] ppid=29448 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29457/stat : 29457 (java) S 29448 29448 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106131486 14314172416 14449 18446744073709551615 4194304 4196468 140737016212512 139644705800992 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29458] ppid=29448 vsize=13978684 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29458/stat : 29458 (java) S 29448 29448 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106131486 14314172416 14449 18446744073709551615 4194304 4196468 140737016212512 139644704748656 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29459] ppid=29448 vsize=13978684 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29459/stat : 29459 (java) S 29448 29448 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106131489 14314172416 14449 18446744073709551615 4194304 4196468 140737016212512 139644703696976 139645228349339 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29460] ppid=29448 vsize=13978684 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/29450/task/29460/stat : 29460 (java) S 29448 29448 13977 0 -1 1077944384 722 0 0 0 9 0 0 0 20 0 15 0 106131489 14314172416 14449 18446744073709551615 4194304 4196468 140737016212512 139644702644848 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29461] ppid=29448 vsize=13978684 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/29450/task/29461/stat : 29461 (java) S 29448 29448 13977 0 -1 1077944384 552 0 0 0 9 0 0 0 20 0 15 0 106131489 14314172416 14449 18446744073709551615 4194304 4196468 140737016212512 139644701592048 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29462] ppid=29448 vsize=13978684 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/29450/task/29462/stat : 29462 (java) S 29448 29448 13977 0 -1 1077944384 1131 0 0 0 23 0 0 0 20 0 15 0 106131489 14314172416 14449 18446744073709551615 4194304 4196468 140737016212512 139644700539760 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29463] ppid=29448 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29463/stat : 29463 (java) S 29448 29448 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106131489 14314172416 14449 18446744073709551615 4194304 4196468 140737016212512 139644699487200 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29464] ppid=29448 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29464/stat : 29464 (java) S 29448 29448 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106131494 14314172416 14449 18446744073709551615 4194304 4196468 140737016212512 139644698433968 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
Current children cumulated CPU time: 0.88 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 59176 KiB
[startup+1.50122 s]
/proc/loadavg: 1.91 1.57 1.56 5/214 29464
/proc/meminfo: memFree=30947312/32770624 swapFree=67108860/67108860
[pid=29448] ppid=29445 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29448/stat : 29448 (xcsp3-exec) S 29445 29448 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 106131464 9740288 345 18446744073709551615 4194304 5098028 140725563102320 140725563100424 140388400566908 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 36229120 140725563109752 140725563109957 140725563109957 140725563113451 0
/proc/29448/statm: 2378 345 289 221 0 87 0
[pid=29450] ppid=29448 vsize=13980732 memory=121876 CPUtime=3.32 cores=1,3,5,7
/proc/29450/stat : 29450 (java) S 29448 29448 13977 0 -1 1077944320 41111 0 0 0 324 8 0 0 20 0 15 0 106131473 14316269568 30469 18446744073709551615 4194304 4196468 140737016212512 140737016195056 139645228330743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
/proc/29450/statm: 3495183 30469 3195 1 0 3483476 0
[pid=29450/tid=29451] ppid=29448 vsize=13980732 memory=0 CPUtime=1.23 cores=1,3,5,7
/proc/29450/task/29451/stat : 29451 (java) R 29448 29448 13977 0 -1 4202560 9758 0 0 0 120 3 0 0 20 0 15 0 106131473 14316269568 30469 18446744073709551615 4194304 4196468 140737016212512 139645232566392 139644842734007 0 4 1 16800974 0 0 0 -1 7 0 0 14 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29452] ppid=29448 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29452/stat : 29452 (java) S 29448 29448 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106131484 14316269568 30469 18446744073709551615 4194304 4196468 140737016212512 139645162765200 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29453] ppid=29448 vsize=13980732 memory=73084 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29453/stat : 29453 (java) S 29448 29448 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106131484 14316269568 30469 18446744073709551615 4194304 4196468 140737016212512 139645161712400 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29454] ppid=29448 vsize=13980732 memory=126546916438807 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29454/stat : 29454 (java) S 29448 29448 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106131484 14316269568 30469 18446744073709551615 4194304 4196468 140737016212512 139645160660112 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29455] ppid=29448 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29455/stat : 29455 (java) S 29448 29448 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106131484 14316269568 30469 18446744073709551615 4194304 4196468 140737016212512 139645159607312 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29456] ppid=29448 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29456/stat : 29456 (java) S 29448 29448 13977 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 106131486 14316269568 30469 18446744073709551615 4194304 4196468 140737016212512 139644706855024 139645228341890 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29457] ppid=29448 vsize=13980732 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29457/stat : 29457 (java) S 29448 29448 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106131486 14316269568 30469 18446744073709551615 4194304 4196468 140737016212512 139644705800992 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29458] ppid=29448 vsize=13980732 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29458/stat : 29458 (java) S 29448 29448 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106131486 14316269568 30469 18446744073709551615 4194304 4196468 140737016212512 139644704748656 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29459] ppid=29448 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29459/stat : 29459 (java) S 29448 29448 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106131489 14316269568 30469 18446744073709551615 4194304 4196468 140737016212512 139644703696976 139645228349339 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29460] ppid=29448 vsize=13980732 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/29450/task/29460/stat : 29460 (java) R 29448 29448 13977 0 -1 4202560 16539 0 0 0 75 2 0 0 20 0 15 0 106131489 14316269568 30469 18446744073709551615 4194304 4196468 140737016212512 139644702625816 139645212236748 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29461] ppid=29448 vsize=13980732 memory=4120 CPUtime=0.77 cores=1,3,5,7
/proc/29450/task/29461/stat : 29461 (java) R 29448 29448 13977 0 -1 4202560 9622 0 0 0 76 1 0 0 20 0 15 0 106131489 14316269568 30469 18446744073709551615 4194304 4196468 140737016212512 139644701589248 139645209874842 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29462] ppid=29448 vsize=13980732 memory=57700 CPUtime=0.51 cores=1,3,5,7
################
# More data... #
################
/proc/29450/task/29458/stat : 29458 (java) S 29448 29448 13977 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 106131486 14321524736 94516 18446744073709551615 4194304 4196468 140737016212512 139644704748672 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29459] ppid=29448 vsize=13985864 memory=378064 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29459/stat : 29459 (java) S 29448 29448 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106131489 14321524736 94516 18446744073709551615 4194304 4196468 140737016212512 139644703696976 139645228349339 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29460] ppid=29448 vsize=13985864 memory=1380 CPUtime=12.99 cores=1,3,5,7
/proc/29450/task/29460/stat : 29460 (java) S 29448 29448 13977 0 -1 1077944384 60326 0 0 0 1291 8 0 0 20 0 15 0 106131489 14321524736 94516 18446744073709551615 4194304 4196468 140737016212512 139644702644848 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29461] ppid=29448 vsize=13985864 memory=3236 CPUtime=12.42 cores=1,3,5,7
/proc/29450/task/29461/stat : 29461 (java) S 29448 29448 13977 0 -1 1077944384 52377 0 0 0 1237 5 0 0 20 0 15 0 106131489 14321524736 94516 18446744073709551615 4194304 4196468 140737016212512 139644701592048 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29462] ppid=29448 vsize=13985864 memory=1376 CPUtime=1.09 cores=1,3,5,7
/proc/29450/task/29462/stat : 29462 (java) S 29448 29448 13977 0 -1 1077944384 14456 0 0 0 106 3 0 0 20 0 15 0 106131489 14321524736 94516 18446744073709551615 4194304 4196468 140737016212512 139644700539760 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29463] ppid=29448 vsize=13985864 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29463/stat : 29463 (java) S 29448 29448 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106131489 14321524736 94516 18446744073709551615 4194304 4196468 140737016212512 139644699487200 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29464] ppid=29448 vsize=13985864 memory=57788 CPUtime=0.56 cores=1,3,5,7
/proc/29450/task/29464/stat : 29464 (java) S 29448 29448 13977 0 -1 1077944384 916 0 0 0 21 35 0 0 20 0 15 0 106131494 14321524736 94516 18446744073709551615 4194304 4196468 140737016212512 139644698433968 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
Current children cumulated CPU time: 2368.28 s
Current children cumulated vsize: 13995376 KiB
Current children cumulated memory: 379444 KiB
[startup+2382.3 s]
/proc/loadavg: 1.59 1.59 1.59 3/214 29757
/proc/meminfo: memFree=30638892/32770624 swapFree=67108860/67108860
[pid=29448] ppid=29445 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29448/stat : 29448 (xcsp3-exec) S 29445 29448 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 106131464 9740288 345 18446744073709551615 4194304 5098028 140725563102320 140725563100424 140388400566908 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 36229120 140725563109752 140725563109957 140725563109957 140725563113451 0
/proc/29448/statm: 2378 345 289 221 0 87 0
[pid=29450] ppid=29448 vsize=13985864 memory=373960 CPUtime=2428.65 cores=1,3,5,7
/proc/29450/stat : 29450 (java) S 29448 29448 13977 0 -1 1077944320 230747 0 0 0 242738 127 0 0 20 0 15 0 106131473 14321524736 93490 18446744073709551615 4194304 4196468 140737016212512 140737016195056 139645228330743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
/proc/29450/statm: 3496466 93490 3264 1 0 3484759 0
[pid=29450/tid=29451] ppid=29448 vsize=13985864 memory=374988 CPUtime=2374.21 cores=1,3,5,7
/proc/29450/task/29451/stat : 29451 (java) R 29448 29448 13977 0 -1 4202560 38892 0 0 0 237412 9 0 0 20 0 15 0 106131473 14321524736 93490 18446744073709551615 4194304 4196468 140737016212512 139645232570240 139644845707696 0 4 1 16800974 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29452] ppid=29448 vsize=13985864 memory=373960 CPUtime=6.62 cores=1,3,5,7
/proc/29450/task/29452/stat : 29452 (java) S 29448 29448 13977 0 -1 1077944384 9978 0 0 0 646 16 0 0 20 0 15 0 106131484 14321524736 93490 18446744073709551615 4194304 4196468 140737016212512 139645162765200 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29453] ppid=29448 vsize=13985864 memory=373960 CPUtime=6.62 cores=1,3,5,7
/proc/29450/task/29453/stat : 29453 (java) S 29448 29448 13977 0 -1 1077944384 9740 0 0 0 645 17 0 0 20 0 15 0 106131484 14321524736 93490 18446744073709551615 4194304 4196468 140737016212512 139645161712400 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29454] ppid=29448 vsize=13985864 memory=280464452298960 CPUtime=6.61 cores=1,3,5,7
/proc/29450/task/29454/stat : 29454 (java) S 29448 29448 13977 0 -1 1077944384 11223 0 0 0 645 16 0 0 20 0 15 0 106131484 14321524736 93490 18446744073709551615 4194304 4196468 140737016212512 139645160660112 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29455] ppid=29448 vsize=13985864 memory=1380 CPUtime=6.62 cores=1,3,5,7
/proc/29450/task/29455/stat : 29455 (java) S 29448 29448 13977 0 -1 1077944384 10963 0 0 0 646 16 0 0 20 0 15 0 106131484 14321524736 93490 18446744073709551615 4194304 4196468 140737016212512 139645159607312 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29456] ppid=29448 vsize=13985864 memory=4120 CPUtime=0.81 cores=1,3,5,7
/proc/29450/task/29456/stat : 29456 (java) S 29448 29448 13977 0 -1 1077944384 20482 0 0 0 72 9 0 0 20 0 15 0 106131486 14321524736 93490 18446744073709551615 4194304 4196468 140737016212512 139644706855024 139645228341890 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29457] ppid=29448 vsize=13985864 memory=57812 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29457/stat : 29457 (java) S 29448 29448 13977 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 106131486 14321524736 93490 18446744073709551615 4194304 4196468 140737016212512 139644705801056 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29458] ppid=29448 vsize=13985864 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29458/stat : 29458 (java) S 29448 29448 13977 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 106131486 14321524736 93490 18446744073709551615 4194304 4196468 140737016212512 139644704748672 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29459] ppid=29448 vsize=13985864 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29459/stat : 29459 (java) S 29448 29448 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106131489 14321524736 93490 18446744073709551615 4194304 4196468 140737016212512 139644703696976 139645228349339 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29460] ppid=29448 vsize=13985864 memory=4616 CPUtime=12.99 cores=1,3,5,7
/proc/29450/task/29460/stat : 29460 (java) S 29448 29448 13977 0 -1 1077944384 60328 0 0 0 1291 8 0 0 20 0 15 0 106131489 14321524736 93490 18446744073709551615 4194304 4196468 140737016212512 139644702644848 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29461] ppid=29448 vsize=13985864 memory=373960 CPUtime=12.42 cores=1,3,5,7
/proc/29450/task/29461/stat : 29461 (java) S 29448 29448 13977 0 -1 1077944384 52379 0 0 0 1237 5 0 0 20 0 15 0 106131489 14321524736 93490 18446744073709551615 4194304 4196468 140737016212512 139644701592048 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29462] ppid=29448 vsize=13985864 memory=3228 CPUtime=1.09 cores=1,3,5,7
/proc/29450/task/29462/stat : 29462 (java) S 29448 29448 13977 0 -1 1077944384 14458 0 0 0 106 3 0 0 20 0 15 0 106131489 14321524736 93490 18446744073709551615 4194304 4196468 140737016212512 139644700539760 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29463] ppid=29448 vsize=13985864 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29463/stat : 29463 (java) S 29448 29448 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106131489 14321524736 93490 18446744073709551615 4194304 4196468 140737016212512 139644699487200 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29464] ppid=29448 vsize=13985864 memory=1380 CPUtime=0.57 cores=1,3,5,7
/proc/29450/task/29464/stat : 29464 (java) S 29448 29448 13977 0 -1 1077944384 945 0 0 0 22 35 0 0 20 0 15 0 106131494 14321524736 93490 18446744073709551615 4194304 4196468 140737016212512 139644698433968 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
Current children cumulated CPU time: 2428.65 s
Current children cumulated vsize: 13995376 KiB
Current children cumulated memory: 375340 KiB
[startup+2442.3 s]
/proc/loadavg: 1.49 1.57 1.59 3/214 29759
/proc/meminfo: memFree=30648220/32770624 swapFree=67108860/67108860
[pid=29448] ppid=29445 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29448/stat : 29448 (xcsp3-exec) S 29445 29448 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 106131464 9740288 345 18446744073709551615 4194304 5098028 140725563102320 140725563100424 140388400566908 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 36229120 140725563109752 140725563109957 140725563109957 140725563113451 0
/proc/29448/statm: 2378 345 289 221 0 87 0
[pid=29450] ppid=29448 vsize=13985864 memory=366776 CPUtime=2490.06 cores=1,3,5,7
/proc/29450/stat : 29450 (java) S 29448 29448 13977 0 -1 1077944320 234283 0 0 0 248877 129 0 0 20 0 15 0 106131473 14321524736 91694 18446744073709551615 4194304 4196468 140737016212512 140737016195056 139645228330743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
/proc/29450/statm: 3496466 91694 3264 1 0 3484759 0
[pid=29450/tid=29451] ppid=29448 vsize=13985864 memory=1380 CPUtime=2433.67 cores=1,3,5,7
/proc/29450/task/29451/stat : 29451 (java) R 29448 29448 13977 0 -1 4202560 39513 0 0 0 243357 10 0 0 20 0 15 0 106131473 14321524736 91694 18446744073709551615 4194304 4196468 140737016212512 139645232570448 139644845707376 0 4 1 16800974 0 0 0 -1 1 0 0 14 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29452] ppid=29448 vsize=13985864 memory=366776 CPUtime=7.09 cores=1,3,5,7
/proc/29450/task/29452/stat : 29452 (java) S 29448 29448 13977 0 -1 1077944384 10598 0 0 0 692 17 0 0 20 0 15 0 106131484 14321524736 91694 18446744073709551615 4194304 4196468 140737016212512 139645162765200 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29453] ppid=29448 vsize=13985864 memory=366776 CPUtime=7.09 cores=1,3,5,7
/proc/29450/task/29453/stat : 29453 (java) S 29448 29448 13977 0 -1 1077944384 10180 0 0 0 692 17 0 0 20 0 15 0 106131484 14321524736 91694 18446744073709551615 4194304 4196468 140737016212512 139645161712400 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29454] ppid=29448 vsize=13985864 memory=366776 CPUtime=7.08 cores=1,3,5,7
/proc/29450/task/29454/stat : 29454 (java) S 29448 29448 13977 0 -1 1077944384 11650 0 0 0 692 16 0 0 20 0 15 0 106131484 14321524736 91694 18446744073709551615 4194304 4196468 140737016212512 139645160660112 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29455] ppid=29448 vsize=13985864 memory=1380 CPUtime=7.1 cores=1,3,5,7
/proc/29450/task/29455/stat : 29455 (java) S 29448 29448 13977 0 -1 1077944384 11222 0 0 0 693 17 0 0 20 0 15 0 106131484 14321524736 91694 18446744073709551615 4194304 4196468 140737016212512 139645159607312 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29456] ppid=29448 vsize=13985864 memory=366776 CPUtime=0.86 cores=1,3,5,7
/proc/29450/task/29456/stat : 29456 (java) S 29448 29448 13977 0 -1 1077944384 21649 0 0 0 77 9 0 0 20 0 15 0 106131486 14321524736 91694 18446744073709551615 4194304 4196468 140737016212512 139644706855024 139645228341890 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29457] ppid=29448 vsize=13985864 memory=366776 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29457/stat : 29457 (java) S 29448 29448 13977 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 106131486 14321524736 91694 18446744073709551615 4194304 4196468 140737016212512 139644705801056 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29458] ppid=29448 vsize=13985864 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29458/stat : 29458 (java) S 29448 29448 13977 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 106131486 14321524736 91694 18446744073709551615 4194304 4196468 140737016212512 139644704748672 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29459] ppid=29448 vsize=13985864 memory=366776 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29459/stat : 29459 (java) S 29448 29448 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106131489 14321524736 91694 18446744073709551615 4194304 4196468 140737016212512 139644703696976 139645228349339 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29460] ppid=29448 vsize=13985864 memory=1380 CPUtime=12.99 cores=1,3,5,7
/proc/29450/task/29460/stat : 29460 (java) S 29448 29448 13977 0 -1 1077944384 60328 0 0 0 1291 8 0 0 20 0 15 0 106131489 14321524736 91694 18446744073709551615 4194304 4196468 140737016212512 139644702644848 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29461] ppid=29448 vsize=13985864 memory=366776 CPUtime=12.42 cores=1,3,5,7
/proc/29450/task/29461/stat : 29461 (java) S 29448 29448 13977 0 -1 1077944384 52379 0 0 0 1237 5 0 0 20 0 15 0 106131489 14321524736 91694 18446744073709551615 4194304 4196468 140737016212512 139644701592048 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29462] ppid=29448 vsize=13985864 memory=1380 CPUtime=1.09 cores=1,3,5,7
/proc/29450/task/29462/stat : 29462 (java) S 29448 29448 13977 0 -1 1077944384 14458 0 0 0 106 3 0 0 20 0 15 0 106131489 14321524736 91694 18446744073709551615 4194304 4196468 140737016212512 139644700539760 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29463] ppid=29448 vsize=13985864 memory=366776 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29463/stat : 29463 (java) S 29448 29448 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106131489 14321524736 91694 18446744073709551615 4194304 4196468 140737016212512 139644699487200 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29464] ppid=29448 vsize=13985864 memory=1380 CPUtime=0.6 cores=1,3,5,7
/proc/29450/task/29464/stat : 29464 (java) S 29448 29448 13977 0 -1 1077944384 947 0 0 0 23 37 0 0 20 0 15 0 106131494 14321524736 91694 18446744073709551615 4194304 4196468 140737016212512 139644698433968 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
Current children cumulated CPU time: 2490.06 s
Current children cumulated vsize: 13995376 KiB
Current children cumulated memory: 368156 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2471.6 s]
/proc/loadavg: 1.54 1.58 1.59 3/211 29760
/proc/meminfo: memFree=30653004/32770624 swapFree=67108860/67108860
[pid=29448] ppid=29445 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29448/stat : 29448 (xcsp3-exec) S 29445 29448 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 106131464 9740288 345 18446744073709551615 4194304 5098028 140725563102320 140725563100424 140388400566908 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 36229120 140725563109752 140725563109957 140725563109957 140725563113451 0
/proc/29448/statm: 2378 345 289 221 0 87 0
[pid=29450] ppid=29448 vsize=13985864 memory=368452 CPUtime=2520.06 cores=1,3,5,7
/proc/29450/stat : 29450 (java) S 29448 29448 13977 0 -1 1077944320 236367 0 0 0 251875 131 0 0 20 0 15 0 106131473 14321524736 92113 18446744073709551615 4194304 4196468 140737016212512 140737016195056 139645228330743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
/proc/29450/statm: 3496466 92113 3264 1 0 3484759 0
[pid=29450/tid=29451] ppid=29448 vsize=13985864 memory=2384 CPUtime=2462.68 cores=1,3,5,7
/proc/29450/task/29451/stat : 29451 (java) R 29448 29448 13977 0 -1 4202560 39690 0 0 0 246258 10 0 0 20 0 15 0 106131473 14321524736 92113 18446744073709551615 4194304 4196468 140737016212512 139645232570240 139644847740803 0 4 1 16800974 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29452] ppid=29448 vsize=13985864 memory=1296 CPUtime=7.32 cores=1,3,5,7
/proc/29450/task/29452/stat : 29452 (java) S 29448 29448 13977 0 -1 1077944384 10856 0 0 0 715 17 0 0 20 0 15 0 106131484 14321524736 92113 18446744073709551615 4194304 4196468 140737016212512 139645162765200 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29453] ppid=29448 vsize=13985864 memory=1728 CPUtime=7.33 cores=1,3,5,7
/proc/29450/task/29453/stat : 29453 (java) S 29448 29448 13977 0 -1 1077944384 10323 0 0 0 716 17 0 0 20 0 15 0 106131484 14321524736 92113 18446744073709551615 4194304 4196468 140737016212512 139645161712400 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29454] ppid=29448 vsize=13985864 memory=5788 CPUtime=7.32 cores=1,3,5,7
/proc/29450/task/29454/stat : 29454 (java) S 29448 29448 13977 0 -1 1077944384 11848 0 0 0 716 16 0 0 20 0 15 0 106131484 14321524736 92113 18446744073709551615 4194304 4196468 140737016212512 139645160660112 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29455] ppid=29448 vsize=13985864 memory=9020 CPUtime=7.34 cores=1,3,5,7
/proc/29450/task/29455/stat : 29455 (java) S 29448 29448 13977 0 -1 1077944384 11367 0 0 0 717 17 0 0 20 0 15 0 106131484 14321524736 92113 18446744073709551615 4194304 4196468 140737016212512 139645159607312 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29456] ppid=29448 vsize=13985864 memory=4616 CPUtime=0.87 cores=1,3,5,7
/proc/29450/task/29456/stat : 29456 (java) S 29448 29448 13977 0 -1 1077944384 22787 0 0 0 78 9 0 0 20 0 15 0 106131486 14321524736 92113 18446744073709551615 4194304 4196468 140737016212512 139644706855024 139645228341890 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29457] ppid=29448 vsize=13985864 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29457/stat : 29457 (java) S 29448 29448 13977 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 106131486 14321524736 92113 18446744073709551615 4194304 4196468 140737016212512 139644705801056 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29458] ppid=29448 vsize=13985864 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29458/stat : 29458 (java) S 29448 29448 13977 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 106131486 14321524736 92113 18446744073709551615 4194304 4196468 140737016212512 139644704748672 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29459] ppid=29448 vsize=13985864 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29459/stat : 29459 (java) S 29448 29448 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106131489 14321524736 92113 18446744073709551615 4194304 4196468 140737016212512 139644703696976 139645228349339 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29460] ppid=29448 vsize=13985864 memory=16240 CPUtime=12.99 cores=1,3,5,7
/proc/29450/task/29460/stat : 29460 (java) S 29448 29448 13977 0 -1 1077944384 60330 0 0 0 1291 8 0 0 20 0 15 0 106131489 14321524736 92113 18446744073709551615 4194304 4196468 140737016212512 139644702644848 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29461] ppid=29448 vsize=13985864 memory=32708 CPUtime=12.42 cores=1,3,5,7
/proc/29450/task/29461/stat : 29461 (java) S 29448 29448 13977 0 -1 1077944384 52381 0 0 0 1237 5 0 0 20 0 15 0 106131489 14321524736 92113 18446744073709551615 4194304 4196468 140737016212512 139644701592048 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29462] ppid=29448 vsize=13985864 memory=4048 CPUtime=1.09 cores=1,3,5,7
/proc/29450/task/29462/stat : 29462 (java) S 29448 29448 13977 0 -1 1077944384 14460 0 0 0 106 3 0 0 20 0 15 0 106131489 14321524736 92113 18446744073709551615 4194304 4196468 140737016212512 139644700539760 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29463] ppid=29448 vsize=13985864 memory=644 CPUtime=0 cores=1,3,5,7
/proc/29450/task/29463/stat : 29463 (java) S 29448 29448 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106131489 14321524736 92113 18446744073709551615 4194304 4196468 140737016212512 139644699487200 139645228340949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
[pid=29450/tid=29464] ppid=29448 vsize=13985864 memory=1788 CPUtime=0.6 cores=1,3,5,7
/proc/29450/task/29464/stat : 29464 (java) S 29448 29448 13977 0 -1 1077944384 966 0 0 0 23 37 0 0 20 0 15 0 106131494 14321524736 92113 18446744073709551615 4194304 4196468 140737016212512 139644698433968 139645228341890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11653120 140737016218033 140737016218209 140737016218209 140737016221647 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13995376 KiB
Current children cumulated memory: 369832 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2471.61 s]
# the end of solver process 29448 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000897 s, system=0.000897 s
[startup+2471.61 s]
# the end of solver process 29450 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.77 s, system=1.31539 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2471.61
CPU time (s): 2520.09
CPU user time (s): 2518.77
CPU system time (s): 1.31539
CPU usage (%): 101.961
Max. virtual memory (cumulated for all children) (KiB): 13995376
Max. memory (cumulated for all children) (KiB): 575520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.77
system time used= 1.31539
maximum resident set size= 576868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237029
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74096
involuntary context switches= 2472
# summary of solver processes directly reported to runsolver:
# pid: 29448,29450
# total CPU time (s): 2520.09
# total CPU user time (s): 2518.77
# total CPU system time (s): 1.31539
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3203 second user time and 19.036 second system time
The end