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 (13485 MiB free)
memory of node 1: 16384 MiB (13190 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406174-1569414442/watcher-4406174-1569414442 -o /var/tmp/evaluation-result-4406174-1569414442/solver-4406174-1569414442 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1569406883-8783 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 843557303 HOME/instance-4406174-1569414442.xml
running on 4 cores: 0,2,4,6
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=10033, runsolver pid=10030
[startup+0.101605 s]*
/proc/loadavg: 2.02 1.86 1.79 3/230 10049
/proc/meminfo: memFree=27301492/32770624 swapFree=67024140/67108860
[pid=10033] ppid=10030 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10033/stat : 10033 (xcsp3-exec) S 10030 10033 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517716648 115843072 364 33554432000 4194304 5098028 140724086547600 140724086545704 140591021478524 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16744448 140724086551383 140724086551641 140724086551641 140724086554566 0
/proc/10033/statm: 28282 364 305 221 0 87 0
[pid=10035] ppid=10033 vsize=15144776 memory=28860 CPUtime=0.13 cores=0,2,4,6
/proc/10035/stat : 10035 (java) S 10033 10033 8752 0 -1 1077944320 5671 0 0 0 12 1 0 0 20 0 15 0 517716648 15508250624 7215 33554432000 4194304 4196468 140728116716368 140728116698912 140144495943415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
/proc/10035/statm: 3786194 7215 3152 1 0 3748377 0
[pid=10035/tid=10036] ppid=10033 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/10035/task/10036/stat : 10036 (java) R 10033 10033 8752 0 -1 4202560 3546 0 0 0 8 1 0 0 20 0 15 0 517716648 15508250624 7215 33554432000 4194304 4196468 140728116716368 140144500173792 140144128965216 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10037] ppid=10033 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10037/stat : 10037 (java) S 10033 10033 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517716649 15508250624 7215 33554432000 4194304 4196468 140728116716368 140144448563984 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10038] ppid=10033 vsize=15144776 memory=139865525352064 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10038/stat : 10038 (java) S 10033 10033 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517716649 15508250624 7215 33554432000 4194304 4196468 140728116716368 140144087587728 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10039] ppid=10033 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10039/stat : 10039 (java) S 10033 10033 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517716649 15508250624 7215 33554432000 4194304 4196468 140728116716368 140144086535184 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10040] ppid=10033 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10040/stat : 10040 (java) S 10033 10033 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517716649 15508250624 7215 33554432000 4194304 4196468 140728116716368 140144085482640 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10041] ppid=10033 vsize=15144776 memory=139865525352064 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10041/stat : 10041 (java) S 10033 10033 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517716650 15508250624 7215 33554432000 4194304 4196468 140728116716368 140143369975792 140144495954562 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10042] ppid=10033 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10042/stat : 10042 (java) S 10033 10033 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517716651 15508250624 7215 33554432000 4194304 4196468 140728116716368 140143368922016 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10043] ppid=10033 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10043/stat : 10043 (java) S 10033 10033 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517716651 15508250624 7215 33554432000 4194304 4196468 140728116716368 140143367869424 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10044] ppid=10033 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10044/stat : 10044 (java) S 10033 10033 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517716653 15508250624 7215 33554432000 4194304 4196468 140728116716368 140143366818000 140144495962011 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10045] ppid=10033 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10045/stat : 10045 (java) R 10033 10033 8752 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 517716653 15508250624 7215 33554432000 4194304 4196468 140728116716368 140143365765712 140144495953621 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10046] ppid=10033 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10046/stat : 10046 (java) R 10033 10033 8752 0 -1 4202560 61 0 0 0 0 0 0 0 20 0 15 0 517716653 15508250624 7215 33554432000 4194304 4196468 140728116716368 140143364704576 140144481998451 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10047] ppid=10033 vsize=15144776 memory=139865525352064 CPUtime=0.02 cores=0,2,4,6
/proc/10035/task/10047/stat : 10047 (java) R 10033 10033 8752 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 15 0 517716653 15508250624 7215 33554432000 4194304 4196468 140728116716368 140143363660528 140144480023902 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10048] ppid=10033 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10048/stat : 10048 (java) S 10033 10033 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517716654 15508250624 7215 33554432000 4194304 4196468 140728116716368 140143362608224 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10049] ppid=10033 vsize=15144776 memory=139865525352064 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10049/stat : 10049 (java) R 10033 10033 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517716654 15508250624 7215 33554432000 4194304 4196468 140728116716368 140143361554736 140144495954562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30316 KiB
[startup+0.210775 s]*
/proc/loadavg: 2.02 1.86 1.79 5/230 10049
/proc/meminfo: memFree=27287640/32770624 swapFree=67024140/67108860
[pid=10033] ppid=10030 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10033/stat : 10033 (xcsp3-exec) S 10030 10033 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517716648 115843072 364 33554432000 4194304 5098028 140724086547600 140724086545704 140591021478524 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16744448 140724086551383 140724086551641 140724086551641 140724086554566 0
/proc/10033/statm: 28282 364 305 221 0 87 0
[pid=10035] ppid=10033 vsize=15144776 memory=41180 CPUtime=0.34 cores=0,2,4,6
/proc/10035/stat : 10035 (java) S 10033 10033 8752 0 -1 1077944320 9492 0 0 0 31 3 0 0 20 0 15 0 517716648 15508250624 10295 33554432000 4194304 4196468 140728116716368 140728116698912 140144495943415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
/proc/10035/statm: 3786194 10295 3314 1 0 3748377 0
[pid=10035/tid=10036] ppid=10033 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/10035/task/10036/stat : 10036 (java) R 10033 10033 8752 0 -1 4202560 6596 0 0 0 18 2 0 0 20 0 15 0 517716648 15508250624 10295 33554432000 4194304 4196468 140728116716368 140144500173136 140144480023902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10037] ppid=10033 vsize=15144776 memory=13575 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10037/stat : 10037 (java) S 10033 10033 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517716649 15508250624 10295 33554432000 4194304 4196468 140728116716368 140144448563984 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10038] ppid=10033 vsize=15144776 memory=139865529236449 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10038/stat : 10038 (java) S 10033 10033 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517716649 15508250624 10295 33554432000 4194304 4196468 140728116716368 140144087587728 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10039] ppid=10033 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10039/stat : 10039 (java) S 10033 10033 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517716649 15508250624 10295 33554432000 4194304 4196468 140728116716368 140144086535184 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10040] ppid=10033 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10040/stat : 10040 (java) S 10033 10033 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517716649 15508250624 10295 33554432000 4194304 4196468 140728116716368 140144085482640 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10041] ppid=10033 vsize=15144776 memory=139865525352064 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10041/stat : 10041 (java) S 10033 10033 8752 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517716650 15508250624 10295 33554432000 4194304 4196468 140728116716368 140143369975792 140144495954562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10042] ppid=10033 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10042/stat : 10042 (java) S 10033 10033 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517716651 15508250624 10295 33554432000 4194304 4196468 140728116716368 140143368922016 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10043] ppid=10033 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10043/stat : 10043 (java) S 10033 10033 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517716651 15508250624 10295 33554432000 4194304 4196468 140728116716368 140143367869424 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10044] ppid=10033 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10044/stat : 10044 (java) S 10033 10033 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517716653 15508250624 10295 33554432000 4194304 4196468 140728116716368 140143366818000 140144495962011 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10045] ppid=10033 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10035/task/10045/stat : 10045 (java) S 10033 10033 8752 0 -1 1077944384 625 0 0 0 2 0 0 0 20 0 15 0 517716653 15508250624 10295 33554432000 4194304 4196468 140728116716368 140143365765616 140144495954562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10046] ppid=10033 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/10035/task/10046/stat : 10046 (java) S 10033 10033 8752 0 -1 1077944384 163 0 0 0 2 0 0 0 20 0 15 0 517716653 15508250624 10295 33554432000 4194304 4196468 140728116716368 140143364713072 140144495954562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10047] ppid=10033 vsize=15144776 memory=139865525352064 CPUtime=0.08 cores=0,2,4,6
/proc/10035/task/10047/stat : 10047 (java) R 10033 10033 8752 0 -1 4202560 801 0 0 0 8 0 0 0 20 0 15 0 517716653 15508250624 10295 33554432000 4194304 4196468 140728116716368 140143363660528 140144495964762 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10048] ppid=10033 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10048/stat : 10048 (java) S 10033 10033 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517716654 15508250624 10295 33554432000 4194304 4196468 140728116716368 140143362608224 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10049] ppid=10033 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10049/stat : 10049 (java) S 10033 10033 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517716654 15508250624 10295 33554432000 4194304 4196468 140728116716368 140143361554736 140144495954562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42636 KiB
[startup+0.319565 s]*
/proc/loadavg: 2.02 1.86 1.79 4/230 10049
/proc/meminfo: memFree=27279844/32770624 swapFree=67024140/67108860
[pid=10033] ppid=10030 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10033/stat : 10033 (xcsp3-exec) S 10030 10033 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517716648 115843072 364 33554432000 4194304 5098028 140724086547600 140724086545704 140591021478524 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16744448 140724086551383 140724086551641 140724086551641 140724086554566 0
/proc/10033/statm: 28282 364 305 221 0 87 0
[pid=10035] ppid=10033 vsize=15149032 memory=50320 CPUtime=0.54 cores=0,2,4,6
/proc/10035/stat : 10035 (java) S 10033 10033 8752 0 -1 1077944320 11306 0 0 0 50 4 0 0 20 0 15 0 517716648 15512608768 12580 33554432000 4194304 4196468 140728116716368 140728116698912 140144495943415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
/proc/10035/statm: 3787258 12580 3348 1 0 3748377 0
[pid=10035/tid=10036] ppid=10033 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/10035/task/10036/stat : 10036 (java) R 10033 10033 8752 0 -1 4202560 8238 0 0 0 27 3 0 0 20 0 15 0 517716648 15512608768 12580 33554432000 4194304 4196468 140728116716368 140144500178224 140144480023902 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10037] ppid=10033 vsize=15149032 memory=13938 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10037/stat : 10037 (java) S 10033 10033 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517716649 15512608768 12580 33554432000 4194304 4196468 140728116716368 140144448563984 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10038] ppid=10033 vsize=15149032 memory=3887244 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10038/stat : 10038 (java) S 10033 10033 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517716649 15512608768 12580 33554432000 4194304 4196468 140728116716368 140144087587728 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10039] ppid=10033 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10039/stat : 10039 (java) S 10033 10033 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517716649 15512608768 12580 33554432000 4194304 4196468 140728116716368 140144086535184 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10040] ppid=10033 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10040/stat : 10040 (java) S 10033 10033 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517716649 15512608768 12580 33554432000 4194304 4196468 140728116716368 140144085482640 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10041] ppid=10033 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10041/stat : 10041 (java) S 10033 10033 8752 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517716650 15512608768 12580 33554432000 4194304 4196468 140728116716368 140143369975792 140144495954562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10042] ppid=10033 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10042/stat : 10042 (java) S 10033 10033 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517716651 15512608768 12580 33554432000 4194304 4196468 140728116716368 140143368922016 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10043] ppid=10033 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10043/stat : 10043 (java) S 10033 10033 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517716651 15512608768 12580 33554432000 4194304 4196468 140728116716368 140143367869424 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10044] ppid=10033 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10044/stat : 10044 (java) S 10033 10033 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517716653 15512608768 12580 33554432000 4194304 4196468 140728116716368 140143366818000 140144495962011 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10045] ppid=10033 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/10035/task/10045/stat : 10045 (java) S 10033 10033 8752 0 -1 1077944384 637 0 0 0 4 0 0 0 20 0 15 0 517716653 15512608768 12580 33554432000 4194304 4196468 140728116716368 140143365765616 140144495954562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10046] ppid=10033 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/10035/task/10046/stat : 10046 (java) S 10033 10033 8752 0 -1 1077944384 254 0 0 0 5 0 0 0 20 0 15 0 517716653 15512608768 12580 33554432000 4194304 4196468 140728116716368 140143364713072 140144495954562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10047] ppid=10033 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/10035/task/10047/stat : 10047 (java) S 10033 10033 8752 0 -1 1077944384 880 0 0 0 12 0 0 0 20 0 15 0 517716653 15512608768 12580 33554432000 4194304 4196468 140728116716368 140143363660528 140144495954562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10048] ppid=10033 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10048/stat : 10048 (java) S 10033 10033 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517716654 15512608768 12580 33554432000 4194304 4196468 140728116716368 140143362608224 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10049] ppid=10033 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10049/stat : 10049 (java) S 10033 10033 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517716654 15512608768 12580 33554432000 4194304 4196468 140728116716368 140143361554736 140144495954562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51776 KiB
[startup+0.700774 s]
/proc/loadavg: 2.02 1.86 1.79 5/230 10049
/proc/meminfo: memFree=27260364/32770624 swapFree=67024140/67108860
[pid=10033] ppid=10030 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10033/stat : 10033 (xcsp3-exec) S 10030 10033 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517716648 115843072 364 33554432000 4194304 5098028 140724086547600 140724086545704 140591021478524 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16744448 140724086551383 140724086551641 140724086551641 140724086554566 0
/proc/10033/statm: 28282 364 305 221 0 87 0
[pid=10035] ppid=10033 vsize=15151156 memory=97096 CPUtime=1.68 cores=0,2,4,6
/proc/10035/stat : 10035 (java) S 10033 10033 8752 0 -1 1077944320 15237 0 0 0 162 6 0 0 20 0 15 0 517716648 15514783744 24274 33554432000 4194304 4196468 140728116716368 140728116698912 140144495943415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
/proc/10035/statm: 3787789 24274 3448 1 0 3748889 0
[pid=10035/tid=10036] ppid=10033 vsize=15151156 memory=12328 CPUtime=0.68 cores=0,2,4,6
/proc/10035/task/10036/stat : 10036 (java) R 10033 10033 8752 0 -1 4202560 8990 0 0 0 64 4 0 0 20 0 15 0 517716648 15514783744 24274 33554432000 4194304 4196468 140728116716368 140144500180624 140144495955350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10037] ppid=10033 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10037/stat : 10037 (java) S 10033 10033 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517716649 15514783744 24274 33554432000 4194304 4196468 140728116716368 140144448563984 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10038] ppid=10033 vsize=15151156 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10038/stat : 10038 (java) S 10033 10033 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517716649 15514783744 24274 33554432000 4194304 4196468 140728116716368 140144087587728 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10039] ppid=10033 vsize=15151156 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10039/stat : 10039 (java) S 10033 10033 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517716649 15514783744 24274 33554432000 4194304 4196468 140728116716368 140144086535184 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10040] ppid=10033 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10040/stat : 10040 (java) S 10033 10033 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517716649 15514783744 24274 33554432000 4194304 4196468 140728116716368 140144085482640 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10041] ppid=10033 vsize=15151156 memory=1940 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10041/stat : 10041 (java) S 10033 10033 8752 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517716650 15514783744 24274 33554432000 4194304 4196468 140728116716368 140143369975792 140144495954562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10042] ppid=10033 vsize=15151156 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10042/stat : 10042 (java) S 10033 10033 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517716651 15514783744 24274 33554432000 4194304 4196468 140728116716368 140143368922016 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10043] ppid=10033 vsize=15151156 memory=2508 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10043/stat : 10043 (java) S 10033 10033 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517716651 15514783744 24274 33554432000 4194304 4196468 140728116716368 140143367869424 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10044] ppid=10033 vsize=15151156 memory=1532 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10044/stat : 10044 (java) S 10033 10033 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517716653 15514783744 24274 33554432000 4194304 4196468 140728116716368 140143366818000 140144495962011 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10045] ppid=10033 vsize=15151156 memory=836 CPUtime=0.29 cores=0,2,4,6
/proc/10035/task/10045/stat : 10045 (java) R 10033 10033 8752 0 -1 4202560 1767 0 0 0 29 0 0 0 20 0 15 0 517716653 15514783744 24274 33554432000 4194304 4196468 140728116716368 140143365765616 140144495964762 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10046] ppid=10033 vsize=15151156 memory=1760 CPUtime=0.3 cores=0,2,4,6
/proc/10035/task/10046/stat : 10046 (java) R 10033 10033 8752 0 -1 4202560 1155 0 0 0 30 0 0 0 20 0 15 0 517716653 15514783744 24274 33554432000 4194304 4196468 140728116716368 140143364713072 140144476579299 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10047] ppid=10033 vsize=15151156 memory=111632 CPUtime=0.37 cores=0,2,4,6
/proc/10035/task/10047/stat : 10047 (java) S 10033 10033 8752 0 -1 1077944384 2014 0 0 0 37 0 0 0 20 0 15 0 517716653 15514783744 24274 33554432000 4194304 4196468 140728116716368 140143363660528 140144495954562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10048] ppid=10033 vsize=15151156 memory=804 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10048/stat : 10048 (java) S 10033 10033 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517716654 15514783744 24274 33554432000 4194304 4196468 140728116716368 140143362608224 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10049] ppid=10033 vsize=15151156 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10049/stat : 10049 (java) S 10033 10033 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517716654 15514783744 24274 33554432000 4194304 4196468 140728116716368 140143361554736 140144495954562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 98552 KiB
[startup+1.50077 s]
/proc/loadavg: 2.02 1.86 1.79 3/230 10049
/proc/meminfo: memFree=27187824/32770624 swapFree=67024140/67108860
[pid=10033] ppid=10030 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10033/stat : 10033 (xcsp3-exec) S 10030 10033 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517716648 115843072 364 33554432000 4194304 5098028 140724086547600 140724086545704 140591021478524 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16744448 140724086551383 140724086551641 140724086551641 140724086554566 0
/proc/10033/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/10033/stat : 10033 (xcsp3-exec) S 10030 10033 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517716648 115843072 364 33554432000 4194304 5098028 140724086547600 140724086545704 140591021478524 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16744448 140724086551383 140724086551641 140724086551641 140724086554566 0
/proc/10033/statm: 28282 364 305 221 0 87 0
[pid=10035] ppid=10033 vsize=15153204 memory=354256 CPUtime=79.87 cores=0,2,4,6
/proc/10035/stat : 10035 (java) S 10033 10033 8752 0 -1 1077944320 44459 0 0 0 7957 30 0 0 20 0 15 0 517716648 15516880896 88564 33554432000 4194304 4196468 140728116716368 140728116698912 140144495943415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
/proc/10035/statm: 3788301 88564 3496 1 0 3749401 0
[pid=10035/tid=10036] ppid=10033 vsize=15153204 memory=6791534058613427641 CPUtime=74.26 cores=0,2,4,6
/proc/10035/task/10036/stat : 10036 (java) R 10033 10033 8752 0 -1 4202560 14754 0 0 0 7419 7 0 0 20 0 15 0 517716648 15516880896 88564 33554432000 4194304 4196468 140728116716368 140144500180824 140144134655392 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10037] ppid=10033 vsize=15153204 memory=354256 CPUtime=0.1 cores=0,2,4,6
/proc/10035/task/10037/stat : 10037 (java) S 10033 10033 8752 0 -1 1077944384 173 0 0 0 6 4 0 0 20 0 15 0 517716649 15516880896 88564 33554432000 4194304 4196468 140728116716368 140144448563984 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10038] ppid=10033 vsize=15153204 memory=15816698942982814 CPUtime=0.09 cores=0,2,4,6
/proc/10035/task/10038/stat : 10038 (java) S 10033 10033 8752 0 -1 1077944384 131 0 0 0 5 4 0 0 20 0 15 0 517716649 15516880896 88564 33554432000 4194304 4196468 140728116716368 140144087587728 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10039] ppid=10033 vsize=15153204 memory=12328 CPUtime=0.1 cores=0,2,4,6
/proc/10035/task/10039/stat : 10039 (java) S 10033 10033 8752 0 -1 1077944384 302 0 0 0 6 4 0 0 20 0 15 0 517716649 15516880896 88564 33554432000 4194304 4196468 140728116716368 140144086535184 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10040] ppid=10033 vsize=15153204 memory=500 CPUtime=0.1 cores=0,2,4,6
/proc/10035/task/10040/stat : 10040 (java) S 10033 10033 8752 0 -1 1077944384 186 0 0 0 6 4 0 0 20 0 15 0 517716649 15516880896 88564 33554432000 4194304 4196468 140728116716368 140144085482640 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10041] ppid=10033 vsize=15153204 memory=3648 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10041/stat : 10041 (java) S 10033 10033 8752 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 15 0 517716650 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143369975792 140144495954562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10042] ppid=10033 vsize=15153204 memory=54232 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10042/stat : 10042 (java) S 10033 10033 8752 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 517716651 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143368922016 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10043] ppid=10033 vsize=15153204 memory=279730818060208 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10043/stat : 10043 (java) S 10033 10033 8752 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 517716651 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143367869424 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10044] ppid=10033 vsize=15153204 memory=7302980877978789229 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10044/stat : 10044 (java) S 10033 10033 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517716653 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143366818000 140144495962011 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10045] ppid=10033 vsize=15153204 memory=6441653138430190949 CPUtime=2.15 cores=0,2,4,6
/proc/10035/task/10045/stat : 10045 (java) S 10033 10033 8752 0 -1 1077944384 10892 0 0 0 214 1 0 0 20 0 15 0 517716653 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143365765616 140144495954562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10046] ppid=10033 vsize=15153204 memory=5937524870671063397 CPUtime=2.29 cores=0,2,4,6
/proc/10035/task/10046/stat : 10046 (java) S 10033 10033 8752 0 -1 1077944384 10156 0 0 0 228 1 0 0 20 0 15 0 517716653 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143364713072 140144495954562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10047] ppid=10033 vsize=15153204 memory=6082491063567018601 CPUtime=0.7 cores=0,2,4,6
/proc/10035/task/10047/stat : 10047 (java) S 10033 10033 8752 0 -1 1077944384 6112 0 0 0 69 1 0 0 20 0 15 0 517716653 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143363660528 140144495954562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10048] ppid=10033 vsize=15153204 memory=4639341352798146640 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10048/stat : 10048 (java) S 10033 10033 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517716654 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143362608224 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10049] ppid=10033 vsize=15153204 memory=7523938743268829029 CPUtime=0.01 cores=0,2,4,6
/proc/10035/task/10049/stat : 10049 (java) S 10033 10033 8752 0 -1 1077944384 183 0 0 0 0 1 0 0 20 0 15 0 517716654 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143361554736 140144495954562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
Current children cumulated CPU time: 79.87 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 355712 KiB
[startup+74.8007 s]
/proc/loadavg: 2.21 1.96 1.83 3/230 10056
/proc/meminfo: memFree=26545936/32770624 swapFree=67024140/67108860
[pid=10033] ppid=10030 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10033/stat : 10033 (xcsp3-exec) S 10030 10033 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517716648 115843072 364 33554432000 4194304 5098028 140724086547600 140724086545704 140591021478524 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16744448 140724086551383 140724086551641 140724086551641 140724086554566 0
/proc/10033/statm: 28282 364 305 221 0 87 0
[pid=10035] ppid=10033 vsize=15153204 memory=354256 CPUtime=80.27 cores=0,2,4,6
/proc/10035/stat : 10035 (java) S 10033 10033 8752 0 -1 1077944320 44474 0 0 0 7997 30 0 0 20 0 15 0 517716648 15516880896 88564 33554432000 4194304 4196468 140728116716368 140728116698912 140144495943415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
/proc/10035/statm: 3788301 88564 3496 1 0 3749401 0
[pid=10035/tid=10036] ppid=10033 vsize=15153204 memory=7406 CPUtime=74.66 cores=0,2,4,6
/proc/10035/task/10036/stat : 10036 (java) R 10033 10033 8752 0 -1 4202560 14769 0 0 0 7459 7 0 0 20 0 15 0 517716648 15516880896 88564 33554432000 4194304 4196468 140728116716368 140144500180824 140144132136143 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10037] ppid=10033 vsize=15153204 memory=10 CPUtime=0.1 cores=0,2,4,6
/proc/10035/task/10037/stat : 10037 (java) S 10033 10033 8752 0 -1 1077944384 173 0 0 0 6 4 0 0 20 0 15 0 517716649 15516880896 88564 33554432000 4194304 4196468 140728116716368 140144448563984 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10038] ppid=10033 vsize=15153204 memory=9 CPUtime=0.09 cores=0,2,4,6
/proc/10035/task/10038/stat : 10038 (java) S 10033 10033 8752 0 -1 1077944384 131 0 0 0 5 4 0 0 20 0 15 0 517716649 15516880896 88564 33554432000 4194304 4196468 140728116716368 140144087587728 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10039] ppid=10033 vsize=15153204 memory=10 CPUtime=0.1 cores=0,2,4,6
/proc/10035/task/10039/stat : 10039 (java) S 10033 10033 8752 0 -1 1077944384 302 0 0 0 6 4 0 0 20 0 15 0 517716649 15516880896 88564 33554432000 4194304 4196468 140728116716368 140144086535184 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10040] ppid=10033 vsize=15153204 memory=10 CPUtime=0.1 cores=0,2,4,6
/proc/10035/task/10040/stat : 10040 (java) S 10033 10033 8752 0 -1 1077944384 186 0 0 0 6 4 0 0 20 0 15 0 517716649 15516880896 88564 33554432000 4194304 4196468 140728116716368 140144085482640 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10041] ppid=10033 vsize=15153204 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10041/stat : 10041 (java) S 10033 10033 8752 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 15 0 517716650 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143369975792 140144495954562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10042] ppid=10033 vsize=15153204 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10042/stat : 10042 (java) S 10033 10033 8752 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 517716651 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143368922016 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10043] ppid=10033 vsize=15153204 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10043/stat : 10043 (java) S 10033 10033 8752 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 517716651 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143367869424 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10044] ppid=10033 vsize=15153204 memory=3007529173702059 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10044/stat : 10044 (java) S 10033 10033 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517716653 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143366818000 140144495962011 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10045] ppid=10033 vsize=15153204 memory=279730819021104 CPUtime=2.15 cores=0,2,4,6
/proc/10035/task/10045/stat : 10045 (java) S 10033 10033 8752 0 -1 1077944384 10892 0 0 0 214 1 0 0 20 0 15 0 517716653 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143365765616 140144495954562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10046] ppid=10033 vsize=15153204 memory=4499549518872840764 CPUtime=2.29 cores=0,2,4,6
/proc/10035/task/10046/stat : 10046 (java) S 10033 10033 8752 0 -1 1077944384 10156 0 0 0 228 1 0 0 20 0 15 0 517716653 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143364713072 140144495954562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10047] ppid=10033 vsize=15153204 memory=7594594434161909821 CPUtime=0.7 cores=0,2,4,6
/proc/10035/task/10047/stat : 10047 (java) S 10033 10033 8752 0 -1 1077944384 6112 0 0 0 69 1 0 0 20 0 15 0 517716653 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143363660528 140144495954562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10048] ppid=10033 vsize=15153204 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10048/stat : 10048 (java) S 10033 10033 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517716654 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143362608224 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10049] ppid=10033 vsize=15153204 memory=-8890257214992072645 CPUtime=0.01 cores=0,2,4,6
/proc/10035/task/10049/stat : 10049 (java) S 10033 10033 8752 0 -1 1077944384 183 0 0 0 0 1 0 0 20 0 15 0 517716654 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143361554736 140144495954562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
Current children cumulated CPU time: 80.27 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 355712 KiB
[startup+75.2007 s]
/proc/loadavg: 2.21 1.96 1.83 3/230 10056
/proc/meminfo: memFree=26545936/32770624 swapFree=67024140/67108860
[pid=10033] ppid=10030 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10033/stat : 10033 (xcsp3-exec) S 10030 10033 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517716648 115843072 364 33554432000 4194304 5098028 140724086547600 140724086545704 140591021478524 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16744448 140724086551383 140724086551641 140724086551641 140724086554566 0
/proc/10033/statm: 28282 364 305 221 0 87 0
[pid=10035] ppid=10033 vsize=15153204 memory=354256 CPUtime=80.67 cores=0,2,4,6
/proc/10035/stat : 10035 (java) S 10033 10033 8752 0 -1 1077944320 44481 0 0 0 8037 30 0 0 20 0 15 0 517716648 15516880896 88564 33554432000 4194304 4196468 140728116716368 140728116698912 140144495943415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
/proc/10035/statm: 3788301 88564 3496 1 0 3749401 0
[pid=10035/tid=10036] ppid=10033 vsize=15153204 memory=1040 CPUtime=75.06 cores=0,2,4,6
/proc/10035/task/10036/stat : 10036 (java) R 10033 10033 8752 0 -1 4202560 14776 0 0 0 7499 7 0 0 20 0 15 0 517716648 15516880896 88564 33554432000 4194304 4196468 140728116716368 140144500180824 140144135078996 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10037] ppid=10033 vsize=15153204 memory=2084 CPUtime=0.1 cores=0,2,4,6
/proc/10035/task/10037/stat : 10037 (java) S 10033 10033 8752 0 -1 1077944384 173 0 0 0 6 4 0 0 20 0 15 0 517716649 15516880896 88564 33554432000 4194304 4196468 140728116716368 140144448563984 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10038] ppid=10033 vsize=15153204 memory=354228 CPUtime=0.09 cores=0,2,4,6
/proc/10035/task/10038/stat : 10038 (java) S 10033 10033 8752 0 -1 1077944384 131 0 0 0 5 4 0 0 20 0 15 0 517716649 15516880896 88564 33554432000 4194304 4196468 140728116716368 140144087587728 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10039] ppid=10033 vsize=15153204 memory=6383 CPUtime=0.1 cores=0,2,4,6
/proc/10035/task/10039/stat : 10039 (java) S 10033 10033 8752 0 -1 1077944384 302 0 0 0 6 4 0 0 20 0 15 0 517716649 15516880896 88564 33554432000 4194304 4196468 140728116716368 140144086535184 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10040] ppid=10033 vsize=15153204 memory=5826 CPUtime=0.1 cores=0,2,4,6
/proc/10035/task/10040/stat : 10040 (java) S 10033 10033 8752 0 -1 1077944384 186 0 0 0 6 4 0 0 20 0 15 0 517716649 15516880896 88564 33554432000 4194304 4196468 140728116716368 140144085482640 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10041] ppid=10033 vsize=15153204 memory=354256 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10041/stat : 10041 (java) S 10033 10033 8752 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 15 0 517716650 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143369975792 140144495954562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10042] ppid=10033 vsize=15153204 memory=54232 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10042/stat : 10042 (java) S 10033 10033 8752 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 517716651 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143368922016 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10043] ppid=10033 vsize=15153204 memory=1040 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10043/stat : 10043 (java) S 10033 10033 8752 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 517716651 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143367869424 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10044] ppid=10033 vsize=15153204 memory=2084 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10044/stat : 10044 (java) S 10033 10033 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517716653 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143366818000 140144495962011 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10045] ppid=10033 vsize=15153204 memory=1480 CPUtime=2.15 cores=0,2,4,6
/proc/10035/task/10045/stat : 10045 (java) S 10033 10033 8752 0 -1 1077944384 10892 0 0 0 214 1 0 0 20 0 15 0 517716653 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143365765616 140144495954562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10046] ppid=10033 vsize=15153204 memory=3880 CPUtime=2.29 cores=0,2,4,6
/proc/10035/task/10046/stat : 10046 (java) S 10033 10033 8752 0 -1 1077944384 10156 0 0 0 228 1 0 0 20 0 15 0 517716653 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143364713072 140144495954562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10047] ppid=10033 vsize=15153204 memory=1480 CPUtime=0.7 cores=0,2,4,6
/proc/10035/task/10047/stat : 10047 (java) S 10033 10033 8752 0 -1 1077944384 6112 0 0 0 69 1 0 0 20 0 15 0 517716653 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143363660528 140144495954562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10048] ppid=10033 vsize=15153204 memory=3880 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10048/stat : 10048 (java) S 10033 10033 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517716654 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143362608224 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10049] ppid=10033 vsize=15153204 memory=7712 CPUtime=0.01 cores=0,2,4,6
/proc/10035/task/10049/stat : 10049 (java) S 10033 10033 8752 0 -1 1077944384 183 0 0 0 0 1 0 0 20 0 15 0 517716654 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143361554736 140144495954562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
Current children cumulated CPU time: 80.67 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 355712 KiB
[startup+75.3007 s]
/proc/loadavg: 2.21 1.96 1.83 3/230 10056
/proc/meminfo: memFree=26545936/32770624 swapFree=67024140/67108860
[pid=10033] ppid=10030 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10033/stat : 10033 (xcsp3-exec) S 10030 10033 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517716648 115843072 364 33554432000 4194304 5098028 140724086547600 140724086545704 140591021478524 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16744448 140724086551383 140724086551641 140724086551641 140724086554566 0
/proc/10033/statm: 28282 364 305 221 0 87 0
[pid=10035] ppid=10033 vsize=15153204 memory=354256 CPUtime=80.77 cores=0,2,4,6
/proc/10035/stat : 10035 (java) S 10033 10033 8752 0 -1 1077944320 44489 0 0 0 8047 30 0 0 20 0 15 0 517716648 15516880896 88564 33554432000 4194304 4196468 140728116716368 140728116698912 140144495943415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
/proc/10035/statm: 3788301 88564 3496 1 0 3749401 0
[pid=10035/tid=10036] ppid=10033 vsize=15153204 memory=354256 CPUtime=75.16 cores=0,2,4,6
/proc/10035/task/10036/stat : 10036 (java) R 10033 10033 8752 0 -1 4202560 14780 0 0 0 7509 7 0 0 20 0 15 0 517716648 15516880896 88564 33554432000 4194304 4196468 140728116716368 140144500180824 140144134684897 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10037] ppid=10033 vsize=15153204 memory=1456 CPUtime=0.1 cores=0,2,4,6
/proc/10035/task/10037/stat : 10037 (java) S 10033 10033 8752 0 -1 1077944384 173 0 0 0 6 4 0 0 20 0 15 0 517716649 15516880896 88564 33554432000 4194304 4196468 140728116716368 140144448563984 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10038] ppid=10033 vsize=15153204 memory=354228 CPUtime=0.09 cores=0,2,4,6
/proc/10035/task/10038/stat : 10038 (java) S 10033 10033 8752 0 -1 1077944384 131 0 0 0 5 4 0 0 20 0 15 0 517716649 15516880896 88564 33554432000 4194304 4196468 140728116716368 140144087587728 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10039] ppid=10033 vsize=15153204 memory=354256 CPUtime=0.1 cores=0,2,4,6
/proc/10035/task/10039/stat : 10039 (java) S 10033 10033 8752 0 -1 1077944384 302 0 0 0 6 4 0 0 20 0 15 0 517716649 15516880896 88564 33554432000 4194304 4196468 140728116716368 140144086535184 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10040] ppid=10033 vsize=15153204 memory=354256 CPUtime=0.1 cores=0,2,4,6
/proc/10035/task/10040/stat : 10040 (java) S 10033 10033 8752 0 -1 1077944384 186 0 0 0 6 4 0 0 20 0 15 0 517716649 15516880896 88564 33554432000 4194304 4196468 140728116716368 140144085482640 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10041] ppid=10033 vsize=15153204 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10041/stat : 10041 (java) S 10033 10033 8752 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 15 0 517716650 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143369975792 140144495954562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10042] ppid=10033 vsize=15153204 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10042/stat : 10042 (java) S 10033 10033 8752 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 517716651 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143368922016 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10043] ppid=10033 vsize=15153204 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10043/stat : 10043 (java) S 10033 10033 8752 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 517716651 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143367869424 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10044] ppid=10033 vsize=15153204 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10044/stat : 10044 (java) S 10033 10033 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517716653 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143366818000 140144495962011 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10045] ppid=10033 vsize=15153204 memory=1456 CPUtime=2.15 cores=0,2,4,6
/proc/10035/task/10045/stat : 10045 (java) S 10033 10033 8752 0 -1 1077944384 10892 0 0 0 214 1 0 0 20 0 15 0 517716653 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143365765616 140144495954562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10046] ppid=10033 vsize=15153204 memory=1456 CPUtime=2.29 cores=0,2,4,6
/proc/10035/task/10046/stat : 10046 (java) S 10033 10033 8752 0 -1 1077944384 10156 0 0 0 228 1 0 0 20 0 15 0 517716653 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143364713072 140144495954562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10047] ppid=10033 vsize=15153204 memory=354228 CPUtime=0.7 cores=0,2,4,6
/proc/10035/task/10047/stat : 10047 (java) S 10033 10033 8752 0 -1 1077944384 6112 0 0 0 69 1 0 0 20 0 15 0 517716653 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143363660528 140144495954562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10048] ppid=10033 vsize=15153204 memory=10 CPUtime=0 cores=0,2,4,6
/proc/10035/task/10048/stat : 10048 (java) S 10033 10033 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517716654 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143362608224 140144495953621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
[pid=10035/tid=10049] ppid=10033 vsize=15153204 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10035/task/10049/stat : 10049 (java) S 10033 10033 8752 0 -1 1077944384 187 0 0 0 0 1 0 0 20 0 15 0 517716654 15516880896 88564 33554432000 4194304 4196468 140728116716368 140143361554736 140144495954562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35299328 140728116720603 140728116720778 140728116720778 140728116723663 0
Current children cumulated CPU time: 80.77 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 355712 KiB
Child status: 0
Real time (s): 75.3581
CPU time (s): 80.8431
CPU user time (s): 80.5282
CPU system time (s): 0.314876
CPU usage (%): 107.279
Max. virtual memory (cumulated for all children) (KiB): 15270168
Max. memory (cumulated for all children) (KiB): 361152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.5282
system time used= 0.314876
maximum resident set size= 360752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45929
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4504
involuntary context switches= 64
# summary of solver processes directly reported to runsolver:
# pid: 10033
# total CPU time (s): 80.8431
# total CPU user time (s): 80.5282
# total CPU system time (s): 0.314876
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.462347 second user time and 0.733219 second system time
The end