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-4254330-1501612582/watcher-4254330-1501612582 -o /tmp/evaluation-result-4254330-1501612582/solver-4254330-1501612582 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501610528-5289 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1193976519 HOME/instance-4254330-1501612582.xml
pid=6093
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.96 1.88 1.43 3/181 6096
/proc/meminfo: memFree=31988348/32770624 swapFree=0/171008
[pid=6096] ppid=6093 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6096/stat : 6096 (runsolver) D 6093 6096 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9073557 24240128 107 18446744073709551615 4194304 4338465 140724092640448 140724092638088 139810755617495 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 21184512 140724092649565 140724092650054 140724092650054 140724092653514 0
/proc/6096/statm: 5918 107 53 36 0 2156 0
[startup+0.100128 s]
/proc/loadavg: 1.96 1.88 1.43 3/181 6096
/proc/meminfo: memFree=31988348/32770624 swapFree=0/171008
[pid=6096] ppid=6093 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6096/stat : 6096 (runsolver) D 6093 6096 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9073557 24240128 107 18446744073709551615 4194304 4338465 140724092640448 140724092638088 139810755617495 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 21184512 140724092649565 140724092650054 140724092650054 140724092653514 0
/proc/6096/statm: 5918 107 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.20032 s]
/proc/loadavg: 1.96 1.88 1.43 3/181 6096
/proc/meminfo: memFree=31988348/32770624 swapFree=0/171008
[pid=6096] ppid=6093 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6096/stat : 6096 (xcsp3-exec) S 6093 6096 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9073557 9740288 345 18446744073709551615 4194304 5098028 140736738075584 140736738073688 139901514519164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 25899008 140736738079131 140736738079335 140736738079335 140736738082795 0
/proc/6096/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300322 s]
/proc/loadavg: 1.96 1.88 1.43 3/181 6096
/proc/meminfo: memFree=31988348/32770624 swapFree=0/171008
[pid=6096] ppid=6093 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6096/stat : 6096 (xcsp3-exec) S 6093 6096 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9073557 9740288 345 18446744073709551615 4194304 5098028 140736738075584 140736738073688 139901514519164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 25899008 140736738079131 140736738079335 140736738079335 140736738082795 0
/proc/6096/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.704523 s]
/proc/loadavg: 1.96 1.88 1.43 3/181 6096
/proc/meminfo: memFree=31988348/32770624 swapFree=0/171008
[pid=6096] ppid=6093 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6096/stat : 6096 (xcsp3-exec) S 6093 6096 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9073557 9740288 345 18446744073709551615 4194304 5098028 140736738075584 140736738073688 139901514519164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 25899008 140736738079131 140736738079335 140736738079335 140736738082795 0
/proc/6096/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50069 s]
/proc/loadavg: 1.96 1.88 1.43 4/197 6143
/proc/meminfo: memFree=31915336/32770624 swapFree=0/180440
[pid=6096] ppid=6093 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6096/stat : 6096 (xcsp3-exec) S 6093 6096 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9073557 9740288 345 18446744073709551615 4194304 5098028 140736738075584 140736738073688 139901514519164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 25899008 140736738079131 140736738079335 140736738079335 140736738082795 0
/proc/6096/statm: 2378 345 289 221 0 87 0
[pid=6104] ppid=6096 vsize=13980732 CPUtime=3.32 cores=1,3,5,7
/proc/6104/stat : 6104 (java) S 6096 6096 5228 0 -1 1077944320 20384 0 0 0 326 6 0 0 20 0 15 0 9073567 14316269568 21574 18446744073709551615 4194304 4196468 140736881982432 140736881964976 140189849431799 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
/proc/6104/statm: 3495183 21574 3178 1 0 3483484 0
[pid=6104/tid=6108] ppid=6096 vsize=13980732 CPUtime=1.27 cores=1,3,5,7
/proc/6104/task/6108/stat : 6108 (java) R 6096 6096 5228 0 -1 4202560 8944 0 0 0 123 4 0 0 20 0 15 0 9073567 14316269568 21574 18446744073709551615 4194304 4196468 140736881982432 140189853668656 140189494841712 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6110] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6110/stat : 6110 (java) S 6096 6096 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9073568 14316269568 21574 18446744073709551615 4194304 4196468 140736881982432 140189814713488 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6111] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6111/stat : 6111 (java) S 6096 6096 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9073568 14316269568 21574 18446744073709551615 4194304 4196468 140736881982432 140189448277008 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6112] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6112/stat : 6112 (java) S 6096 6096 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9073568 14316269568 21574 18446744073709551615 4194304 4196468 140736881982432 140189447224208 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6113] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6113/stat : 6113 (java) S 6096 6096 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9073568 14316269568 21574 18446744073709551615 4194304 4196468 140736881982432 140189446171408 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6114] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6114/stat : 6114 (java) S 6096 6096 5228 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 9073569 14316269568 21574 18446744073709551615 4194304 4196468 140736881982432 140189328005488 140189849442946 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6115] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6115/stat : 6115 (java) S 6096 6096 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9073570 14316269568 21574 18446744073709551615 4194304 4196468 140736881982432 140189326951456 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6116] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6116/stat : 6116 (java) S 6096 6096 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9073570 14316269568 21574 18446744073709551615 4194304 4196468 140736881982432 140189325898608 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6117] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6117/stat : 6117 (java) S 6096 6096 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9073572 14316269568 21574 18446744073709551615 4194304 4196468 140736881982432 140189324846928 140189849450395 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6118] ppid=6096 vsize=13980732 CPUtime=0.81 cores=1,3,5,7
/proc/6104/task/6118/stat : 6118 (java) R 6096 6096 5228 0 -1 4202560 4264 0 0 0 81 0 0 0 20 0 15 0 9073572 14316269568 21574 18446744073709551615 4194304 4196468 140736881982432 140189323783904 140189829088209 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6119] ppid=6096 vsize=13980732 CPUtime=0.79 cores=1,3,5,7
/proc/6104/task/6119/stat : 6119 (java) R 6096 6096 5228 0 -1 4202560 3472 0 0 0 79 0 0 0 20 0 15 0 9073572 14316269568 21574 18446744073709551615 4194304 4196468 140736881982432 140189322729360 140189832923851 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6120] ppid=6096 vsize=13980732 CPUtime=0.41 cores=1,3,5,7
/proc/6104/task/6120/stat : 6120 (java) S 6096 6096 5228 0 -1 1077944384 2360 0 0 0 41 0 0 0 20 0 15 0 9073572 14316269568 21574 18446744073709551615 4194304 4196468 140736881982432 140189321689712 140189849442946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6121] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6121/stat : 6121 (java) S 6096 6096 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9073573 14316269568 21574 18446744073709551615 4194304 4196468 140736881982432 140189320637152 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6131] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6131/stat : 6131 (java) S 6096 6096 5228 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 9073583 14316269568 21574 18446744073709551615 4194304 4196468 140736881982432 140189319584432 140189849442946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
Current children cumulated CPU time (s) 3.32
Current children cumulated vsize (KiB) 13990244
[startup+3.10057 s]
/proc/loadavg: 1.96 1.88 1.43 4/215 6187
/proc/meminfo: memFree=31853788/32770624 swapFree=0/180484
[pid=6096] ppid=6093 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6096/stat : 6096 (xcsp3-exec) S 6093 6096 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9073557 9740288 345 18446744073709551615 4194304 5098028 140736738075584 140736738073688 139901514519164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 25899008 140736738079131 140736738079335 140736738079335 140736738082795 0
/proc/6096/statm: 2378 345 289 221 0 87 0
[pid=6104] ppid=6096 vsize=13980732 CPUtime=5.13 cores=1,3,5,7
/proc/6104/stat : 6104 (java) S 6096 6096 5228 0 -1 1077944320 21288 0 0 0 506 7 0 0 20 0 15 0 9073567 14316269568 29844 18446744073709551615 4194304 4196468 140736881982432 140736881964976 140189849431799 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
/proc/6104/statm: 3495183 29844 3180 1 0 3483484 0
[pid=6104/tid=6108] ppid=6096 vsize=13980732 CPUtime=2.86 cores=1,3,5,7
/proc/6104/task/6108/stat : 6108 (java) R 6096 6096 5228 0 -1 4202560 9174 0 0 0 282 4 0 0 20 0 15 0 9073567 14316269568 29844 18446744073709551615 4194304 4196468 140736881982432 140189853671552 140189494339526 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6110] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6110/stat : 6110 (java) S 6096 6096 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9073568 14316269568 29844 18446744073709551615 4194304 4196468 140736881982432 140189814713488 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6111] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6111/stat : 6111 (java) S 6096 6096 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9073568 14316269568 29844 18446744073709551615 4194304 4196468 140736881982432 140189448277008 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6112] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6112/stat : 6112 (java) S 6096 6096 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9073568 14316269568 29844 18446744073709551615 4194304 4196468 140736881982432 140189447224208 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6113] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6113/stat : 6113 (java) S 6096 6096 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9073568 14316269568 29844 18446744073709551615 4194304 4196468 140736881982432 140189446171408 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6114] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6114/stat : 6114 (java) S 6096 6096 5228 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 9073569 14316269568 29844 18446744073709551615 4194304 4196468 140736881982432 140189328005488 140189849442946 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6115] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6115/stat : 6115 (java) S 6096 6096 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9073570 14316269568 29844 18446744073709551615 4194304 4196468 140736881982432 140189326951456 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6116] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6116/stat : 6116 (java) S 6096 6096 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9073570 14316269568 29844 18446744073709551615 4194304 4196468 140736881982432 140189325898608 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6117] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6117/stat : 6117 (java) S 6096 6096 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9073572 14316269568 29844 18446744073709551615 4194304 4196468 140736881982432 140189324846928 140189849450395 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6118] ppid=6096 vsize=13980732 CPUtime=0.88 cores=1,3,5,7
/proc/6104/task/6118/stat : 6118 (java) S 6096 6096 5228 0 -1 1077944384 4315 0 0 0 88 0 0 0 20 0 15 0 9073572 14316269568 29844 18446744073709551615 4194304 4196468 140736881982432 140189323795312 140189849442946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6119] ppid=6096 vsize=13980732 CPUtime=0.9 cores=1,3,5,7
/proc/6104/task/6119/stat : 6119 (java) S 6096 6096 5228 0 -1 1077944384 3573 0 0 0 90 0 0 0 20 0 15 0 9073572 14316269568 29844 18446744073709551615 4194304 4196468 140736881982432 140189322742512 140189849442946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6120] ppid=6096 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/6104/task/6120/stat : 6120 (java) S 6096 6096 5228 0 -1 1077944384 2862 0 0 0 43 0 0 0 20 0 15 0 9073572 14316269568 29844 18446744073709551615 4194304 4196468 140736881982432 140189321689712 140189849442946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6121] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6121/stat : 6121 (java) S 6096 6096 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9073573 14316269568 29844 18446744073709551615 4194304 4196468 140736881982432 140189320637152 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6131] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6131/stat : 6131 (java) S 6096 6096 5228 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 9073583 14316269568 29844 18446744073709551615 4194304 4196468 140736881982432 140189319584432 140189849442946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
Current children cumulated CPU time (s) 5.13
Current children cumulated vsize (KiB) 13990244
[startup+6.30058 s]
/proc/loadavg: 2.20 1.93 1.45 3/215 6187
/proc/meminfo: memFree=31669264/32770624 swapFree=0/180496
[pid=6096] ppid=6093 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6096/stat : 6096 (xcsp3-exec) S 6093 6096 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9073557 9740288 345 18446744073709551615 4194304 5098028 140736738075584 140736738073688 139901514519164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 25899008 140736738079131 140736738079335 140736738079335 140736738082795 0
/proc/6096/statm: 2378 345 289 221 0 87 0
[pid=6104] ppid=6096 vsize=13980732 CPUtime=8.37 cores=1,3,5,7
/proc/6104/stat : 6104 (java) S 6096 6096 5228 0 -1 1077944320 23415 0 0 0 830 7 0 0 20 0 15 0 9073567 14316269568 45755 18446744073709551615 4194304 4196468 140736881982432 140736881964976 140189849431799 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
/proc/6104/statm: 3495183 45755 3184 1 0 3483484 0
[pid=6104/tid=6108] ppid=6096 vsize=13980732 CPUtime=6.07 cores=1,3,5,7
/proc/6104/task/6108/stat : 6108 (java) R 6096 6096 5228 0 -1 4202560 9778 0 0 0 602 5 0 0 20 0 15 0 9073567 14316269568 45755 18446744073709551615 4194304 4196468 140736881982432 140189853668960 140189494085981 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6110] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6110/stat : 6110 (java) S 6096 6096 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9073568 14316269568 45755 18446744073709551615 4194304 4196468 140736881982432 140189814713488 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6111] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6111/stat : 6111 (java) S 6096 6096 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9073568 14316269568 45755 18446744073709551615 4194304 4196468 140736881982432 140189448277008 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6112] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6112/stat : 6112 (java) S 6096 6096 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9073568 14316269568 45755 18446744073709551615 4194304 4196468 140736881982432 140189447224208 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6113] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6113/stat : 6113 (java) S 6096 6096 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9073568 14316269568 45755 18446744073709551615 4194304 4196468 140736881982432 140189446171408 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6114] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6114/stat : 6114 (java) S 6096 6096 5228 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 15 0 9073569 14316269568 45755 18446744073709551615 4194304 4196468 140736881982432 140189328005488 140189849442946 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6115] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6115/stat : 6115 (java) S 6096 6096 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9073570 14316269568 45755 18446744073709551615 4194304 4196468 140736881982432 140189326951456 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6116] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6116/stat : 6116 (java) S 6096 6096 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9073570 14316269568 45755 18446744073709551615 4194304 4196468 140736881982432 140189325898608 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6117] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6117/stat : 6117 (java) S 6096 6096 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9073572 14316269568 45755 18446744073709551615 4194304 4196468 140736881982432 140189324846928 140189849450395 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6118] ppid=6096 vsize=13980732 CPUtime=0.9 cores=1,3,5,7
/proc/6104/task/6118/stat : 6118 (java) S 6096 6096 5228 0 -1 1077944384 4343 0 0 0 90 0 0 0 20 0 15 0 9073572 14316269568 45755 18446744073709551615 4194304 4196468 140736881982432 140189323795312 140189849442946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6119] ppid=6096 vsize=13980732 CPUtime=0.92 cores=1,3,5,7
/proc/6104/task/6119/stat : 6119 (java) S 6096 6096 5228 0 -1 1077944384 3906 0 0 0 92 0 0 0 20 0 15 0 9073572 14316269568 45755 18446744073709551615 4194304 4196468 140736881982432 140189322742512 140189849442946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6120] ppid=6096 vsize=13980732 CPUtime=0.44 cores=1,3,5,7
/proc/6104/task/6120/stat : 6120 (java) S 6096 6096 5228 0 -1 1077944384 3358 0 0 0 44 0 0 0 20 0 15 0 9073572 14316269568 45755 18446744073709551615 4194304 4196468 140736881982432 140189321689712 140189849442946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6121] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6121/stat : 6121 (java) S 6096 6096 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9073573 14316269568 45755 18446744073709551615 4194304 4196468 140736881982432 140189320637152 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6131] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6131/stat : 6131 (java) S 6096 6096 5228 0 -1 1077944384 375 0 0 0 0 0 0 0 20 0 15 0 9073583 14316269568 45755 18446744073709551615 4194304 4196468 140736881982432 140189319584432 140189849442946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
Current children cumulated CPU time (s) 8.37
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 2.19 1.93 1.46 3/215 6187
/proc/meminfo: memFree=31610456/32770624 swapFree=0/180500
[pid=6096] ppid=6093 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6096/stat : 6096 (xcsp3-exec) S 6093 6096 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9073557 9740288 345 18446744073709551615 4194304 5098028 140736738075584 140736738073688 139901514519164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 25899008 140736738079131 140736738079335 140736738079335 140736738082795 0
/proc/6096/statm: 2378 345 289 221 0 87 0
[pid=6104] ppid=6096 vsize=13980732 CPUtime=14.89 cores=1,3,5,7
/proc/6104/stat : 6104 (java) S 6096 6096 5228 0 -1 1077944320 27388 0 0 0 1480 9 0 0 20 0 15 0 9073567 14316269568 48383 18446744073709551615 4194304 4196468 140736881982432 140736881964976 140189849431799 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
/proc/6104/statm: 3495183 48383 3204 1 0 3483484 0
[pid=6104/tid=6108] ppid=6096 vsize=13980732 CPUtime=12.46 cores=1,3,5,7
/proc/6104/task/6108/stat : 6108 (java) R 6096 6096 5228 0 -1 4202560 10122 0 0 0 1241 5 0 0 20 0 15 0 9073567 14316269568 48383 18446744073709551615 4194304 4196468 140736881982432 140189853669352 140189494243005 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6110] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6110/stat : 6110 (java) S 6096 6096 5228 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 15 0 9073568 14316269568 48383 18446744073709551615 4194304 4196468 140736881982432 140189814713488 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6111] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6111/stat : 6111 (java) S 6096 6096 5228 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 9073568 14316269568 48383 18446744073709551615 4194304 4196468 140736881982432 140189448277008 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
################
# More data... #
################
/proc/6104/stat : 6104 (java) S 6096 6096 5228 0 -1 1077944320 43837 0 0 0 10498 14 0 0 20 0 15 0 9073567 14316269568 44551 18446744073709551615 4194304 4196468 140736881982432 140736881964976 140189849431799 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
/proc/6104/statm: 3495183 44551 3209 1 0 3483484 0
[pid=6104/tid=6108] ppid=6096 vsize=13980732 CPUtime=101.98 cores=1,3,5,7
/proc/6104/task/6108/stat : 6108 (java) R 6096 6096 5228 0 -1 4202560 13351 0 0 0 10193 5 0 0 20 0 15 0 9073567 14316269568 44551 18446744073709551615 4194304 4196468 140736881982432 140189853671232 140189494378652 0 4 1 16800974 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6110] ppid=6096 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6104/task/6110/stat : 6110 (java) S 6096 6096 5228 0 -1 1077944384 1277 0 0 0 3 0 0 0 20 0 15 0 9073568 14316269568 44551 18446744073709551615 4194304 4196468 140736881982432 140189814713488 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6111] ppid=6096 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6104/task/6111/stat : 6111 (java) S 6096 6096 5228 0 -1 1077944384 615 0 0 0 3 0 0 0 20 0 15 0 9073568 14316269568 44551 18446744073709551615 4194304 4196468 140736881982432 140189448277008 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6112] ppid=6096 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6104/task/6112/stat : 6112 (java) S 6096 6096 5228 0 -1 1077944384 1035 0 0 0 3 0 0 0 20 0 15 0 9073568 14316269568 44551 18446744073709551615 4194304 4196468 140736881982432 140189447224208 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6113] ppid=6096 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6104/task/6113/stat : 6113 (java) S 6096 6096 5228 0 -1 1077944384 943 0 0 0 3 0 0 0 20 0 15 0 9073568 14316269568 44551 18446744073709551615 4194304 4196468 140736881982432 140189446171408 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6114] ppid=6096 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/6104/task/6114/stat : 6114 (java) S 6096 6096 5228 0 -1 1077944384 1596 0 0 0 3 1 0 0 20 0 15 0 9073569 14316269568 44551 18446744073709551615 4194304 4196468 140736881982432 140189328005488 140189849442946 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6115] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6115/stat : 6115 (java) S 6096 6096 5228 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9073570 14316269568 44551 18446744073709551615 4194304 4196468 140736881982432 140189326951456 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6116] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6116/stat : 6116 (java) S 6096 6096 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9073570 14316269568 44551 18446744073709551615 4194304 4196468 140736881982432 140189325898608 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6117] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6117/stat : 6117 (java) S 6096 6096 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9073572 14316269568 44551 18446744073709551615 4194304 4196468 140736881982432 140189324846928 140189849450395 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6118] ppid=6096 vsize=13980732 CPUtime=1.16 cores=1,3,5,7
/proc/6104/task/6118/stat : 6118 (java) S 6096 6096 5228 0 -1 1077944384 7955 0 0 0 115 1 0 0 20 0 15 0 9073572 14316269568 44551 18446744073709551615 4194304 4196468 140736881982432 140189323795312 140189849442946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6119] ppid=6096 vsize=13980732 CPUtime=1.23 cores=1,3,5,7
/proc/6104/task/6119/stat : 6119 (java) S 6096 6096 5228 0 -1 1077944384 9503 0 0 0 122 1 0 0 20 0 15 0 9073572 14316269568 44551 18446744073709551615 4194304 4196468 140736881982432 140189322742512 140189849442946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6120] ppid=6096 vsize=13980732 CPUtime=0.48 cores=1,3,5,7
/proc/6104/task/6120/stat : 6120 (java) S 6096 6096 5228 0 -1 1077944384 5579 0 0 0 48 0 0 0 20 0 15 0 9073572 14316269568 44551 18446744073709551615 4194304 4196468 140736881982432 140189321689712 140189849442946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6121] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6121/stat : 6121 (java) S 6096 6096 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9073573 14316269568 44551 18446744073709551615 4194304 4196468 140736881982432 140189320637152 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6131] ppid=6096 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/6104/task/6131/stat : 6131 (java) S 6096 6096 5228 0 -1 1077944384 624 0 0 0 0 1 0 0 20 0 15 0 9073583 14316269568 44551 18446744073709551615 4194304 4196468 140736881982432 140189319584432 140189849442946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
Current children cumulated CPU time (s) 105.12
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.71 1.78 1.46 3/216 6193
/proc/meminfo: memFree=31628376/32770624 swapFree=0/180584
[pid=6096] ppid=6093 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6096/stat : 6096 (xcsp3-exec) S 6093 6096 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9073557 9740288 345 18446744073709551615 4194304 5098028 140736738075584 140736738073688 139901514519164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 25899008 140736738079131 140736738079335 140736738079335 140736738082795 0
/proc/6096/statm: 2378 345 289 221 0 87 0
[pid=6104] ppid=6096 vsize=13980732 CPUtime=165.37 cores=1,3,5,7
/proc/6104/stat : 6104 (java) S 6096 6096 5228 0 -1 1077944320 45499 0 0 0 16521 16 0 0 20 0 15 0 9073567 14316269568 45654 18446744073709551615 4194304 4196468 140736881982432 140736881964976 140189849431799 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
/proc/6104/statm: 3495183 45654 3210 1 0 3483484 0
[pid=6104/tid=6108] ppid=6096 vsize=13980732 CPUtime=161.84 cores=1,3,5,7
/proc/6104/task/6108/stat : 6108 (java) R 6096 6096 5228 0 -1 4202560 13967 0 0 0 16179 5 0 0 20 0 15 0 9073567 14316269568 45654 18446744073709551615 4194304 4196468 140736881982432 140189853671344 140189495187563 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6110] ppid=6096 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/6104/task/6110/stat : 6110 (java) S 6096 6096 5228 0 -1 1077944384 1338 0 0 0 8 1 0 0 20 0 15 0 9073568 14316269568 45654 18446744073709551615 4194304 4196468 140736881982432 140189814713488 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6111] ppid=6096 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/6104/task/6111/stat : 6111 (java) S 6096 6096 5228 0 -1 1077944384 634 0 0 0 8 1 0 0 20 0 15 0 9073568 14316269568 45654 18446744073709551615 4194304 4196468 140736881982432 140189448277008 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6112] ppid=6096 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/6104/task/6112/stat : 6112 (java) S 6096 6096 5228 0 -1 1077944384 1349 0 0 0 8 1 0 0 20 0 15 0 9073568 14316269568 45654 18446744073709551615 4194304 4196468 140736881982432 140189447224208 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6113] ppid=6096 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/6104/task/6113/stat : 6113 (java) S 6096 6096 5228 0 -1 1077944384 1026 0 0 0 8 1 0 0 20 0 15 0 9073568 14316269568 45654 18446744073709551615 4194304 4196468 140736881982432 140189446171408 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6114] ppid=6096 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/6104/task/6114/stat : 6114 (java) S 6096 6096 5228 0 -1 1077944384 1772 0 0 0 8 1 0 0 20 0 15 0 9073569 14316269568 45654 18446744073709551615 4194304 4196468 140736881982432 140189328005488 140189849442946 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6115] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6115/stat : 6115 (java) S 6096 6096 5228 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9073570 14316269568 45654 18446744073709551615 4194304 4196468 140736881982432 140189326951456 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6116] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6116/stat : 6116 (java) S 6096 6096 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9073570 14316269568 45654 18446744073709551615 4194304 4196468 140736881982432 140189325898608 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6117] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6117/stat : 6117 (java) S 6096 6096 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9073572 14316269568 45654 18446744073709551615 4194304 4196468 140736881982432 140189324846928 140189849450395 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6118] ppid=6096 vsize=13980732 CPUtime=1.16 cores=1,3,5,7
/proc/6104/task/6118/stat : 6118 (java) S 6096 6096 5228 0 -1 1077944384 8001 0 0 0 115 1 0 0 20 0 15 0 9073572 14316269568 45654 18446744073709551615 4194304 4196468 140736881982432 140189323795312 140189849442946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6119] ppid=6096 vsize=13980732 CPUtime=1.3 cores=1,3,5,7
/proc/6104/task/6119/stat : 6119 (java) S 6096 6096 5228 0 -1 1077944384 9758 0 0 0 129 1 0 0 20 0 15 0 9073572 14316269568 45654 18446744073709551615 4194304 4196468 140736881982432 140189322742512 140189849442946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6120] ppid=6096 vsize=13980732 CPUtime=0.48 cores=1,3,5,7
/proc/6104/task/6120/stat : 6120 (java) S 6096 6096 5228 0 -1 1077944384 5660 0 0 0 48 0 0 0 20 0 15 0 9073572 14316269568 45654 18446744073709551615 4194304 4196468 140736881982432 140189321689712 140189849442946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6121] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6121/stat : 6121 (java) S 6096 6096 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9073573 14316269568 45654 18446744073709551615 4194304 4196468 140736881982432 140189320637152 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6131] ppid=6096 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6104/task/6131/stat : 6131 (java) S 6096 6096 5228 0 -1 1077944384 635 0 0 0 1 2 0 0 20 0 15 0 9073583 14316269568 45654 18446744073709551615 4194304 4196468 140736881982432 140189319584432 140189849442946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
Current children cumulated CPU time (s) 165.37
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.69 1.74 1.47 3/216 6218
/proc/meminfo: memFree=31613992/32770624 swapFree=0/180628
[pid=6096] ppid=6093 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6096/stat : 6096 (xcsp3-exec) S 6093 6096 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9073557 9740288 345 18446744073709551615 4194304 5098028 140736738075584 140736738073688 139901514519164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 25899008 140736738079131 140736738079335 140736738079335 140736738082795 0
/proc/6096/statm: 2378 345 289 221 0 87 0
[pid=6104] ppid=6096 vsize=13980732 CPUtime=225.67 cores=1,3,5,7
/proc/6104/stat : 6104 (java) S 6096 6096 5228 0 -1 1077944320 45938 0 0 0 22547 20 0 0 20 0 15 0 9073567 14316269568 47790 18446744073709551615 4194304 4196468 140736881982432 140736881964976 140189849431799 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
/proc/6104/statm: 3495183 47790 3210 1 0 3483484 0
[pid=6104/tid=6108] ppid=6096 vsize=13980732 CPUtime=221.61 cores=1,3,5,7
/proc/6104/task/6108/stat : 6108 (java) R 6096 6096 5228 0 -1 4202560 14175 0 0 0 22156 5 0 0 20 0 15 0 9073567 14316269568 47790 18446744073709551615 4194304 4196468 140736881982432 140189853671248 140189495338569 0 4 1 16800974 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6110] ppid=6096 vsize=13980732 CPUtime=0.2 cores=1,3,5,7
/proc/6104/task/6110/stat : 6110 (java) S 6096 6096 5228 0 -1 1077944384 1346 0 0 0 18 2 0 0 20 0 15 0 9073568 14316269568 47790 18446744073709551615 4194304 4196468 140736881982432 140189814713488 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6111] ppid=6096 vsize=13980732 CPUtime=0.2 cores=1,3,5,7
/proc/6104/task/6111/stat : 6111 (java) S 6096 6096 5228 0 -1 1077944384 646 0 0 0 19 1 0 0 20 0 15 0 9073568 14316269568 47790 18446744073709551615 4194304 4196468 140736881982432 140189448277008 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6112] ppid=6096 vsize=13980732 CPUtime=0.19 cores=1,3,5,7
/proc/6104/task/6112/stat : 6112 (java) S 6096 6096 5228 0 -1 1077944384 1407 0 0 0 17 2 0 0 20 0 15 0 9073568 14316269568 47790 18446744073709551615 4194304 4196468 140736881982432 140189447224208 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6113] ppid=6096 vsize=13980732 CPUtime=0.19 cores=1,3,5,7
/proc/6104/task/6113/stat : 6113 (java) S 6096 6096 5228 0 -1 1077944384 1111 0 0 0 18 1 0 0 20 0 15 0 9073568 14316269568 47790 18446744073709551615 4194304 4196468 140736881982432 140189446171408 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6114] ppid=6096 vsize=13980732 CPUtime=0.2 cores=1,3,5,7
/proc/6104/task/6114/stat : 6114 (java) S 6096 6096 5228 0 -1 1077944384 1773 0 0 0 18 2 0 0 20 0 15 0 9073569 14316269568 47790 18446744073709551615 4194304 4196468 140736881982432 140189328005488 140189849442946 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6115] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6115/stat : 6115 (java) S 6096 6096 5228 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9073570 14316269568 47790 18446744073709551615 4194304 4196468 140736881982432 140189326951456 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6116] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6116/stat : 6116 (java) S 6096 6096 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9073570 14316269568 47790 18446744073709551615 4194304 4196468 140736881982432 140189325898608 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6117] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6117/stat : 6117 (java) S 6096 6096 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9073572 14316269568 47790 18446744073709551615 4194304 4196468 140736881982432 140189324846928 140189849450395 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6118] ppid=6096 vsize=13980732 CPUtime=1.16 cores=1,3,5,7
/proc/6104/task/6118/stat : 6118 (java) S 6096 6096 5228 0 -1 1077944384 8001 0 0 0 115 1 0 0 20 0 15 0 9073572 14316269568 47790 18446744073709551615 4194304 4196468 140736881982432 140189323795312 140189849442946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6119] ppid=6096 vsize=13980732 CPUtime=1.3 cores=1,3,5,7
/proc/6104/task/6119/stat : 6119 (java) S 6096 6096 5228 0 -1 1077944384 9758 0 0 0 129 1 0 0 20 0 15 0 9073572 14316269568 47790 18446744073709551615 4194304 4196468 140736881982432 140189322742512 140189849442946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6120] ppid=6096 vsize=13980732 CPUtime=0.48 cores=1,3,5,7
/proc/6104/task/6120/stat : 6120 (java) S 6096 6096 5228 0 -1 1077944384 5727 0 0 0 48 0 0 0 20 0 15 0 9073572 14316269568 47790 18446744073709551615 4194304 4196468 140736881982432 140189321689712 140189849442946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6121] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6121/stat : 6121 (java) S 6096 6096 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9073573 14316269568 47790 18446744073709551615 4194304 4196468 140736881982432 140189320637152 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6131] ppid=6096 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/6104/task/6131/stat : 6131 (java) S 6096 6096 5228 0 -1 1077944384 635 0 0 0 2 3 0 0 20 0 15 0 9073583 14316269568 47790 18446744073709551615 4194304 4196468 140736881982432 140189319584432 140189849442946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
Current children cumulated CPU time (s) 225.67
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.65 1.73 1.47 3/216 6218
/proc/meminfo: memFree=31609908/32770624 swapFree=0/180636
[pid=6096] ppid=6093 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6096/stat : 6096 (xcsp3-exec) S 6093 6096 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9073557 9740288 345 18446744073709551615 4194304 5098028 140736738075584 140736738073688 139901514519164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 25899008 140736738079131 140736738079335 140736738079335 140736738082795 0
/proc/6096/statm: 2378 345 289 221 0 87 0
[pid=6104] ppid=6096 vsize=13980732 CPUtime=243.5 cores=1,3,5,7
/proc/6104/stat : 6104 (java) S 6096 6096 5228 0 -1 1077944320 46080 0 0 0 24328 22 0 0 20 0 15 0 9073567 14316269568 48351 18446744073709551615 4194304 4196468 140736881982432 140736881964976 140189849431799 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
/proc/6104/statm: 3495183 48351 3210 1 0 3483484 0
[pid=6104/tid=6108] ppid=6096 vsize=13980732 CPUtime=239.19 cores=1,3,5,7
/proc/6104/task/6108/stat : 6108 (java) R 6096 6096 5228 0 -1 4202560 14258 0 0 0 23914 5 0 0 20 0 15 0 9073567 14316269568 48351 18446744073709551615 4194304 4196468 140736881982432 140189853671344 140189494339887 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6110] ppid=6096 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/6104/task/6110/stat : 6110 (java) S 6096 6096 5228 0 -1 1077944384 1347 0 0 0 22 2 0 0 20 0 15 0 9073568 14316269568 48351 18446744073709551615 4194304 4196468 140736881982432 140189814713488 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6111] ppid=6096 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/6104/task/6111/stat : 6111 (java) S 6096 6096 5228 0 -1 1077944384 649 0 0 0 23 1 0 0 20 0 15 0 9073568 14316269568 48351 18446744073709551615 4194304 4196468 140736881982432 140189448277008 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6112] ppid=6096 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/6104/task/6112/stat : 6112 (java) S 6096 6096 5228 0 -1 1077944384 1408 0 0 0 21 3 0 0 20 0 15 0 9073568 14316269568 48351 18446744073709551615 4194304 4196468 140736881982432 140189447224208 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6113] ppid=6096 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/6104/task/6113/stat : 6113 (java) S 6096 6096 5228 0 -1 1077944384 1165 0 0 0 22 2 0 0 20 0 15 0 9073568 14316269568 48351 18446744073709551615 4194304 4196468 140736881982432 140189446171408 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6114] ppid=6096 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/6104/task/6114/stat : 6114 (java) S 6096 6096 5228 0 -1 1077944384 1773 0 0 0 22 2 0 0 20 0 15 0 9073569 14316269568 48351 18446744073709551615 4194304 4196468 140736881982432 140189328005488 140189849442946 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6115] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6115/stat : 6115 (java) S 6096 6096 5228 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9073570 14316269568 48351 18446744073709551615 4194304 4196468 140736881982432 140189326951456 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6116] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6116/stat : 6116 (java) S 6096 6096 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9073570 14316269568 48351 18446744073709551615 4194304 4196468 140736881982432 140189325898608 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6117] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6117/stat : 6117 (java) S 6096 6096 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9073572 14316269568 48351 18446744073709551615 4194304 4196468 140736881982432 140189324846928 140189849450395 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6118] ppid=6096 vsize=13980732 CPUtime=1.16 cores=1,3,5,7
/proc/6104/task/6118/stat : 6118 (java) S 6096 6096 5228 0 -1 1077944384 8001 0 0 0 115 1 0 0 20 0 15 0 9073572 14316269568 48351 18446744073709551615 4194304 4196468 140736881982432 140189323795312 140189849442946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6119] ppid=6096 vsize=13980732 CPUtime=1.3 cores=1,3,5,7
/proc/6104/task/6119/stat : 6119 (java) S 6096 6096 5228 0 -1 1077944384 9758 0 0 0 129 1 0 0 20 0 15 0 9073572 14316269568 48351 18446744073709551615 4194304 4196468 140736881982432 140189322742512 140189849442946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6120] ppid=6096 vsize=13980732 CPUtime=0.48 cores=1,3,5,7
/proc/6104/task/6120/stat : 6120 (java) S 6096 6096 5228 0 -1 1077944384 5727 0 0 0 48 0 0 0 20 0 15 0 9073572 14316269568 48351 18446744073709551615 4194304 4196468 140736881982432 140189321689712 140189849442946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6121] ppid=6096 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6104/task/6121/stat : 6121 (java) S 6096 6096 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9073573 14316269568 48351 18446744073709551615 4194304 4196468 140736881982432 140189320637152 140189849442005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
[pid=6104/tid=6131] ppid=6096 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/6104/task/6131/stat : 6131 (java) S 6096 6096 5228 0 -1 1077944384 635 0 0 0 3 3 0 0 20 0 15 0 9073583 14316269568 48351 18446744073709551615 4194304 4196468 140736881982432 140189319584432 140189849442946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140736881983956 140736881984131 140736881984131 140736881987535 0
Current children cumulated CPU time (s) 243.5
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Solver just ended.
Sleeping 2 seconds
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6104 sig 9
??? kill 6096 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.01
CPU time (s): 243.529
CPU user time (s): 243.298
CPU system time (s): 0.231
CPU usage (%): 101.466
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.298
system time used= 0.231
maximum resident set size= 201448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46836
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13997
involuntary context switches= 922
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.14647 second user time and 1.34378 second system time
The end