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 (6977 MiB free)
memory of node 1: 16384 MiB (8023 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403851-1568993673/watcher-4403851-1568993673 -o /var/tmp/evaluation-result-4403851-1568993673/solver-4403851-1568993673 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node147-1568991333-3666 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1607138400 HOME/instance-4403851-1568993673.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
solver pid=8673, runsolver pid=8670
Current StackSize limit: 8192 KiB
[startup+0.100104 s]*
/proc/loadavg: 7.46 7.87 7.27 8/234 8689
/proc/meminfo: memFree=15343872/32770624 swapFree=66935844/67108860
[pid=8673] ppid=8670 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8673/stat : 8673 (xcsp3-exec) S 8670 8673 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475281149 115843072 363 33554432000 4194304 5098028 140721172290720 140721172288824 139935398290044 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24653824 140721172292438 140721172292697 140721172292697 140721172295622 0
/proc/8673/statm: 28282 363 305 221 0 87 0
[pid=8675] ppid=8673 vsize=15144776 memory=29372 CPUtime=0.13 cores=1,3,5,7
/proc/8675/stat : 8675 (java) S 8673 8673 3634 0 -1 1077944320 5822 0 0 0 12 1 0 0 20 0 15 0 475281149 15508250624 7343 33554432000 4194304 4196468 140733957004512 140733956987056 140479062277879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
/proc/8675/statm: 3786194 7343 3180 1 0 3748377 0
[pid=8675/tid=8676] ppid=8673 vsize=15144776 memory=8044736938345993051 CPUtime=0.09 cores=1,3,5,7
/proc/8675/task/8676/stat : 8676 (java) R 8673 8673 3634 0 -1 4202560 3707 0 0 0 9 0 0 0 20 0 15 0 475281149 15508250624 7343 33554432000 4194304 4196468 140733957004512 140479066499152 140479062299226 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8677] ppid=8673 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8677/stat : 8677 (java) S 8673 8673 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475281150 15508250624 7343 33554432000 4194304 4196468 140733957004512 140478990318352 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8678] ppid=8673 vsize=15144776 memory=140608872531584 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8678/stat : 8678 (java) S 8673 8673 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475281150 15508250624 7343 33554432000 4194304 4196468 140733957004512 140478989265808 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8679] ppid=8673 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8679/stat : 8679 (java) S 8673 8673 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475281150 15508250624 7343 33554432000 4194304 4196468 140733957004512 140478988213264 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8680] ppid=8673 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8680/stat : 8680 (java) S 8673 8673 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475281150 15508250624 7343 33554432000 4194304 4196468 140733957004512 140478987160720 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8681] ppid=8673 vsize=15144776 memory=140608872531584 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8681/stat : 8681 (java) S 8673 8673 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475281151 15508250624 7343 33554432000 4194304 4196468 140733957004512 140478530906096 140479062289026 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8682] ppid=8673 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8682/stat : 8682 (java) S 8673 8673 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475281152 15508250624 7343 33554432000 4194304 4196468 140733957004512 140478529852320 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8683] ppid=8673 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8683/stat : 8683 (java) S 8673 8673 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475281152 15508250624 7343 33554432000 4194304 4196468 140733957004512 140478528799728 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8684] ppid=8673 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8684/stat : 8684 (java) S 8673 8673 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475281155 15508250624 7343 33554432000 4194304 4196468 140733957004512 140478527748304 140479062296475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8685] ppid=8673 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8685/stat : 8685 (java) R 8673 8673 3634 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 475281155 15508250624 7343 33554432000 4194304 4196468 140733957004512 140478526695920 140479062289026 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8686] ppid=8673 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8686/stat : 8686 (java) S 8673 8673 3634 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 15 0 475281155 15508250624 7343 33554432000 4194304 4196468 140733957004512 140478525643376 140479062289026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8687] ppid=8673 vsize=15144776 memory=140608872531584 CPUtime=0.02 cores=1,3,5,7
/proc/8675/task/8687/stat : 8687 (java) R 8673 8673 3634 0 -1 4202560 324 0 0 0 2 0 0 0 20 0 15 0 475281155 15508250624 7343 33554432000 4194304 4196468 140733957004512 140478524590832 140479046588657 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8688] ppid=8673 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8688/stat : 8688 (java) S 8673 8673 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475281155 15508250624 7343 33554432000 4194304 4196468 140733957004512 140478523538528 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8689] ppid=8673 vsize=15144776 memory=140608872531584 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8689/stat : 8689 (java) S 8673 8673 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475281155 15508250624 7343 33554432000 4194304 4196468 140733957004512 140478522485040 140479062289026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30824 KiB
[startup+0.212027 s]*
/proc/loadavg: 7.46 7.87 7.27 7/234 8689
/proc/meminfo: memFree=15331432/32770624 swapFree=66935844/67108860
[pid=8673] ppid=8670 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8673/stat : 8673 (xcsp3-exec) S 8670 8673 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475281149 115843072 363 33554432000 4194304 5098028 140721172290720 140721172288824 139935398290044 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24653824 140721172292438 140721172292697 140721172292697 140721172295622 0
/proc/8673/statm: 28282 363 305 221 0 87 0
[pid=8675] ppid=8673 vsize=15144776 memory=41072 CPUtime=0.35 cores=1,3,5,7
/proc/8675/stat : 8675 (java) S 8673 8673 3634 0 -1 1077944320 9496 0 0 0 32 3 0 0 20 0 15 0 475281149 15508250624 10268 33554432000 4194304 4196468 140733957004512 140733956987056 140479062277879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
/proc/8675/statm: 3786194 10268 3306 1 0 3748377 0
[pid=8675/tid=8676] ppid=8673 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/8675/task/8676/stat : 8676 (java) R 8673 8673 3634 0 -1 4202560 6633 0 0 0 18 2 0 0 20 0 15 0 475281149 15508250624 10268 33554432000 4194304 4196468 140733957004512 140479066512864 140479062289814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8677] ppid=8673 vsize=15144776 memory=8956 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8677/stat : 8677 (java) S 8673 8673 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475281150 15508250624 10268 33554432000 4194304 4196468 140733957004512 140478990318352 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8678] ppid=8673 vsize=15144776 memory=3689774192794420896 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8678/stat : 8678 (java) S 8673 8673 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475281150 15508250624 10268 33554432000 4194304 4196468 140733957004512 140478989265808 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8679] ppid=8673 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8679/stat : 8679 (java) S 8673 8673 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475281150 15508250624 10268 33554432000 4194304 4196468 140733957004512 140478988213264 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8680] ppid=8673 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8680/stat : 8680 (java) S 8673 8673 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475281150 15508250624 10268 33554432000 4194304 4196468 140733957004512 140478987160720 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8681] ppid=8673 vsize=15144776 memory=140608872531584 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8681/stat : 8681 (java) S 8673 8673 3634 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475281151 15508250624 10268 33554432000 4194304 4196468 140733957004512 140478530906096 140479062289026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8682] ppid=8673 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8682/stat : 8682 (java) S 8673 8673 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475281152 15508250624 10268 33554432000 4194304 4196468 140733957004512 140478529852320 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8683] ppid=8673 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8683/stat : 8683 (java) S 8673 8673 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475281152 15508250624 10268 33554432000 4194304 4196468 140733957004512 140478528799728 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8684] ppid=8673 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8684/stat : 8684 (java) S 8673 8673 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475281155 15508250624 10268 33554432000 4194304 4196468 140733957004512 140478527748304 140479062296475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8685] ppid=8673 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8675/task/8685/stat : 8685 (java) S 8673 8673 3634 0 -1 1077944384 434 0 0 0 2 0 0 0 20 0 15 0 475281155 15508250624 10268 33554432000 4194304 4196468 140733957004512 140478526695920 140479062289026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8686] ppid=8673 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8675/task/8686/stat : 8686 (java) S 8673 8673 3634 0 -1 1077944384 389 0 0 0 2 0 0 0 20 0 15 0 475281155 15508250624 10268 33554432000 4194304 4196468 140733957004512 140478525643376 140479062289026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8687] ppid=8673 vsize=15144776 memory=140608872531584 CPUtime=0.08 cores=1,3,5,7
/proc/8675/task/8687/stat : 8687 (java) R 8673 8673 3634 0 -1 4202560 741 0 0 0 8 0 0 0 20 0 15 0 475281155 15508250624 10268 33554432000 4194304 4196468 140733957004512 140478524590832 140479041617425 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8688] ppid=8673 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8688/stat : 8688 (java) S 8673 8673 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475281155 15508250624 10268 33554432000 4194304 4196468 140733957004512 140478523538528 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8689] ppid=8673 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8689/stat : 8689 (java) S 8673 8673 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475281155 15508250624 10268 33554432000 4194304 4196468 140733957004512 140478522485040 140479062289026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42524 KiB
[startup+0.310892 s]*
/proc/loadavg: 7.46 7.87 7.27 7/234 8689
/proc/meminfo: memFree=15323612/32770624 swapFree=66935844/67108860
[pid=8673] ppid=8670 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8673/stat : 8673 (xcsp3-exec) S 8670 8673 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475281149 115843072 363 33554432000 4194304 5098028 140721172290720 140721172288824 139935398290044 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24653824 140721172292438 140721172292697 140721172292697 140721172295622 0
/proc/8673/statm: 28282 363 305 221 0 87 0
[pid=8675] ppid=8673 vsize=15149032 memory=51244 CPUtime=0.54 cores=1,3,5,7
/proc/8675/stat : 8675 (java) S 8673 8673 3634 0 -1 1077944320 10818 0 0 0 50 4 0 0 20 0 15 0 475281149 15512608768 12811 33554432000 4194304 4196468 140733957004512 140733956987056 140479062277879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
/proc/8675/statm: 3787258 12811 3372 1 0 3748377 0
[pid=8675/tid=8676] ppid=8673 vsize=15149032 memory=8112282956445269571 CPUtime=0.3 cores=1,3,5,7
/proc/8675/task/8676/stat : 8676 (java) R 8673 8673 3634 0 -1 4202560 7790 0 0 0 27 3 0 0 20 0 15 0 475281149 15512608768 12816 33554432000 4194304 4196468 140733957004512 140479066508992 140479046358366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8677] ppid=8673 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8677/stat : 8677 (java) S 8673 8673 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475281150 15512608768 12816 33554432000 4194304 4196468 140733957004512 140478990318352 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8678] ppid=8673 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8678/stat : 8678 (java) S 8673 8673 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475281150 15512608768 12816 33554432000 4194304 4196468 140733957004512 140478989265808 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8679] ppid=8673 vsize=15149032 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8679/stat : 8679 (java) S 8673 8673 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475281150 15512608768 12816 33554432000 4194304 4196468 140733957004512 140478988213264 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8680] ppid=8673 vsize=15149032 memory=7161374744685748120 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8680/stat : 8680 (java) S 8673 8673 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475281150 15512608768 12816 33554432000 4194304 4196468 140733957004512 140478987160720 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8681] ppid=8673 vsize=15149032 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8681/stat : 8681 (java) S 8673 8673 3634 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475281151 15512608768 12816 33554432000 4194304 4196468 140733957004512 140478530906096 140479062289026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8682] ppid=8673 vsize=15149032 memory=4196912344889787449 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8682/stat : 8682 (java) S 8673 8673 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475281152 15512608768 12816 33554432000 4194304 4196468 140733957004512 140478529852320 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8683] ppid=8673 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8683/stat : 8683 (java) S 8673 8673 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475281152 15512608768 12816 33554432000 4194304 4196468 140733957004512 140478528799728 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8684] ppid=8673 vsize=15149032 memory=-6444775992005010620 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8684/stat : 8684 (java) S 8673 8673 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475281155 15512608768 12816 33554432000 4194304 4196468 140733957004512 140478527748304 140479062296475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8685] ppid=8673 vsize=15149032 memory=8325818968683490714 CPUtime=0.03 cores=1,3,5,7
/proc/8675/task/8685/stat : 8685 (java) S 8673 8673 3634 0 -1 1077944384 439 0 0 0 3 0 0 0 20 0 15 0 475281155 15512608768 12816 33554432000 4194304 4196468 140733957004512 140478526695920 140479062289026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8686] ppid=8673 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/8675/task/8686/stat : 8686 (java) R 8673 8673 3634 0 -1 4202560 481 0 0 0 5 0 0 0 20 0 15 0 475281155 15512608768 12816 33554432000 4194304 4196468 140733957004512 140478525633760 140479039539136 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8687] ppid=8673 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/8675/task/8687/stat : 8687 (java) S 8673 8673 3634 0 -1 1077944384 815 0 0 0 13 0 0 0 20 0 15 0 475281155 15512608768 12816 33554432000 4194304 4196468 140733957004512 140478524590832 140479062289026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8688] ppid=8673 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8688/stat : 8688 (java) S 8673 8673 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475281155 15512608768 12816 33554432000 4194304 4196468 140733957004512 140478523538528 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8689] ppid=8673 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8689/stat : 8689 (java) S 8673 8673 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475281155 15512608768 12816 33554432000 4194304 4196468 140733957004512 140478522485040 140479062289026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52696 KiB
[startup+0.702513 s]
/proc/loadavg: 7.46 7.87 7.27 10/234 8689
/proc/meminfo: memFree=15299728/32770624 swapFree=66935844/67108860
[pid=8673] ppid=8670 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8673/stat : 8673 (xcsp3-exec) S 8670 8673 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475281149 115843072 363 33554432000 4194304 5098028 140721172290720 140721172288824 139935398290044 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24653824 140721172292438 140721172292697 140721172292697 140721172295622 0
/proc/8673/statm: 28282 363 305 221 0 87 0
[pid=8675] ppid=8673 vsize=15151156 memory=93408 CPUtime=1.74 cores=1,3,5,7
/proc/8675/stat : 8675 (java) S 8673 8673 3634 0 -1 1077944320 15772 0 0 0 168 6 0 0 20 0 15 0 475281149 15514783744 23352 33554432000 4194304 4196468 140733957004512 140733956987056 140479062277879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
/proc/8675/statm: 3787789 23352 3457 1 0 3748889 0
[pid=8675/tid=8676] ppid=8673 vsize=15151156 memory=33 CPUtime=0.68 cores=1,3,5,7
/proc/8675/task/8676/stat : 8676 (java) R 8673 8673 3634 0 -1 4202560 9177 0 0 0 64 4 0 0 20 0 15 0 475281149 15514783744 23352 33554432000 4194304 4196468 140733957004512 140479066513088 140479044685007 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8677] ppid=8673 vsize=15151156 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8677/stat : 8677 (java) S 8673 8673 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475281150 15514783744 23352 33554432000 4194304 4196468 140733957004512 140478990318352 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8678] ppid=8673 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8678/stat : 8678 (java) S 8673 8673 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475281150 15514783744 23352 33554432000 4194304 4196468 140733957004512 140478989265808 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8679] ppid=8673 vsize=15151156 memory=55832 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8679/stat : 8679 (java) S 8673 8673 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475281150 15514783744 23352 33554432000 4194304 4196468 140733957004512 140478988213264 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8680] ppid=8673 vsize=15151156 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8680/stat : 8680 (java) S 8673 8673 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475281150 15514783744 23352 33554432000 4194304 4196468 140733957004512 140478987160720 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8681] ppid=8673 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8681/stat : 8681 (java) S 8673 8673 3634 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475281151 15514783744 23352 33554432000 4194304 4196468 140733957004512 140478530906096 140479062289026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8682] ppid=8673 vsize=15151156 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8682/stat : 8682 (java) S 8673 8673 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475281152 15514783744 23352 33554432000 4194304 4196468 140733957004512 140478529852320 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8683] ppid=8673 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8683/stat : 8683 (java) S 8673 8673 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475281152 15514783744 23352 33554432000 4194304 4196468 140733957004512 140478528799728 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8684] ppid=8673 vsize=15151156 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8684/stat : 8684 (java) S 8673 8673 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475281155 15514783744 23352 33554432000 4194304 4196468 140733957004512 140478527748304 140479062296475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8685] ppid=8673 vsize=15151156 memory=6024 CPUtime=0.28 cores=1,3,5,7
/proc/8675/task/8685/stat : 8685 (java) R 8673 8673 3634 0 -1 4202560 1507 0 0 0 28 0 0 0 20 0 15 0 475281155 15514783744 23352 33554432000 4194304 4196468 140733957004512 140478526681200 140479045763925 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8686] ppid=8673 vsize=15151156 memory=11416 CPUtime=0.32 cores=1,3,5,7
/proc/8675/task/8686/stat : 8686 (java) R 8673 8673 3634 0 -1 4202560 1602 0 0 0 32 0 0 0 20 0 15 0 475281155 15514783744 23352 33554432000 4194304 4196468 140733957004512 140478525635024 140479041938208 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8687] ppid=8673 vsize=15151156 memory=780 CPUtime=0.42 cores=1,3,5,7
/proc/8675/task/8687/stat : 8687 (java) S 8673 8673 3634 0 -1 1077944384 2175 0 0 0 42 0 0 0 20 0 15 0 475281155 15514783744 23352 33554432000 4194304 4196468 140733957004512 140478524590832 140479062289026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8688] ppid=8673 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8688/stat : 8688 (java) S 8673 8673 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475281155 15514783744 23352 33554432000 4194304 4196468 140733957004512 140478523538528 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8689] ppid=8673 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8689/stat : 8689 (java) S 8673 8673 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475281155 15514783744 23352 33554432000 4194304 4196468 140733957004512 140478522485040 140479062289026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 94860 KiB
[startup+1.50151 s]
/proc/loadavg: 7.46 7.87 7.27 9/234 8689
/proc/meminfo: memFree=15243388/32770624 swapFree=66935844/67108860
[pid=8673] ppid=8670 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8673/stat : 8673 (xcsp3-exec) S 8670 8673 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475281149 115843072 363 33554432000 4194304 5098028 140721172290720 140721172288824 139935398290044 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24653824 140721172292438 140721172292697 140721172292697 140721172295622 0
/proc/8673/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/8675/stat : 8675 (java) S 8673 8673 3634 0 -1 1077944320 354521 0 0 0 244958 199 0 0 20 0 19 0 475281149 15995064320 553113 33554432000 4194304 4196468 140733957004512 140733956987056 140479062277879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
/proc/8675/statm: 3905045 553113 3557 1 0 3866145 0
[pid=8675/tid=8676] ppid=8673 vsize=15620180 memory=2212452 CPUtime=5.5 cores=1,3,5,7
/proc/8675/task/8676/stat : 8676 (java) S 8673 8673 3634 0 -1 1077944384 28762 0 0 0 530 20 0 0 20 0 19 0 475281149 15995064320 553113 33554432000 4194304 4196468 140733957004512 140479066518592 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8677] ppid=8673 vsize=15620180 memory=2212452 CPUtime=0.78 cores=1,3,5,7
/proc/8675/task/8677/stat : 8677 (java) S 8673 8673 3634 0 -1 1077944384 4760 0 0 0 63 15 0 0 20 0 19 0 475281150 15995064320 553113 33554432000 4194304 4196468 140733957004512 140478990318352 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8678] ppid=8673 vsize=15620180 memory=1452 CPUtime=0.75 cores=1,3,5,7
/proc/8675/task/8678/stat : 8678 (java) S 8673 8673 3634 0 -1 1077944384 4473 0 0 0 61 14 0 0 20 0 19 0 475281150 15995064320 553113 33554432000 4194304 4196468 140733957004512 140478989265808 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8679] ppid=8673 vsize=15620180 memory=2212452 CPUtime=0.76 cores=1,3,5,7
/proc/8675/task/8679/stat : 8679 (java) S 8673 8673 3634 0 -1 1077944384 3142 0 0 0 62 14 0 0 20 0 19 0 475281150 15995064320 553113 33554432000 4194304 4196468 140733957004512 140478988213264 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8680] ppid=8673 vsize=15620180 memory=1452 CPUtime=0.76 cores=1,3,5,7
/proc/8675/task/8680/stat : 8680 (java) S 8673 8673 3634 0 -1 1077944384 3816 0 0 0 62 14 0 0 20 0 19 0 475281150 15995064320 553113 33554432000 4194304 4196468 140733957004512 140478987160720 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8681] ppid=8673 vsize=15620180 memory=2212452 CPUtime=0.11 cores=1,3,5,7
/proc/8675/task/8681/stat : 8681 (java) S 8673 8673 3634 0 -1 1077944384 9372 0 0 0 9 2 0 0 20 0 19 0 475281151 15995064320 553113 33554432000 4194304 4196468 140733957004512 140478530906096 140479062289026 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8682] ppid=8673 vsize=15620180 memory=2212452 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8682/stat : 8682 (java) S 8673 8673 3634 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 475281152 15995064320 553113 33554432000 4194304 4196468 140733957004512 140478529852384 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8683] ppid=8673 vsize=15620180 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8683/stat : 8683 (java) S 8673 8673 3634 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475281152 15995064320 553113 33554432000 4194304 4196468 140733957004512 140478528799744 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8684] ppid=8673 vsize=15620180 memory=2212452 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8684/stat : 8684 (java) S 8673 8673 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475281155 15995064320 553113 33554432000 4194304 4196468 140733957004512 140478527748304 140479062296475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8685] ppid=8673 vsize=15620180 memory=2218548 CPUtime=4.68 cores=1,3,5,7
/proc/8675/task/8685/stat : 8685 (java) S 8673 8673 3634 0 -1 1077944384 30927 0 0 0 465 3 0 0 20 0 19 0 475281155 15995064320 553113 33554432000 4194304 4196468 140733957004512 140478526695920 140479062289026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8686] ppid=8673 vsize=15620180 memory=2218548 CPUtime=5.02 cores=1,3,5,7
/proc/8675/task/8686/stat : 8686 (java) S 8673 8673 3634 0 -1 1077944384 35536 0 0 0 499 3 0 0 20 0 19 0 475281155 15995064320 553113 33554432000 4194304 4196468 140733957004512 140478525643376 140479062289026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8687] ppid=8673 vsize=15620180 memory=2218548 CPUtime=1.24 cores=1,3,5,7
/proc/8675/task/8687/stat : 8687 (java) S 8673 8673 3634 0 -1 1077944384 19707 0 0 0 121 3 0 0 20 0 19 0 475281155 15995064320 553113 33554432000 4194304 4196468 140733957004512 140478524590832 140479062289026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8688] ppid=8673 vsize=15620180 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8688/stat : 8688 (java) S 8673 8673 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475281155 15995064320 553113 33554432000 4194304 4196468 140733957004512 140478523538528 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8689] ppid=8673 vsize=15620180 memory=2218548 CPUtime=0.53 cores=1,3,5,7
/proc/8675/task/8689/stat : 8689 (java) S 8673 8673 3634 0 -1 1077944384 5242 0 0 0 23 30 0 0 20 0 19 0 475281155 15995064320 553113 33554432000 4194304 4196468 140733957004512 140478522485040 140479062289026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=14712] ppid=8673 vsize=15620180 memory=2218548 CPUtime=55.44 cores=1,3,5,7
/proc/8675/task/14712/stat : 14712 (java) R 8673 8673 3634 0 -1 4202560 925 0 0 0 5544 0 0 0 20 0 19 0 475345786 15995064320 553113 33554432000 4194304 4196468 140733957004512 140477535694736 140478675164102 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=14713] ppid=8673 vsize=15620180 memory=2212452 CPUtime=55.34 cores=1,3,5,7
/proc/8675/task/14713/stat : 14713 (java) R 8673 8673 3634 0 -1 4202560 4681 0 0 0 5533 1 0 0 20 0 19 0 475345786 15995064320 553113 33554432000 4194304 4196468 140733957004512 140477536748840 140478675164102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=14714] ppid=8673 vsize=15620180 memory=2212452 CPUtime=55.86 cores=1,3,5,7
/proc/8675/task/14714/stat : 14714 (java) R 8673 8673 3634 0 -1 4202560 2450 0 0 0 5586 0 0 0 20 0 19 0 475345786 15995064320 553113 33554432000 4194304 4196468 140733957004512 140477847289528 140478671122759 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=14715] ppid=8673 vsize=15620180 memory=1452 CPUtime=55.9 cores=1,3,5,7
/proc/8675/task/14715/stat : 14715 (java) R 8673 8673 3634 0 -1 4202560 1718 0 0 0 5590 0 0 0 20 0 19 0 475345786 15995064320 553113 33554432000 4194304 4196468 140733957004512 140477848338888 140478669813975 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
Current children cumulated CPU time: 2451.57 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 2213904 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+719.502 s]
/proc/loadavg: 4.77 5.23 6.22 5/211 14721
/proc/meminfo: memFree=16678120/32770624 swapFree=66935844/67108860
[pid=8673] ppid=8670 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8673/stat : 8673 (xcsp3-exec) S 8670 8673 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475281149 115843072 363 33554432000 4194304 5098028 140721172290720 140721172288824 139935398290044 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24653824 140721172292438 140721172292697 140721172292697 140721172295622 0
/proc/8673/statm: 28282 363 305 221 0 87 0
[pid=8675] ppid=8673 vsize=15620180 memory=2212456 CPUtime=2520.05 cores=1,3,5,7
/proc/8675/stat : 8675 (java) S 8673 8673 3634 0 -1 1077944320 357306 0 0 0 251806 199 0 0 20 0 19 0 475281149 15995064320 553114 33554432000 4194304 4196468 140733957004512 140733956987056 140479062277879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
/proc/8675/statm: 3905045 553114 3557 1 0 3866145 0
[pid=8675/tid=8676] ppid=8673 vsize=15620180 memory=1452 CPUtime=5.5 cores=1,3,5,7
/proc/8675/task/8676/stat : 8676 (java) S 8673 8673 3634 0 -1 1077944384 28762 0 0 0 530 20 0 0 20 0 19 0 475281149 15995064320 553114 33554432000 4194304 4196468 140733957004512 140479066518592 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8677] ppid=8673 vsize=15620180 memory=2212452 CPUtime=0.78 cores=1,3,5,7
/proc/8675/task/8677/stat : 8677 (java) S 8673 8673 3634 0 -1 1077944384 4760 0 0 0 63 15 0 0 20 0 19 0 475281150 15995064320 553114 33554432000 4194304 4196468 140733957004512 140478990318352 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8678] ppid=8673 vsize=15620180 memory=1368 CPUtime=0.75 cores=1,3,5,7
/proc/8675/task/8678/stat : 8678 (java) S 8673 8673 3634 0 -1 1077944384 4473 0 0 0 61 14 0 0 20 0 19 0 475281150 15995064320 553114 33554432000 4194304 4196468 140733957004512 140478989265808 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8679] ppid=8673 vsize=15620180 memory=988 CPUtime=0.76 cores=1,3,5,7
/proc/8675/task/8679/stat : 8679 (java) S 8673 8673 3634 0 -1 1077944384 3142 0 0 0 62 14 0 0 20 0 19 0 475281150 15995064320 553114 33554432000 4194304 4196468 140733957004512 140478988213264 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8680] ppid=8673 vsize=15620180 memory=2020 CPUtime=0.76 cores=1,3,5,7
/proc/8675/task/8680/stat : 8680 (java) S 8673 8673 3634 0 -1 1077944384 3816 0 0 0 62 14 0 0 20 0 19 0 475281150 15995064320 553114 33554432000 4194304 4196468 140733957004512 140478987160720 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8681] ppid=8673 vsize=15620180 memory=3512 CPUtime=0.11 cores=1,3,5,7
/proc/8675/task/8681/stat : 8681 (java) S 8673 8673 3634 0 -1 1077944384 9372 0 0 0 9 2 0 0 20 0 19 0 475281151 15995064320 553114 33554432000 4194304 4196468 140733957004512 140478530906096 140479062289026 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8682] ppid=8673 vsize=15620180 memory=2212452 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8682/stat : 8682 (java) S 8673 8673 3634 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 475281152 15995064320 553114 33554432000 4194304 4196468 140733957004512 140478529852384 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8683] ppid=8673 vsize=15620180 memory=2212452 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8683/stat : 8683 (java) S 8673 8673 3634 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475281152 15995064320 553114 33554432000 4194304 4196468 140733957004512 140478528799744 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8684] ppid=8673 vsize=15620180 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8684/stat : 8684 (java) S 8673 8673 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475281155 15995064320 553114 33554432000 4194304 4196468 140733957004512 140478527748304 140479062296475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8685] ppid=8673 vsize=15620180 memory=2212452 CPUtime=4.68 cores=1,3,5,7
/proc/8675/task/8685/stat : 8685 (java) S 8673 8673 3634 0 -1 1077944384 30931 0 0 0 465 3 0 0 20 0 19 0 475281155 15995064320 553114 33554432000 4194304 4196468 140733957004512 140478526695920 140479062289026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8686] ppid=8673 vsize=15620180 memory=1452 CPUtime=5.02 cores=1,3,5,7
/proc/8675/task/8686/stat : 8686 (java) S 8673 8673 3634 0 -1 1077944384 35538 0 0 0 499 3 0 0 20 0 19 0 475281155 15995064320 553114 33554432000 4194304 4196468 140733957004512 140478525643376 140479062289026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8687] ppid=8673 vsize=15620180 memory=2212452 CPUtime=1.24 cores=1,3,5,7
/proc/8675/task/8687/stat : 8687 (java) S 8673 8673 3634 0 -1 1077944384 21158 0 0 0 121 3 0 0 20 0 19 0 475281155 15995064320 553114 33554432000 4194304 4196468 140733957004512 140478524590832 140479062289026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8688] ppid=8673 vsize=15620180 memory=2212452 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8688/stat : 8688 (java) S 8673 8673 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475281155 15995064320 553114 33554432000 4194304 4196468 140733957004512 140478523538528 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8689] ppid=8673 vsize=15620180 memory=1452 CPUtime=0.55 cores=1,3,5,7
/proc/8675/task/8689/stat : 8689 (java) S 8673 8673 3634 0 -1 1077944384 5245 0 0 0 24 31 0 0 20 0 19 0 475281155 15995064320 553114 33554432000 4194304 4196468 140733957004512 140478522485040 140479062289026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=14712] ppid=8673 vsize=15620180 memory=2212452 CPUtime=72.33 cores=1,3,5,7
/proc/8675/task/14712/stat : 14712 (java) R 8673 8673 3634 0 -1 4202560 954 0 0 0 7233 0 0 0 20 0 19 0 475345786 15995064320 553114 33554432000 4194304 4196468 140733957004512 140477535694736 140478675164102 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=14713] ppid=8673 vsize=15620180 memory=1452 CPUtime=72.52 cores=1,3,5,7
/proc/8675/task/14713/stat : 14713 (java) R 8673 8673 3634 0 -1 4202560 5660 0 0 0 7251 1 0 0 20 0 19 0 475345786 15995064320 553114 33554432000 4194304 4196468 140733957004512 140477536748840 140478670915420 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=14714] ppid=8673 vsize=15620180 memory=2212456 CPUtime=73.06 cores=1,3,5,7
/proc/8675/task/14714/stat : 14714 (java) R 8673 8673 3634 0 -1 4202560 2733 0 0 0 7306 0 0 0 20 0 19 0 475345786 15995064320 553114 33554432000 4194304 4196468 140733957004512 140477847289096 140478669813987 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=14715] ppid=8673 vsize=15620180 memory=1452 CPUtime=73.1 cores=1,3,5,7
/proc/8675/task/14715/stat : 14715 (java) R 8673 8673 3634 0 -1 4202560 1752 0 0 0 7310 0 0 0 20 0 19 0 475345786 15995064320 553114 33554432000 4194304 4196468 140733957004512 140477848338888 140478669813943 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 2213908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+719.536 s]
# the end of solver process 8673 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001133 s, system=0.001133 s
[startup+719.601 s]
# the end of solver process 8675 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.4 s, system=2.01169 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
[startup+719.502 s]
/proc/loadavg: 4.77 5.23 6.22 5/211 14721
/proc/meminfo: memFree=16678120/32770624 swapFree=66935844/67108860
[pid=8673] ppid=8670 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8673/stat : 8673 (xcsp3-exec) S 8670 8673 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475281149 115843072 363 33554432000 4194304 5098028 140721172290720 140721172288824 139935398290044 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24653824 140721172292438 140721172292697 140721172292697 140721172295622 0
/proc/8673/statm: 28282 363 305 221 0 87 0
[pid=8675] ppid=8673 vsize=15620180 memory=2212456 CPUtime=2520.05 cores=1,3,5,7
/proc/8675/stat : 8675 (java) S 8673 8673 3634 0 -1 1077944320 357306 0 0 0 251806 199 0 0 20 0 19 0 475281149 15995064320 553114 33554432000 4194304 4196468 140733957004512 140733956987056 140479062277879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
/proc/8675/statm: 3905045 553114 3557 1 0 3866145 0
[pid=8675/tid=8676] ppid=8673 vsize=15620180 memory=1452 CPUtime=5.5 cores=1,3,5,7
/proc/8675/task/8676/stat : 8676 (java) S 8673 8673 3634 0 -1 1077944384 28762 0 0 0 530 20 0 0 20 0 19 0 475281149 15995064320 553114 33554432000 4194304 4196468 140733957004512 140479066518592 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8677] ppid=8673 vsize=15620180 memory=2212452 CPUtime=0.78 cores=1,3,5,7
/proc/8675/task/8677/stat : 8677 (java) S 8673 8673 3634 0 -1 1077944384 4760 0 0 0 63 15 0 0 20 0 19 0 475281150 15995064320 553114 33554432000 4194304 4196468 140733957004512 140478990318352 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8678] ppid=8673 vsize=15620180 memory=1368 CPUtime=0.75 cores=1,3,5,7
/proc/8675/task/8678/stat : 8678 (java) S 8673 8673 3634 0 -1 1077944384 4473 0 0 0 61 14 0 0 20 0 19 0 475281150 15995064320 553114 33554432000 4194304 4196468 140733957004512 140478989265808 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8679] ppid=8673 vsize=15620180 memory=988 CPUtime=0.76 cores=1,3,5,7
/proc/8675/task/8679/stat : 8679 (java) S 8673 8673 3634 0 -1 1077944384 3142 0 0 0 62 14 0 0 20 0 19 0 475281150 15995064320 553114 33554432000 4194304 4196468 140733957004512 140478988213264 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8680] ppid=8673 vsize=15620180 memory=2020 CPUtime=0.76 cores=1,3,5,7
/proc/8675/task/8680/stat : 8680 (java) S 8673 8673 3634 0 -1 1077944384 3816 0 0 0 62 14 0 0 20 0 19 0 475281150 15995064320 553114 33554432000 4194304 4196468 140733957004512 140478987160720 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8681] ppid=8673 vsize=15620180 memory=3512 CPUtime=0.11 cores=1,3,5,7
/proc/8675/task/8681/stat : 8681 (java) S 8673 8673 3634 0 -1 1077944384 9372 0 0 0 9 2 0 0 20 0 19 0 475281151 15995064320 553114 33554432000 4194304 4196468 140733957004512 140478530906096 140479062289026 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8682] ppid=8673 vsize=15620180 memory=2212452 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8682/stat : 8682 (java) S 8673 8673 3634 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 475281152 15995064320 553114 33554432000 4194304 4196468 140733957004512 140478529852384 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8683] ppid=8673 vsize=15620180 memory=2212452 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8683/stat : 8683 (java) S 8673 8673 3634 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475281152 15995064320 553114 33554432000 4194304 4196468 140733957004512 140478528799744 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8684] ppid=8673 vsize=15620180 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8684/stat : 8684 (java) S 8673 8673 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475281155 15995064320 553114 33554432000 4194304 4196468 140733957004512 140478527748304 140479062296475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8685] ppid=8673 vsize=15620180 memory=2212452 CPUtime=4.68 cores=1,3,5,7
/proc/8675/task/8685/stat : 8685 (java) S 8673 8673 3634 0 -1 1077944384 30931 0 0 0 465 3 0 0 20 0 19 0 475281155 15995064320 553114 33554432000 4194304 4196468 140733957004512 140478526695920 140479062289026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8686] ppid=8673 vsize=15620180 memory=1452 CPUtime=5.02 cores=1,3,5,7
/proc/8675/task/8686/stat : 8686 (java) S 8673 8673 3634 0 -1 1077944384 35538 0 0 0 499 3 0 0 20 0 19 0 475281155 15995064320 553114 33554432000 4194304 4196468 140733957004512 140478525643376 140479062289026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8687] ppid=8673 vsize=15620180 memory=2212452 CPUtime=1.24 cores=1,3,5,7
/proc/8675/task/8687/stat : 8687 (java) S 8673 8673 3634 0 -1 1077944384 21158 0 0 0 121 3 0 0 20 0 19 0 475281155 15995064320 553114 33554432000 4194304 4196468 140733957004512 140478524590832 140479062289026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8688] ppid=8673 vsize=15620180 memory=2212452 CPUtime=0 cores=1,3,5,7
/proc/8675/task/8688/stat : 8688 (java) S 8673 8673 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475281155 15995064320 553114 33554432000 4194304 4196468 140733957004512 140478523538528 140479062288085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=8689] ppid=8673 vsize=15620180 memory=1452 CPUtime=0.55 cores=1,3,5,7
/proc/8675/task/8689/stat : 8689 (java) S 8673 8673 3634 0 -1 1077944384 5245 0 0 0 24 31 0 0 20 0 19 0 475281155 15995064320 553114 33554432000 4194304 4196468 140733957004512 140478522485040 140479062289026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=14712] ppid=8673 vsize=15620180 memory=2212452 CPUtime=72.33 cores=1,3,5,7
/proc/8675/task/14712/stat : 14712 (java) R 8673 8673 3634 0 -1 4202560 954 0 0 0 7233 0 0 0 20 0 19 0 475345786 15995064320 553114 33554432000 4194304 4196468 140733957004512 140477535694736 140478675164102 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=14713] ppid=8673 vsize=15620180 memory=1452 CPUtime=72.52 cores=1,3,5,7
/proc/8675/task/14713/stat : 14713 (java) R 8673 8673 3634 0 -1 4202560 5660 0 0 0 7251 1 0 0 20 0 19 0 475345786 15995064320 553114 33554432000 4194304 4196468 140733957004512 140477536748840 140478670915420 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=14714] ppid=8673 vsize=15620180 memory=2212456 CPUtime=73.06 cores=1,3,5,7
/proc/8675/task/14714/stat : 14714 (java) R 8673 8673 3634 0 -1 4202560 2733 0 0 0 7306 0 0 0 20 0 19 0 475345786 15995064320 553114 33554432000 4194304 4196468 140733957004512 140477847289096 140478669813987 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
[pid=8675/tid=14715] ppid=8673 vsize=15620180 memory=1452 CPUtime=73.1 cores=1,3,5,7
/proc/8675/task/14715/stat : 14715 (java) R 8673 8673 3634 0 -1 4202560 1752 0 0 0 7310 0 0 0 20 0 19 0 475345786 15995064320 553114 33554432000 4194304 4196468 140733957004512 140477848338888 140478669813943 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140733957010395 140733957010570 140733957010570 140733957013455 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 2213908 KiB
Child status: 143
Real time (s): 719.601
CPU time (s): 2520.41
CPU user time (s): 2518.4
CPU system time (s): 2.01169
CPU usage (%): 350.252
Max. virtual memory (cumulated for all children) (KiB): 15733308
Max. memory (cumulated for all children) (KiB): 2260080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.4
system time used= 2.01169
maximum resident set size= 2260548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358792
page faults= 0
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52375
involuntary context switches= 31203
# summary of solver processes directly reported to runsolver:
# pid: 8673,8675
# total CPU time (s): 2520.41
# total CPU user time (s): 2518.4
# total CPU system time (s): 2.01169
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.72481 second user time and 8.26286 second system time
The end