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 (11171 MiB free)
memory of node 1: 16384 MiB (11724 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284252-1503211764/watcher-4284252-1503211764 -o /tmp/evaluation-result-4284252-1503211764/solver-4284252-1503211764 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node104-1503208966-3840 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 286751453 HOME/instance-4284252-1503211764.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5284, runsolver pid=5281
[startup+0.100132 s]*
/proc/loadavg: 1.79 1.86 1.80 5/217 5300
/proc/meminfo: memFree=23427320/32770624 swapFree=67108860/67108860
[pid=5284] ppid=5281 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5284/stat : 5284 (xcsp3-exec) S 5281 5284 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154264143 9740288 346 33554432000 4194304 5098028 140731803338608 140731803336712 140530635780732 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40075264 140731803341941 140731803342144 140731803342144 140731803344875 0
/proc/5284/statm: 2378 346 289 221 0 87 0
[pid=5286] ppid=5284 vsize=13978596 memory=29912 CPUtime=0.11 cores=0,2,4,6
/proc/5286/stat : 5286 (java) S 5284 5284 3809 0 -1 1077944320 5304 0 0 0 10 1 0 0 20 0 15 0 154264144 14314082304 7478 33554432000 4194304 4196468 140731194453344 140731194435888 140316978929399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
/proc/5286/statm: 3494649 7478 2879 1 0 3482966 0
[pid=5286/tid=5287] ppid=5284 vsize=13978596 memory=8332125088590828379 CPUtime=0.09 cores=0,2,4,6
/proc/5286/task/5287/stat : 5287 (java) R 5284 5284 3809 0 -1 4202560 3326 0 0 0 8 1 0 0 20 0 15 0 154264144 14314082304 7478 33554432000 4194304 4196468 140731194453344 140316983154128 140316978941334 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5288] ppid=5284 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5288/stat : 5288 (java) S 5284 5284 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264145 14314082304 7478 33554432000 4194304 4196468 140731194453344 140316931549584 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5289] ppid=5284 vsize=13978596 memory=140005328774784 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5289/stat : 5289 (java) S 5284 5284 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154264145 14314082304 7478 33554432000 4194304 4196468 140731194453344 140316930496784 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5290] ppid=5284 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5290/stat : 5290 (java) S 5284 5284 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264145 14314082304 7478 33554432000 4194304 4196468 140731194453344 140316929444496 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5291] ppid=5284 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5291/stat : 5291 (java) S 5284 5284 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264145 14314082304 7478 33554432000 4194304 4196468 140731194453344 140316928391696 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5292] ppid=5284 vsize=13978596 memory=140005328774784 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5292/stat : 5292 (java) S 5284 5284 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264146 14314082304 7478 33554432000 4194304 4196468 140731194453344 140316182334064 140316978940546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5293] ppid=5284 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5293/stat : 5293 (java) S 5284 5284 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154264147 14314082304 7478 33554432000 4194304 4196468 140731194453344 140316181280032 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5294] ppid=5284 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5294/stat : 5294 (java) S 5284 5284 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154264147 14314082304 7478 33554432000 4194304 4196468 140731194453344 140316180227696 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5295] ppid=5284 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5295/stat : 5295 (java) S 5284 5284 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264149 14314082304 7478 33554432000 4194304 4196468 140731194453344 140316089264720 140316978947995 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5296] ppid=5284 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5296/stat : 5296 (java) S 5284 5284 3809 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 154264149 14314082304 7478 33554432000 4194304 4196468 140731194453344 140316088211568 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5297] ppid=5284 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5297/stat : 5297 (java) S 5284 5284 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154264149 14314082304 7478 33554432000 4194304 4196468 140731194453344 140316087158768 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5298] ppid=5284 vsize=13978596 memory=140005328774784 CPUtime=0.01 cores=0,2,4,6
/proc/5286/task/5298/stat : 5298 (java) R 5284 5284 3809 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 15 0 154264149 14314082304 7478 33554432000 4194304 4196468 140731194453344 140316086106480 140316978950746 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5299] ppid=5284 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5299/stat : 5299 (java) S 5284 5284 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154264150 14314082304 7478 33554432000 4194304 4196468 140731194453344 140316085053920 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5300] ppid=5284 vsize=13978596 memory=140005328774784 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5300/stat : 5300 (java) S 5284 5284 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154264150 14314082304 7478 33554432000 4194304 4196468 140731194453344 140316084001712 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 31296 KiB
[startup+0.210742 s]*
/proc/loadavg: 1.79 1.86 1.80 4/217 5300
/proc/meminfo: memFree=23416024/32770624 swapFree=67108860/67108860
[pid=5284] ppid=5281 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5284/stat : 5284 (xcsp3-exec) S 5281 5284 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154264143 9740288 346 33554432000 4194304 5098028 140731803338608 140731803336712 140530635780732 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40075264 140731803341941 140731803342144 140731803342144 140731803344875 0
/proc/5284/statm: 2378 346 289 221 0 87 0
[pid=5286] ppid=5284 vsize=13982852 memory=42084 CPUtime=0.34 cores=0,2,4,6
/proc/5286/stat : 5286 (java) S 5284 5284 3809 0 -1 1077944320 8048 0 0 0 31 3 0 0 20 0 15 0 154264144 14318440448 10521 33554432000 4194304 4196468 140731194453344 140731194435888 140316978929399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
/proc/5286/statm: 3495713 10521 3070 1 0 3482966 0
[pid=5286/tid=5287] ppid=5284 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/5286/task/5287/stat : 5287 (java) R 5284 5284 3809 0 -1 4202560 5254 0 0 0 18 1 0 0 20 0 15 0 154264144 14318440448 10521 33554432000 4194304 4196468 140731194453344 140316983142912 140316978951325 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5288] ppid=5284 vsize=13982852 memory=8944 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5288/stat : 5288 (java) S 5284 5284 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264145 14318440448 10521 33554432000 4194304 4196468 140731194453344 140316931549584 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5289] ppid=5284 vsize=13982852 memory=140005329308637 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5289/stat : 5289 (java) S 5284 5284 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154264145 14318440448 10521 33554432000 4194304 4196468 140731194453344 140316930496784 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5290] ppid=5284 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5290/stat : 5290 (java) S 5284 5284 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264145 14318440448 10521 33554432000 4194304 4196468 140731194453344 140316929444496 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5291] ppid=5284 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5291/stat : 5291 (java) S 5284 5284 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264145 14318440448 10521 33554432000 4194304 4196468 140731194453344 140316928391696 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5292] ppid=5284 vsize=13982852 memory=140005328774784 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5292/stat : 5292 (java) S 5284 5284 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264146 14318440448 10521 33554432000 4194304 4196468 140731194453344 140316182334064 140316978940546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5293] ppid=5284 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5293/stat : 5293 (java) S 5284 5284 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154264147 14318440448 10521 33554432000 4194304 4196468 140731194453344 140316181280032 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5294] ppid=5284 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5294/stat : 5294 (java) S 5284 5284 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154264147 14318440448 10521 33554432000 4194304 4196468 140731194453344 140316180227696 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5295] ppid=5284 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5295/stat : 5295 (java) S 5284 5284 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264149 14318440448 10521 33554432000 4194304 4196468 140731194453344 140316089264720 140316978947995 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5296] ppid=5284 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5286/task/5296/stat : 5296 (java) S 5284 5284 3809 0 -1 1077944384 667 0 0 0 3 0 0 0 20 0 15 0 154264149 14318440448 10521 33554432000 4194304 4196468 140731194453344 140316088211568 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5297] ppid=5284 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/5286/task/5297/stat : 5297 (java) S 5284 5284 3809 0 -1 1077944384 103 0 0 0 1 0 0 0 20 0 15 0 154264149 14318440448 10521 33554432000 4194304 4196468 140731194453344 140316087158768 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5298] ppid=5284 vsize=13982852 memory=140005328774784 CPUtime=0.08 cores=0,2,4,6
/proc/5286/task/5298/stat : 5298 (java) S 5284 5284 3809 0 -1 1077944384 723 0 0 0 8 0 0 0 20 0 15 0 154264149 14318440448 10521 33554432000 4194304 4196468 140731194453344 140316086106480 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5299] ppid=5284 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5299/stat : 5299 (java) S 5284 5284 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154264150 14318440448 10521 33554432000 4194304 4196468 140731194453344 140316085053920 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5300] ppid=5284 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5300/stat : 5300 (java) S 5284 5284 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154264150 14318440448 10521 33554432000 4194304 4196468 140731194453344 140316084001712 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 43468 KiB
[startup+0.310486 s]*
/proc/loadavg: 1.79 1.86 1.80 4/217 5300
/proc/meminfo: memFree=23408416/32770624 swapFree=67108860/67108860
[pid=5284] ppid=5281 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5284/stat : 5284 (xcsp3-exec) S 5281 5284 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154264143 9740288 346 33554432000 4194304 5098028 140731803338608 140731803336712 140530635780732 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40075264 140731803341941 140731803342144 140731803342144 140731803344875 0
/proc/5284/statm: 2378 346 289 221 0 87 0
[pid=5286] ppid=5284 vsize=13982852 memory=49304 CPUtime=0.5 cores=0,2,4,6
/proc/5286/stat : 5286 (java) S 5284 5284 3809 0 -1 1077944320 8987 0 0 0 47 3 0 0 20 0 15 0 154264144 14318440448 12326 33554432000 4194304 4196468 140731194453344 140731194435888 140316978929399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
/proc/5286/statm: 3495713 12326 3110 1 0 3482966 0
[pid=5286/tid=5287] ppid=5284 vsize=13982852 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/5286/task/5287/stat : 5287 (java) R 5284 5284 3809 0 -1 4202560 5974 0 0 0 27 2 0 0 20 0 15 0 154264144 14318440448 12326 33554432000 4194304 4196468 140731194453344 140316983167392 140316963009886 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5288] ppid=5284 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5288/stat : 5288 (java) S 5284 5284 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264145 14318440448 12326 33554432000 4194304 4196468 140731194453344 140316931549584 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5289] ppid=5284 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5289/stat : 5289 (java) S 5284 5284 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154264145 14318440448 12326 33554432000 4194304 4196468 140731194453344 140316930496784 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5290] ppid=5284 vsize=13982852 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5290/stat : 5290 (java) S 5284 5284 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264145 14318440448 12326 33554432000 4194304 4196468 140731194453344 140316929444496 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5291] ppid=5284 vsize=13982852 memory=7593740018551660441 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5291/stat : 5291 (java) S 5284 5284 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264145 14318440448 12326 33554432000 4194304 4196468 140731194453344 140316928391696 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5292] ppid=5284 vsize=13982852 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5292/stat : 5292 (java) S 5284 5284 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264146 14318440448 12326 33554432000 4194304 4196468 140731194453344 140316182334064 140316978940546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5293] ppid=5284 vsize=13982852 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5293/stat : 5293 (java) S 5284 5284 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154264147 14318440448 12326 33554432000 4194304 4196468 140731194453344 140316181280032 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5294] ppid=5284 vsize=13982852 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5294/stat : 5294 (java) S 5284 5284 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154264147 14318440448 12326 33554432000 4194304 4196468 140731194453344 140316180227696 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5295] ppid=5284 vsize=13982852 memory=-6444775992005010620 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5295/stat : 5295 (java) S 5284 5284 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264149 14318440448 12326 33554432000 4194304 4196468 140731194453344 140316089264720 140316978947995 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5296] ppid=5284 vsize=13982852 memory=7100839887185294217 CPUtime=0.03 cores=0,2,4,6
/proc/5286/task/5296/stat : 5296 (java) R 5284 5284 3809 0 -1 1077944384 667 0 0 0 3 0 0 0 20 0 15 0 154264149 14318440448 12326 33554432000 4194304 4196468 140731194453344 140316088211568 140316978940546 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5297] ppid=5284 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5286/task/5297/stat : 5297 (java) R 5284 5284 3809 0 -1 4202560 191 0 0 0 3 0 0 0 20 0 15 0 154264149 14318440448 12326 33554432000 4194304 4196468 140731194453344 140316087158768 140316960473512 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5298] ppid=5284 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5286/task/5298/stat : 5298 (java) S 5284 5284 3809 0 -1 1077944384 864 0 0 0 12 0 0 0 20 0 15 0 154264149 14318440448 12326 33554432000 4194304 4196468 140731194453344 140316086106480 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5299] ppid=5284 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5299/stat : 5299 (java) S 5284 5284 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154264150 14318440448 12326 33554432000 4194304 4196468 140731194453344 140316085053920 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5300] ppid=5284 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5300/stat : 5300 (java) S 5284 5284 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154264150 14318440448 12326 33554432000 4194304 4196468 140731194453344 140316084001712 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 50688 KiB
[startup+0.700811 s]
/proc/loadavg: 1.79 1.86 1.80 6/217 5300
/proc/meminfo: memFree=23393156/32770624 swapFree=67108860/67108860
[pid=5284] ppid=5281 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5284/stat : 5284 (xcsp3-exec) S 5281 5284 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154264143 9740288 346 33554432000 4194304 5098028 140731803338608 140731803336712 140530635780732 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40075264 140731803341941 140731803342144 140731803342144 140731803344875 0
/proc/5284/statm: 2378 346 289 221 0 87 0
[pid=5286] ppid=5284 vsize=13984976 memory=85088 CPUtime=1.61 cores=0,2,4,6
/proc/5286/stat : 5286 (java) S 5284 5284 3809 0 -1 1077944320 15525 0 0 0 156 5 0 0 20 0 15 0 154264144 14320615424 21272 33554432000 4194304 4196468 140731194453344 140731194435888 140316978929399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
/proc/5286/statm: 3496244 21272 3202 1 0 3483478 0
[pid=5286/tid=5287] ppid=5284 vsize=13984976 memory=1728 CPUtime=0.66 cores=0,2,4,6
/proc/5286/task/5287/stat : 5287 (java) R 5284 5284 3809 0 -1 4202560 6687 0 0 0 64 2 0 0 20 0 15 0 154264144 14320615424 21272 33554432000 4194304 4196468 140731194453344 140316983167664 140316599518461 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5288] ppid=5284 vsize=13984976 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5288/stat : 5288 (java) S 5284 5284 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264145 14320615424 21272 33554432000 4194304 4196468 140731194453344 140316931549584 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5289] ppid=5284 vsize=13984976 memory=796 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5289/stat : 5289 (java) S 5284 5284 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154264145 14320615424 21272 33554432000 4194304 4196468 140731194453344 140316930496784 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5290] ppid=5284 vsize=13984976 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5290/stat : 5290 (java) S 5284 5284 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264145 14320615424 21272 33554432000 4194304 4196468 140731194453344 140316929444496 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5291] ppid=5284 vsize=13984976 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5291/stat : 5291 (java) S 5284 5284 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264145 14320615424 21272 33554432000 4194304 4196468 140731194453344 140316928391696 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5292] ppid=5284 vsize=13984976 memory=8612 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5292/stat : 5292 (java) S 5284 5284 3809 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154264146 14320615424 21272 33554432000 4194304 4196468 140731194453344 140316182334064 140316978940546 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5293] ppid=5284 vsize=13984976 memory=5784 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5293/stat : 5293 (java) S 5284 5284 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154264147 14320615424 21272 33554432000 4194304 4196468 140731194453344 140316181280032 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5294] ppid=5284 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5294/stat : 5294 (java) S 5284 5284 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154264147 14320615424 21272 33554432000 4194304 4196468 140731194453344 140316180227696 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5295] ppid=5284 vsize=13984976 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5295/stat : 5295 (java) S 5284 5284 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264149 14320615424 21272 33554432000 4194304 4196468 140731194453344 140316089264720 140316978947995 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5296] ppid=5284 vsize=13984976 memory=11112 CPUtime=0.28 cores=0,2,4,6
/proc/5286/task/5296/stat : 5296 (java) R 5284 5284 3809 0 -1 4202560 2433 0 0 0 28 0 0 0 20 0 15 0 154264149 14320615424 21272 33554432000 4194304 4196468 140731194453344 140316088192584 140316960450736 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5297] ppid=5284 vsize=13984976 memory=1228 CPUtime=0.29 cores=0,2,4,6
/proc/5286/task/5297/stat : 5297 (java) R 5284 5284 3809 0 -1 4202560 2526 0 0 0 29 0 0 0 20 0 15 0 154264149 14320615424 21272 33554432000 4194304 4196468 140731194453344 140316087139784 140316962412930 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5298] ppid=5284 vsize=13984976 memory=1420 CPUtime=0.33 cores=0,2,4,6
/proc/5286/task/5298/stat : 5298 (java) S 5284 5284 3809 0 -1 1077944384 2571 0 0 0 33 0 0 0 20 0 15 0 154264149 14320615424 21272 33554432000 4194304 4196468 140731194453344 140316086106480 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5299] ppid=5284 vsize=13984976 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5299/stat : 5299 (java) S 5284 5284 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154264150 14320615424 21272 33554432000 4194304 4196468 140731194453344 140316085053920 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5300] ppid=5284 vsize=13984976 memory=16448 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5300/stat : 5300 (java) S 5284 5284 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154264150 14320615424 21272 33554432000 4194304 4196468 140731194453344 140316084001712 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 86472 KiB
[startup+1.50086 s]
/proc/loadavg: 1.79 1.86 1.80 5/217 5300
/proc/meminfo: memFree=23355916/32770624 swapFree=67108860/67108860
[pid=5284] ppid=5281 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5284/stat : 5284 (xcsp3-exec) S 5281 5284 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154264143 9740288 346 33554432000 4194304 5098028 140731803338608 140731803336712 140530635780732 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40075264 140731803341941 140731803342144 140731803342144 140731803344875 0
/proc/5284/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/5286/task/5294/stat : 5294 (java) S 5284 5284 3809 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154264147 14320615424 239409 33554432000 4194304 4196468 140731194453344 140316180227696 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5295] ppid=5284 vsize=13984976 memory=959716 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5295/stat : 5295 (java) S 5284 5284 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264149 14320615424 239409 33554432000 4194304 4196468 140731194453344 140316089264720 140316978947995 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5296] ppid=5284 vsize=13984976 memory=1384 CPUtime=4.14 cores=0,2,4,6
/proc/5286/task/5296/stat : 5296 (java) S 5284 5284 3809 0 -1 1077944384 17871 0 0 0 412 2 0 0 20 0 15 0 154264149 14320615424 239409 33554432000 4194304 4196468 140731194453344 140316088211568 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5297] ppid=5284 vsize=13984976 memory=1384 CPUtime=4.23 cores=0,2,4,6
/proc/5286/task/5297/stat : 5297 (java) S 5284 5284 3809 0 -1 1077944384 35155 0 0 0 419 4 0 0 20 0 15 0 154264149 14320615424 239409 33554432000 4194304 4196468 140731194453344 140316087158768 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5298] ppid=5284 vsize=13984976 memory=1384 CPUtime=0.76 cores=0,2,4,6
/proc/5286/task/5298/stat : 5298 (java) S 5284 5284 3809 0 -1 1077944384 8986 0 0 0 75 1 0 0 20 0 15 0 154264149 14320615424 239409 33554432000 4194304 4196468 140731194453344 140316086106480 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5299] ppid=5284 vsize=13984976 memory=280010394063808 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5299/stat : 5299 (java) S 5284 5284 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154264150 14320615424 239409 33554432000 4194304 4196468 140731194453344 140316085053920 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5300] ppid=5284 vsize=13984976 memory=9047017150487036571 CPUtime=0.05 cores=0,2,4,6
/proc/5286/task/5300/stat : 5300 (java) S 5284 5284 3809 0 -1 1077944384 639 0 0 0 2 3 0 0 20 0 15 0 154264150 14320615424 239409 33554432000 4194304 4196468 140731194453344 140316084001712 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
Current children cumulated CPU time: 113.73 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 959020 KiB
[startup+162.301 s]
/proc/loadavg: 1.79 1.84 1.80 3/217 5302
/proc/meminfo: memFree=22080248/32770624 swapFree=67108860/67108860
[pid=5284] ppid=5281 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5284/stat : 5284 (xcsp3-exec) S 5281 5284 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154264143 9740288 346 33554432000 4194304 5098028 140731803338608 140731803336712 140530635780732 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40075264 140731803341941 140731803342144 140731803342144 140731803344875 0
/proc/5284/statm: 2378 346 289 221 0 87 0
[pid=5286] ppid=5284 vsize=13984976 memory=664868 CPUtime=175.13 cores=0,2,4,6
/proc/5286/stat : 5286 (java) S 5284 5284 3809 0 -1 1077944320 97327 0 0 0 17415 98 0 0 20 0 15 0 154264144 14320615424 166217 33554432000 4194304 4196468 140731194453344 140731194435888 140316978929399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
/proc/5286/statm: 3496244 166217 3280 1 0 3483478 0
[pid=5286/tid=5287] ppid=5284 vsize=13984976 memory=683336 CPUtime=160.94 cores=0,2,4,6
/proc/5286/task/5287/stat : 5287 (java) R 5284 5284 3809 0 -1 4202560 18624 0 0 0 16085 9 0 0 20 0 15 0 154264144 14320615424 166217 33554432000 4194304 4196468 140731194453344 140316983169056 140316605542441 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5288] ppid=5284 vsize=13984976 memory=690516 CPUtime=1.16 cores=0,2,4,6
/proc/5286/task/5288/stat : 5288 (java) S 5284 5284 3809 0 -1 1077944384 1778 0 0 0 97 19 0 0 20 0 15 0 154264145 14320615424 166217 33554432000 4194304 4196468 140731194453344 140316931549584 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5289] ppid=5284 vsize=13984976 memory=690516 CPUtime=1.17 cores=0,2,4,6
/proc/5286/task/5289/stat : 5289 (java) S 5284 5284 3809 0 -1 1077944384 1512 0 0 0 99 18 0 0 20 0 15 0 154264145 14320615424 166217 33554432000 4194304 4196468 140731194453344 140316930496784 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5290] ppid=5284 vsize=13984976 memory=683336 CPUtime=1.16 cores=0,2,4,6
/proc/5286/task/5290/stat : 5290 (java) S 5284 5284 3809 0 -1 1077944384 2012 0 0 0 98 18 0 0 20 0 15 0 154264145 14320615424 166217 33554432000 4194304 4196468 140731194453344 140316929444496 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5291] ppid=5284 vsize=13984976 memory=664868 CPUtime=1.17 cores=0,2,4,6
/proc/5286/task/5291/stat : 5291 (java) S 5284 5284 3809 0 -1 1077944384 2353 0 0 0 98 19 0 0 20 0 15 0 154264145 14320615424 166217 33554432000 4194304 4196468 140731194453344 140316928391696 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5292] ppid=5284 vsize=13984976 memory=1384 CPUtime=0.1 cores=0,2,4,6
/proc/5286/task/5292/stat : 5292 (java) S 5284 5284 3809 0 -1 1077944384 4185 0 0 0 9 1 0 0 20 0 15 0 154264146 14320615424 166217 33554432000 4194304 4196468 140731194453344 140316182334064 140316978940546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5293] ppid=5284 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5293/stat : 5293 (java) S 5284 5284 3809 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 154264147 14320615424 166217 33554432000 4194304 4196468 140731194453344 140316181280096 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5294] ppid=5284 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5294/stat : 5294 (java) S 5284 5284 3809 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 154264147 14320615424 166217 33554432000 4194304 4196468 140731194453344 140316180227712 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5295] ppid=5284 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5295/stat : 5295 (java) S 5284 5284 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264149 14320615424 166217 33554432000 4194304 4196468 140731194453344 140316089264720 140316978947995 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5296] ppid=5284 vsize=13984976 memory=1384 CPUtime=4.18 cores=0,2,4,6
/proc/5286/task/5296/stat : 5296 (java) S 5284 5284 3809 0 -1 1077944384 18912 0 0 0 416 2 0 0 20 0 15 0 154264149 14320615424 166217 33554432000 4194304 4196468 140731194453344 140316088211568 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5297] ppid=5284 vsize=13984976 memory=1384 CPUtime=4.3 cores=0,2,4,6
/proc/5286/task/5297/stat : 5297 (java) S 5284 5284 3809 0 -1 1077944384 36735 0 0 0 426 4 0 0 20 0 15 0 154264149 14320615424 166217 33554432000 4194304 4196468 140731194453344 140316087158768 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5298] ppid=5284 vsize=13984976 memory=1384 CPUtime=0.76 cores=0,2,4,6
/proc/5286/task/5298/stat : 5298 (java) S 5284 5284 3809 0 -1 1077944384 9174 0 0 0 75 1 0 0 20 0 15 0 154264149 14320615424 166217 33554432000 4194304 4196468 140731194453344 140316086106480 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5299] ppid=5284 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5299/stat : 5299 (java) S 5284 5284 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154264150 14320615424 166217 33554432000 4194304 4196468 140731194453344 140316085053920 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5300] ppid=5284 vsize=13984976 memory=856832 CPUtime=0.09 cores=0,2,4,6
/proc/5286/task/5300/stat : 5300 (java) S 5284 5284 3809 0 -1 1077944384 666 0 0 0 4 5 0 0 20 0 15 0 154264150 14320615424 166217 33554432000 4194304 4196468 140731194453344 140316084001712 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
Current children cumulated CPU time: 175.13 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 666252 KiB
[startup+222.301 s]
/proc/loadavg: 1.50 1.75 1.77 3/209 5328
/proc/meminfo: memFree=23400652/32770624 swapFree=67108860/67108860
[pid=5284] ppid=5281 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5284/stat : 5284 (xcsp3-exec) S 5281 5284 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154264143 9740288 346 33554432000 4194304 5098028 140731803338608 140731803336712 140530635780732 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40075264 140731803341941 140731803342144 140731803342144 140731803344875 0
/proc/5284/statm: 2378 346 289 221 0 87 0
[pid=5286] ppid=5284 vsize=13984976 memory=466752 CPUtime=236.6 cores=0,2,4,6
/proc/5286/stat : 5286 (java) S 5284 5284 3809 0 -1 1077944320 103281 0 0 0 23559 101 0 0 20 0 15 0 154264144 14320615424 116688 33554432000 4194304 4196468 140731194453344 140731194435888 140316978929399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
/proc/5286/statm: 3496244 116688 3281 1 0 3483478 0
[pid=5286/tid=5287] ppid=5284 vsize=13984976 memory=477524 CPUtime=220.41 cores=0,2,4,6
/proc/5286/task/5287/stat : 5287 (java) R 5284 5284 3809 0 -1 4202560 19439 0 0 0 22032 9 0 0 20 0 15 0 154264144 14320615424 116688 33554432000 4194304 4196468 140731194453344 140316983168576 140316605499817 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5288] ppid=5284 vsize=13984976 memory=1384 CPUtime=1.64 cores=0,2,4,6
/proc/5286/task/5288/stat : 5288 (java) S 5284 5284 3809 0 -1 1077944384 2120 0 0 0 145 19 0 0 20 0 15 0 154264145 14320615424 116688 33554432000 4194304 4196468 140731194453344 140316931549584 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5289] ppid=5284 vsize=13984976 memory=499528 CPUtime=1.65 cores=0,2,4,6
/proc/5286/task/5289/stat : 5289 (java) S 5284 5284 3809 0 -1 1077944384 1810 0 0 0 147 18 0 0 20 0 15 0 154264145 14320615424 116688 33554432000 4194304 4196468 140731194453344 140316930496784 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5290] ppid=5284 vsize=13984976 memory=477524 CPUtime=1.64 cores=0,2,4,6
/proc/5286/task/5290/stat : 5290 (java) S 5284 5284 3809 0 -1 1077944384 2255 0 0 0 146 18 0 0 20 0 15 0 154264145 14320615424 116688 33554432000 4194304 4196468 140731194453344 140316929444496 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5291] ppid=5284 vsize=13984976 memory=473932 CPUtime=1.64 cores=0,2,4,6
/proc/5286/task/5291/stat : 5291 (java) S 5284 5284 3809 0 -1 1077944384 2940 0 0 0 145 19 0 0 20 0 15 0 154264145 14320615424 116688 33554432000 4194304 4196468 140731194453344 140316928391696 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5292] ppid=5284 vsize=13984976 memory=470340 CPUtime=0.14 cores=0,2,4,6
/proc/5286/task/5292/stat : 5292 (java) S 5284 5284 3809 0 -1 1077944384 7131 0 0 0 12 2 0 0 20 0 15 0 154264146 14320615424 116688 33554432000 4194304 4196468 140731194453344 140316182334064 140316978940546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5293] ppid=5284 vsize=13984976 memory=470340 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5293/stat : 5293 (java) S 5284 5284 3809 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 154264147 14320615424 116688 33554432000 4194304 4196468 140731194453344 140316181280096 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5294] ppid=5284 vsize=13984976 memory=466752 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5294/stat : 5294 (java) S 5284 5284 3809 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 154264147 14320615424 116688 33554432000 4194304 4196468 140731194453344 140316180227712 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5295] ppid=5284 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5295/stat : 5295 (java) S 5284 5284 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264149 14320615424 116688 33554432000 4194304 4196468 140731194453344 140316089264720 140316978947995 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5296] ppid=5284 vsize=13984976 memory=1384 CPUtime=4.18 cores=0,2,4,6
/proc/5286/task/5296/stat : 5296 (java) S 5284 5284 3809 0 -1 1077944384 18920 0 0 0 416 2 0 0 20 0 15 0 154264149 14320615424 116688 33554432000 4194304 4196468 140731194453344 140316088211568 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5297] ppid=5284 vsize=13984976 memory=466752 CPUtime=4.3 cores=0,2,4,6
/proc/5286/task/5297/stat : 5297 (java) S 5284 5284 3809 0 -1 1077944384 36739 0 0 0 426 4 0 0 20 0 15 0 154264149 14320615424 116688 33554432000 4194304 4196468 140731194453344 140316087158768 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5298] ppid=5284 vsize=13984976 memory=1384 CPUtime=0.77 cores=0,2,4,6
/proc/5286/task/5298/stat : 5298 (java) S 5284 5284 3809 0 -1 1077944384 9849 0 0 0 76 1 0 0 20 0 15 0 154264149 14320615424 116688 33554432000 4194304 4196468 140731194453344 140316086106480 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5299] ppid=5284 vsize=13984976 memory=3120 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5299/stat : 5299 (java) S 5284 5284 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154264150 14320615424 116688 33554432000 4194304 4196468 140731194453344 140316085053920 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5300] ppid=5284 vsize=13984976 memory=1384 CPUtime=0.12 cores=0,2,4,6
/proc/5286/task/5300/stat : 5300 (java) S 5284 5284 3809 0 -1 1077944384 702 0 0 0 5 7 0 0 20 0 15 0 154264150 14320615424 116688 33554432000 4194304 4196468 140731194453344 140316084001712 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
Current children cumulated CPU time: 236.6 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 468136 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.55 1.75 1.77 3/217 5381
/proc/meminfo: memFree=22909348/32770624 swapFree=67108860/67108860
[pid=5284] ppid=5281 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5284/stat : 5284 (xcsp3-exec) S 5281 5284 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154264143 9740288 346 33554432000 4194304 5098028 140731803338608 140731803336712 140530635780732 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40075264 140731803341941 140731803342144 140731803342144 140731803344875 0
/proc/5284/statm: 2378 346 289 221 0 87 0
[pid=5286] ppid=5284 vsize=13984976 memory=484852 CPUtime=254.82 cores=0,2,4,6
/proc/5286/stat : 5286 (java) S 5284 5284 3809 0 -1 1077944320 104433 0 0 0 25376 106 0 0 20 0 15 0 154264144 14320615424 121213 33554432000 4194304 4196468 140731194453344 140731194435888 140316978929399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
/proc/5286/statm: 3496244 121213 3281 1 0 3483478 0
[pid=5286/tid=5287] ppid=5284 vsize=13984976 memory=8112282956445269571 CPUtime=237.93 cores=0,2,4,6
/proc/5286/task/5287/stat : 5287 (java) R 5284 5284 3809 0 -1 4202560 19570 0 0 0 23784 9 0 0 20 0 15 0 154264144 14320615424 121213 33554432000 4194304 4196468 140731194453344 140316983166472 140316604709799 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5288] ppid=5284 vsize=13984976 memory=4126316290023845779 CPUtime=1.8 cores=0,2,4,6
/proc/5286/task/5288/stat : 5288 (java) S 5284 5284 3809 0 -1 1077944384 2229 0 0 0 160 20 0 0 20 0 15 0 154264145 14320615424 121213 33554432000 4194304 4196468 140731194453344 140316931549584 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5289] ppid=5284 vsize=13984976 memory=1384 CPUtime=1.81 cores=0,2,4,6
/proc/5286/task/5289/stat : 5289 (java) S 5284 5284 3809 0 -1 1077944384 1901 0 0 0 162 19 0 0 20 0 15 0 154264145 14320615424 121213 33554432000 4194304 4196468 140731194453344 140316930496784 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5290] ppid=5284 vsize=13984976 memory=448796 CPUtime=1.81 cores=0,2,4,6
/proc/5286/task/5290/stat : 5290 (java) S 5284 5284 3809 0 -1 1077944384 2477 0 0 0 162 19 0 0 20 0 15 0 154264145 14320615424 121213 33554432000 4194304 4196468 140731194453344 140316929444496 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5291] ppid=5284 vsize=13984976 memory=4140 CPUtime=1.81 cores=0,2,4,6
/proc/5286/task/5291/stat : 5291 (java) S 5284 5284 3809 0 -1 1077944384 3060 0 0 0 161 20 0 0 20 0 15 0 154264145 14320615424 121213 33554432000 4194304 4196468 140731194453344 140316928391696 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5292] ppid=5284 vsize=13984976 memory=42840 CPUtime=0.14 cores=0,2,4,6
/proc/5286/task/5292/stat : 5292 (java) S 5284 5284 3809 0 -1 1077944384 7169 0 0 0 12 2 0 0 20 0 15 0 154264146 14320615424 121213 33554432000 4194304 4196468 140731194453344 140316182334064 140316978940546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5293] ppid=5284 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5293/stat : 5293 (java) S 5284 5284 3809 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 154264147 14320615424 121213 33554432000 4194304 4196468 140731194453344 140316181280096 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5294] ppid=5284 vsize=13984976 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5294/stat : 5294 (java) S 5284 5284 3809 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 154264147 14320615424 121213 33554432000 4194304 4196468 140731194453344 140316180227712 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5295] ppid=5284 vsize=13984976 memory=288230583166042425 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5295/stat : 5295 (java) S 5284 5284 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264149 14320615424 121213 33554432000 4194304 4196468 140731194453344 140316089264720 140316978947995 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5296] ppid=5284 vsize=13984976 memory=15821118447553063 CPUtime=4.19 cores=0,2,4,6
/proc/5286/task/5296/stat : 5296 (java) S 5284 5284 3809 0 -1 1077944384 19092 0 0 0 417 2 0 0 20 0 15 0 154264149 14320615424 121213 33554432000 4194304 4196468 140731194453344 140316088211568 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5297] ppid=5284 vsize=13984976 memory=1296 CPUtime=4.31 cores=0,2,4,6
/proc/5286/task/5297/stat : 5297 (java) S 5284 5284 3809 0 -1 1077944384 36860 0 0 0 427 4 0 0 20 0 15 0 154264149 14320615424 121213 33554432000 4194304 4196468 140731194453344 140316087158768 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5298] ppid=5284 vsize=13984976 memory=2428 CPUtime=0.77 cores=0,2,4,6
/proc/5286/task/5298/stat : 5298 (java) S 5284 5284 3809 0 -1 1077944384 9995 0 0 0 76 1 0 0 20 0 15 0 154264149 14320615424 121213 33554432000 4194304 4196468 140731194453344 140316086106480 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5299] ppid=5284 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5286/task/5299/stat : 5299 (java) S 5284 5284 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154264150 14320615424 121213 33554432000 4194304 4196468 140731194453344 140316085053920 140316978939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
[pid=5286/tid=5300] ppid=5284 vsize=13984976 memory=457076 CPUtime=0.13 cores=0,2,4,6
/proc/5286/task/5300/stat : 5300 (java) S 5284 5284 3809 0 -1 1077944384 704 0 0 0 6 7 0 0 20 0 15 0 154264150 14320615424 121213 33554432000 4194304 4196468 140731194453344 140316084001712 140316978940546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 24428544 140731194459293 140731194459468 140731194459468 140731194462159 0
Current children cumulated CPU time: 254.82 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 486236 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 5284 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001923 s
[startup+240.024 s]
# the end of solver process 5286 was just reported to runsolver
# cumulated CPU time of all completed processes: user=253.773 s, system=1.06904 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): 240.025
CPU time (s): 254.842
CPU user time (s): 253.773
CPU system time (s): 1.06904
CPU usage (%): 106.173
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 963148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.773
system time used= 1.06904
maximum resident set size= 972560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105160
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10403
involuntary context switches= 504
# summary of solver processes directly reported to runsolver:
# pid: 5284,5286
# total CPU time (s): 254.842
# total CPU user time (s): 253.773
# total CPU system time (s): 1.06904
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.36374 second user time and 2.54261 second system time
The end