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 (9568 MiB free)
memory of node 1: 16384 MiB (11689 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405826-1569408367/watcher-4405826-1569408367 -o /var/tmp/evaluation-result-4405826-1569408367/solver-4405826-1569408367 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1569396629-25937 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1694143276 HOME/instance-4405826-1569408367.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29115, runsolver pid=29112
[startup+0.100153 s]*
/proc/loadavg: 1.53 1.65 1.79 4/229 29131
/proc/meminfo: memFree=21751948/32770624 swapFree=66953520/67108860
[pid=29115] ppid=29112 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29115/stat : 29115 (xcsp3-exec) S 29112 29115 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516751484 115843072 363 33554432000 4194304 5098028 140726242265920 140726242264024 140562673750652 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22769664 140726242272086 140726242272345 140726242272345 140726242275270 0
/proc/29115/statm: 28282 363 305 221 0 87 0
[pid=29117] ppid=29115 vsize=15144776 memory=29588 CPUtime=0.13 cores=1,3,5,7
/proc/29117/stat : 29117 (java) S 29115 29115 25905 0 -1 1077944320 5846 0 0 0 12 1 0 0 20 0 15 0 516751484 15508250624 7397 33554432000 4194304 4196468 140730472428160 140730472410704 140469742747383 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
/proc/29117/statm: 3786194 7397 3180 1 0 3748377 0
[pid=29117/tid=29118] ppid=29115 vsize=15144776 memory=8108032331684915787 CPUtime=0.09 cores=1,3,5,7
/proc/29117/task/29118/stat : 29118 (java) R 29115 29115 25905 0 -1 4202560 3761 0 0 0 9 0 0 0 20 0 15 0 516751485 15508250624 7397 33554432000 4194304 4196468 140730472428160 140469746975152 140469742769309 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29119] ppid=29115 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29119/stat : 29119 (java) S 29115 29115 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751485 15508250624 7397 33554432000 4194304 4196468 140730472428160 140469670787600 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29120] ppid=29115 vsize=15144776 memory=140407260063360 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29120/stat : 29120 (java) S 29115 29115 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751485 15508250624 7397 33554432000 4194304 4196468 140730472428160 140469669735056 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29121] ppid=29115 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29121/stat : 29121 (java) S 29115 29115 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751485 15508250624 7397 33554432000 4194304 4196468 140730472428160 140469668682000 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29122] ppid=29115 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29122/stat : 29122 (java) S 29115 29115 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516751485 15508250624 7397 33554432000 4194304 4196468 140730472428160 140469667629456 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29123] ppid=29115 vsize=15144776 memory=140407260063360 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29123/stat : 29123 (java) S 29115 29115 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516751487 15508250624 7397 33554432000 4194304 4196468 140730472428160 140469211298544 140469742758530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29124] ppid=29115 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29124/stat : 29124 (java) S 29115 29115 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516751487 15508250624 7397 33554432000 4194304 4196468 140730472428160 140469210244768 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29125] ppid=29115 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29125/stat : 29125 (java) S 29115 29115 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516751487 15508250624 7397 33554432000 4194304 4196468 140730472428160 140469209191664 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29126] ppid=29115 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29126/stat : 29126 (java) S 29115 29115 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516751490 15508250624 7397 33554432000 4194304 4196468 140730472428160 140469208140240 140469742765979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29127] ppid=29115 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29127/stat : 29127 (java) R 29115 29115 25905 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 516751490 15508250624 7397 33554432000 4194304 4196468 140730472428160 140469207087344 140469742758530 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29128] ppid=29115 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29128/stat : 29128 (java) R 29115 29115 25905 0 -1 4202560 160 0 0 0 0 0 0 0 20 0 15 0 516751490 15508250624 7397 33554432000 4194304 4196468 140730472428160 140469206034800 140469719992128 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29129] ppid=29115 vsize=15144776 memory=140407260063360 CPUtime=0.02 cores=1,3,5,7
/proc/29117/task/29129/stat : 29129 (java) S 29115 29115 25905 0 -1 1077944384 322 0 0 0 2 0 0 0 20 0 15 0 516751490 15508250624 7397 33554432000 4194304 4196468 140730472428160 140469204981744 140469742758530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29130] ppid=29115 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29130/stat : 29130 (java) S 29115 29115 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516751490 15508250624 7397 33554432000 4194304 4196468 140730472428160 140469203929440 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29131] ppid=29115 vsize=15144776 memory=140407260063360 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29131/stat : 29131 (java) S 29115 29115 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751490 15508250624 7397 33554432000 4194304 4196468 140730472428160 140469202877488 140469742758530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31040 KiB
[startup+0.21088 s]*
/proc/loadavg: 1.53 1.65 1.79 4/229 29131
/proc/meminfo: memFree=21738596/32770624 swapFree=66953520/67108860
[pid=29115] ppid=29112 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29115/stat : 29115 (xcsp3-exec) S 29112 29115 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516751484 115843072 363 33554432000 4194304 5098028 140726242265920 140726242264024 140562673750652 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22769664 140726242272086 140726242272345 140726242272345 140726242275270 0
/proc/29115/statm: 28282 363 305 221 0 87 0
[pid=29117] ppid=29115 vsize=15144776 memory=41196 CPUtime=0.34 cores=1,3,5,7
/proc/29117/stat : 29117 (java) S 29115 29115 25905 0 -1 1077944320 9516 0 0 0 32 2 0 0 20 0 15 0 516751484 15508250624 10299 33554432000 4194304 4196468 140730472428160 140730472410704 140469742747383 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
/proc/29117/statm: 3786194 10299 3307 1 0 3748377 0
[pid=29117/tid=29118] ppid=29115 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/29117/task/29118/stat : 29118 (java) R 29115 29115 25905 0 -1 4202560 6613 0 0 0 18 2 0 0 20 0 15 0 516751485 15508250624 10299 33554432000 4194304 4196468 140730472428160 140469746984848 140469726827870 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29119] ppid=29115 vsize=15144776 memory=11079 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29119/stat : 29119 (java) S 29115 29115 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751485 15508250624 10299 33554432000 4194304 4196468 140730472428160 140469670787600 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29120] ppid=29115 vsize=15144776 memory=3690192153025473891 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29120/stat : 29120 (java) S 29115 29115 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751485 15508250624 10299 33554432000 4194304 4196468 140730472428160 140469669735056 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29121] ppid=29115 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29121/stat : 29121 (java) S 29115 29115 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751485 15508250624 10299 33554432000 4194304 4196468 140730472428160 140469668682000 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29122] ppid=29115 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29122/stat : 29122 (java) S 29115 29115 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516751485 15508250624 10299 33554432000 4194304 4196468 140730472428160 140469667629456 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29123] ppid=29115 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29123/stat : 29123 (java) S 29115 29115 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516751487 15508250624 10299 33554432000 4194304 4196468 140730472428160 140469211298544 140469742758530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29124] ppid=29115 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29124/stat : 29124 (java) S 29115 29115 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516751487 15508250624 10299 33554432000 4194304 4196468 140730472428160 140469210244768 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29125] ppid=29115 vsize=15144776 memory=140407260063360 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29125/stat : 29125 (java) S 29115 29115 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516751487 15508250624 10299 33554432000 4194304 4196468 140730472428160 140469209191664 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29126] ppid=29115 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29126/stat : 29126 (java) S 29115 29115 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516751490 15508250624 10299 33554432000 4194304 4196468 140730472428160 140469208140240 140469742765979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29127] ppid=29115 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29117/task/29127/stat : 29127 (java) S 29115 29115 25905 0 -1 1077944384 613 0 0 0 2 0 0 0 20 0 15 0 516751490 15508250624 10299 33554432000 4194304 4196468 140730472428160 140469207087344 140469742758530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29128] ppid=29115 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/29117/task/29128/stat : 29128 (java) S 29115 29115 25905 0 -1 1077944384 244 0 0 0 2 0 0 0 20 0 15 0 516751490 15508250624 10299 33554432000 4194304 4196468 140730472428160 140469206034800 140469742758530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29129] ppid=29115 vsize=15144776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29117/task/29129/stat : 29129 (java) S 29115 29115 25905 0 -1 1077944384 742 0 0 0 8 0 0 0 20 0 15 0 516751490 15508250624 10299 33554432000 4194304 4196468 140730472428160 140469204981744 140469742758530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29130] ppid=29115 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29130/stat : 29130 (java) S 29115 29115 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516751490 15508250624 10299 33554432000 4194304 4196468 140730472428160 140469203929440 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29131] ppid=29115 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29131/stat : 29131 (java) S 29115 29115 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751490 15508250624 10299 33554432000 4194304 4196468 140730472428160 140469202877488 140469742758530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42648 KiB
[startup+0.310644 s]*
/proc/loadavg: 1.53 1.65 1.79 3/229 29131
/proc/meminfo: memFree=21732196/32770624 swapFree=66953520/67108860
[pid=29115] ppid=29112 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29115/stat : 29115 (xcsp3-exec) S 29112 29115 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516751484 115843072 363 33554432000 4194304 5098028 140726242265920 140726242264024 140562673750652 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22769664 140726242272086 140726242272345 140726242272345 140726242275270 0
/proc/29115/statm: 28282 363 305 221 0 87 0
[pid=29117] ppid=29115 vsize=15149032 memory=49816 CPUtime=0.53 cores=1,3,5,7
/proc/29117/stat : 29117 (java) S 29115 29115 25905 0 -1 1077944320 10785 0 0 0 49 4 0 0 20 0 15 0 516751484 15512608768 12454 33554432000 4194304 4196468 140730472428160 140730472410704 140469742747383 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
/proc/29117/statm: 3787258 12454 3338 1 0 3748377 0
[pid=29117/tid=29118] ppid=29115 vsize=15149032 memory=7883960649037381690 CPUtime=0.29 cores=1,3,5,7
/proc/29117/task/29118/stat : 29118 (java) R 29115 29115 25905 0 -1 4202560 7806 0 0 0 27 2 0 0 20 0 15 0 516751485 15512608768 12454 33554432000 4194304 4196468 140730472428160 140469746981168 140469742769309 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29119] ppid=29115 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29119/stat : 29119 (java) S 29115 29115 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751485 15512608768 12454 33554432000 4194304 4196468 140730472428160 140469670787600 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29120] ppid=29115 vsize=15149032 memory=3905528202495551090 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29120/stat : 29120 (java) S 29115 29115 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751485 15512608768 12454 33554432000 4194304 4196468 140730472428160 140469669735056 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29121] ppid=29115 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29121/stat : 29121 (java) S 29115 29115 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751485 15512608768 12454 33554432000 4194304 4196468 140730472428160 140469668682000 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29122] ppid=29115 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29122/stat : 29122 (java) S 29115 29115 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516751485 15512608768 12454 33554432000 4194304 4196468 140730472428160 140469667629456 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29123] ppid=29115 vsize=15149032 memory=140407260063360 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29123/stat : 29123 (java) S 29115 29115 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516751487 15512608768 12454 33554432000 4194304 4196468 140730472428160 140469211298544 140469742758530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29124] ppid=29115 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29124/stat : 29124 (java) S 29115 29115 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516751487 15512608768 12454 33554432000 4194304 4196468 140730472428160 140469210244768 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29125] ppid=29115 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29125/stat : 29125 (java) S 29115 29115 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516751487 15512608768 12454 33554432000 4194304 4196468 140730472428160 140469209191664 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29126] ppid=29115 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29126/stat : 29126 (java) S 29115 29115 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516751490 15512608768 12454 33554432000 4194304 4196468 140730472428160 140469208140240 140469742765979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29127] ppid=29115 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/29117/task/29127/stat : 29127 (java) S 29115 29115 25905 0 -1 1077944384 619 0 0 0 4 0 0 0 20 0 15 0 516751490 15512608768 12454 33554432000 4194304 4196468 140730472428160 140469207087344 140469742758530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29128] ppid=29115 vsize=15149032 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/29117/task/29128/stat : 29128 (java) S 29115 29115 25905 0 -1 1077944384 253 0 0 0 4 0 0 0 20 0 15 0 516751490 15512608768 12454 33554432000 4194304 4196468 140730472428160 140469206034800 140469742758530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29129] ppid=29115 vsize=15149032 memory=140407260063360 CPUtime=0.12 cores=1,3,5,7
/proc/29117/task/29129/stat : 29129 (java) S 29115 29115 25905 0 -1 1077944384 804 0 0 0 12 0 0 0 20 0 15 0 516751490 15512608768 12454 33554432000 4194304 4196468 140730472428160 140469204981744 140469742758530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29130] ppid=29115 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29130/stat : 29130 (java) S 29115 29115 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516751490 15512608768 12454 33554432000 4194304 4196468 140730472428160 140469203929440 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29131] ppid=29115 vsize=15149032 memory=140407260063360 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29131/stat : 29131 (java) S 29115 29115 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751490 15512608768 12454 33554432000 4194304 4196468 140730472428160 140469202877488 140469742758530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51268 KiB
[startup+0.552951 s]
# the end of solver process 29115 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.992696 s, system=0.057739 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.41031 s]*
/proc/loadavg: 1.53 1.65 1.79 3/229 29131
/proc/meminfo: memFree=21727260/32770624 swapFree=66953520/67108860
[pid=29115] ppid=29112 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29115/stat : 29115 (xcsp3-exec) S 29112 29115 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516751484 115843072 363 33554432000 4194304 5098028 140726242265920 140726242264024 140562673750652 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22769664 140726242272086 140726242272345 140726242272345 140726242275270 0
/proc/29115/statm: 28282 363 305 221 0 87 0
[pid=29117] ppid=29115 vsize=15151156 memory=55316 CPUtime=0.72 cores=1,3,5,7
/proc/29117/stat : 29117 (java) S 29115 29115 25905 0 -1 1077944320 12082 0 0 0 68 4 0 0 20 0 15 0 516751484 15514783744 13829 33554432000 4194304 4196468 140730472428160 140730472410704 140469742747383 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
/proc/29117/statm: 3787789 13829 3412 1 0 3748889 0
[pid=29117/tid=29118] ppid=29115 vsize=15151156 memory=7883960649037381690 CPUtime=0.4 cores=1,3,5,7
/proc/29117/task/29118/stat : 29118 (java) R 29115 29115 25905 0 -1 4202560 8810 0 0 0 37 3 0 0 20 0 15 0 516751485 15514783744 13829 33554432000 4194304 4196468 140730472428160 140469746975728 140469742769309 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29119] ppid=29115 vsize=15151156 memory=11079 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29119/stat : 29119 (java) S 29115 29115 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751485 15514783744 13829 33554432000 4194304 4196468 140730472428160 140469670787600 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29120] ppid=29115 vsize=15151156 memory=3690192153025473891 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29120/stat : 29120 (java) S 29115 29115 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751485 15514783744 13829 33554432000 4194304 4196468 140730472428160 140469669735056 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29121] ppid=29115 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29121/stat : 29121 (java) S 29115 29115 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751485 15514783744 13829 33554432000 4194304 4196468 140730472428160 140469668682000 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29122] ppid=29115 vsize=15151156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29122/stat : 29122 (java) S 29115 29115 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516751485 15514783744 13829 33554432000 4194304 4196468 140730472428160 140469667629456 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29123] ppid=29115 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29123/stat : 29123 (java) S 29115 29115 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516751487 15514783744 13829 33554432000 4194304 4196468 140730472428160 140469211298544 140469742758530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29124] ppid=29115 vsize=15151156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29124/stat : 29124 (java) S 29115 29115 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516751487 15514783744 13829 33554432000 4194304 4196468 140730472428160 140469210244768 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29125] ppid=29115 vsize=15151156 memory=140407260063360 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29125/stat : 29125 (java) S 29115 29115 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516751487 15514783744 13829 33554432000 4194304 4196468 140730472428160 140469209191664 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29126] ppid=29115 vsize=15151156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29126/stat : 29126 (java) S 29115 29115 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516751490 15514783744 13829 33554432000 4194304 4196468 140730472428160 140469208140240 140469742765979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29127] ppid=29115 vsize=15151156 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/29117/task/29127/stat : 29127 (java) S 29115 29115 25905 0 -1 1077944384 678 0 0 0 6 0 0 0 20 0 15 0 516751490 15514783744 13829 33554432000 4194304 4196468 140730472428160 140469207087344 140469742758530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29128] ppid=29115 vsize=15151156 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29117/task/29128/stat : 29128 (java) S 29115 29115 25905 0 -1 1077944384 355 0 0 0 7 0 0 0 20 0 15 0 516751490 15514783744 13829 33554432000 4194304 4196468 140730472428160 140469206034800 140469742758530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29129] ppid=29115 vsize=15151156 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/29117/task/29129/stat : 29129 (java) R 29115 29115 25905 0 -1 4202560 935 0 0 0 17 0 0 0 20 0 15 0 516751490 15514783744 13829 33554432000 4194304 4196468 140730472428160 140469204981744 140469735847230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29130] ppid=29115 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29130/stat : 29130 (java) S 29115 29115 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516751490 15514783744 13829 33554432000 4194304 4196468 140730472428160 140469203929440 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29131] ppid=29115 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29131/stat : 29131 (java) S 29115 29115 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751490 15514783744 13829 33554432000 4194304 4196468 140730472428160 140469202877488 140469742758530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
Current children cumulated CPU time: 0.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 56768 KiB
[startup+0.510819 s]*
/proc/loadavg: 1.53 1.65 1.79 4/229 29131
/proc/meminfo: memFree=21723848/32770624 swapFree=66953520/67108860
[pid=29115] ppid=29112 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29115/stat : 29115 (xcsp3-exec) S 29112 29115 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516751484 115843072 363 33554432000 4194304 5098028 140726242265920 140726242264024 140562673750652 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22769664 140726242272086 140726242272345 140726242272345 140726242275270 0
/proc/29115/statm: 28282 363 305 221 0 87 0
[pid=29117] ppid=29115 vsize=15151156 memory=59524 CPUtime=0.96 cores=1,3,5,7
/proc/29117/stat : 29117 (java) S 29115 29115 25905 0 -1 1077944320 12703 0 0 0 91 5 0 0 20 0 15 0 516751484 15514783744 14881 33554432000 4194304 4196468 140730472428160 140730472410704 140469742747383 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
/proc/29117/statm: 3787789 14881 3433 1 0 3748889 0
[pid=29117/tid=29118] ppid=29115 vsize=15151156 memory=1398722017469774279 CPUtime=0.49 cores=1,3,5,7
/proc/29117/task/29118/stat : 29118 (java) R 29115 29115 25905 0 -1 4202560 8973 0 0 0 46 3 0 0 20 0 15 0 516751485 15514783744 14881 33554432000 4194304 4196468 140730472428160 140469746982632 140469724153682 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29119] ppid=29115 vsize=15151156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29119/stat : 29119 (java) S 29115 29115 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751485 15514783744 14881 33554432000 4194304 4196468 140730472428160 140469670787600 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29120] ppid=29115 vsize=15151156 memory=2596 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29120/stat : 29120 (java) S 29115 29115 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751485 15514783744 14881 33554432000 4194304 4196468 140730472428160 140469669735056 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29121] ppid=29115 vsize=15151156 memory=2864 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29121/stat : 29121 (java) S 29115 29115 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751485 15514783744 14881 33554432000 4194304 4196468 140730472428160 140469668682000 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29122] ppid=29115 vsize=15151156 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29122/stat : 29122 (java) S 29115 29115 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516751485 15514783744 14881 33554432000 4194304 4196468 140730472428160 140469667629456 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29123] ppid=29115 vsize=15151156 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29123/stat : 29123 (java) S 29115 29115 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516751487 15514783744 14881 33554432000 4194304 4196468 140730472428160 140469211298544 140469742758530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29124] ppid=29115 vsize=15151156 memory=3320 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29124/stat : 29124 (java) S 29115 29115 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516751487 15514783744 14881 33554432000 4194304 4196468 140730472428160 140469210244768 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29125] ppid=29115 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29125/stat : 29125 (java) S 29115 29115 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516751487 15514783744 14881 33554432000 4194304 4196468 140730472428160 140469209191664 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29126] ppid=29115 vsize=15151156 memory=3879432 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29126/stat : 29126 (java) S 29115 29115 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516751490 15514783744 14881 33554432000 4194304 4196468 140730472428160 140469208140240 140469742765979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29127] ppid=29115 vsize=15151156 memory=1412 CPUtime=0.11 cores=1,3,5,7
/proc/29117/task/29127/stat : 29127 (java) R 29115 29115 25905 0 -1 4202560 886 0 0 0 11 0 0 0 20 0 15 0 516751490 15514783744 14881 33554432000 4194304 4196468 140730472428160 140469207068360 140469728780353 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29128] ppid=29115 vsize=15151156 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/29117/task/29128/stat : 29128 (java) R 29115 29115 25905 0 -1 4202560 558 0 0 0 14 0 0 0 20 0 15 0 516751490 15514783744 14881 33554432000 4194304 4196468 140730472428160 140469206020680 140469722467442 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29129] ppid=29115 vsize=15151156 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/29117/task/29129/stat : 29129 (java) R 29115 29115 25905 0 -1 4202560 982 0 0 0 19 0 0 0 20 0 15 0 516751490 15514783744 14881 33554432000 4194304 4196468 140730472428160 140469204979336 140469734984510 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29130] ppid=29115 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29130/stat : 29130 (java) S 29115 29115 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516751490 15514783744 14881 33554432000 4194304 4196468 140730472428160 140469203929440 140469742757589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
[pid=29117/tid=29131] ppid=29115 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29117/task/29131/stat : 29131 (java) S 29115 29115 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751490 15514783744 14881 33554432000 4194304 4196468 140730472428160 140469202877488 140469742758530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21422080 140730472432603 140730472432778 140730472432778 140730472435663 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 60976 KiB
Child status: 0
Real time (s): 0.553004
CPU time (s): 1.05043
CPU user time (s): 0.992696
CPU system time (s): 0.057739
CPU usage (%): 189.951
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 60976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.992696
system time used= 0.057739
maximum resident set size= 62356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13779
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1257
involuntary context switches= 3
# summary of solver processes directly reported to runsolver:
# pid: 29115
# total CPU time (s): 1.05043
# total CPU user time (s): 0.992696
# total CPU system time (s): 0.057739
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.022733 second user time and 0.052444 second system time
The end