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 (4306 MiB free)
memory of node 1: 16384 MiB (13152 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398990-1568699562/watcher-4398990-1568699562 -o /tmp/evaluation-result-4398990-1568699562/solver-4398990-1568699562 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568698608-10316 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1379285195 HOME/instance-4398990-1568699562.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=11105, runsolver pid=11102
[startup+0.101007 s]*
/proc/loadavg: 6.89 7.10 7.18 6/231 11121
/proc/meminfo: memFree=17860480/32770624 swapFree=66953076/67108860
[pid=11105] ppid=11102 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11105/stat : 11105 (xcsp3-exec) S 11102 11105 10284 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446225086 115843072 363 33554432000 4194304 5098028 140729519929024 140729519927128 139659482448508 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21213184 140729519932282 140729519932525 140729519932525 140729519935434 0
/proc/11105/statm: 28282 363 304 221 0 87 0
[pid=11107] ppid=11105 vsize=15144776 memory=29156 CPUtime=0.13 cores=1,3,5,7
/proc/11107/stat : 11107 (java) S 11105 11105 10284 0 -1 1077944320 5744 0 0 0 12 1 0 0 20 0 15 0 446225086 15508250624 7289 33554432000 4194304 4196468 140730127235680 140730127218224 140229012758263 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
/proc/11107/statm: 3786194 7289 3143 1 0 3748377 0
[pid=11107/tid=11108] ppid=11105 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/11107/task/11108/stat : 11108 (java) R 11105 11105 10284 0 -1 4202560 3623 0 0 0 8 1 0 0 20 0 15 0 446225086 15508250624 7289 33554432000 4194304 4196468 140730127235680 140229016991040 140228996801893 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11109] ppid=11105 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11109/stat : 11109 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446225087 15508250624 7289 33554432000 4194304 4196468 140730127235680 140228940798736 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11110] ppid=11105 vsize=15144776 memory=3832757298936923808 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11110/stat : 11110 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446225087 15508250624 7289 33554432000 4194304 4196468 140730127235680 140228939746192 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11111] ppid=11105 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11111/stat : 11111 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446225087 15508250624 7289 33554432000 4194304 4196468 140730127235680 140228938693648 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11112] ppid=11105 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11112/stat : 11112 (java) S 11105 11105 10284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446225087 15508250624 7289 33554432000 4194304 4196468 140730127235680 140228602227856 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11113] ppid=11105 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11113/stat : 11113 (java) S 11105 11105 10284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446225088 15508250624 7289 33554432000 4194304 4196468 140730127235680 140228548495344 140229012769410 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11114] ppid=11105 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11114/stat : 11114 (java) S 11105 11105 10284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446225089 15508250624 7289 33554432000 4194304 4196468 140730127235680 140228547441568 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11115] ppid=11105 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11115/stat : 11115 (java) S 11105 11105 10284 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446225089 15508250624 7289 33554432000 4194304 4196468 140730127235680 140228546388976 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11116] ppid=11105 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11116/stat : 11116 (java) S 11105 11105 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446225091 15508250624 7289 33554432000 4194304 4196468 140730127235680 140228545337552 140229012776859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11117] ppid=11105 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11117/stat : 11117 (java) R 11105 11105 10284 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 15 0 446225091 15508250624 7289 33554432000 4194304 4196468 140730127235680 140228544285168 140229012769410 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11118] ppid=11105 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11118/stat : 11118 (java) R 11105 11105 10284 0 -1 4202560 123 0 0 0 0 0 0 0 20 0 15 0 446225091 15508250624 7289 33554432000 4194304 4196468 140730127235680 140228543232624 140228992414672 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11119] ppid=11105 vsize=15144776 memory=139928699127424 CPUtime=0.02 cores=1,3,5,7
/proc/11107/task/11119/stat : 11119 (java) R 11105 11105 10284 0 -1 4202560 354 0 0 0 2 0 0 0 20 0 15 0 446225091 15508250624 7289 33554432000 4194304 4196468 140730127235680 140228542180080 140228991442982 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11120] ppid=11105 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11120/stat : 11120 (java) S 11105 11105 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446225091 15508250624 7289 33554432000 4194304 4196468 140730127235680 140228541127776 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11121] ppid=11105 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11121/stat : 11121 (java) R 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446225092 15508250624 7289 33554432000 4194304 4196468 140730127235680 140228540074288 140229012769410 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30608 KiB
[startup+0.210917 s]*
/proc/loadavg: 6.89 7.10 7.18 6/231 11121
/proc/meminfo: memFree=17846088/32770624 swapFree=66953076/67108860
[pid=11105] ppid=11102 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11105/stat : 11105 (xcsp3-exec) S 11102 11105 10284 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446225086 115843072 363 33554432000 4194304 5098028 140729519929024 140729519927128 139659482448508 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21213184 140729519932282 140729519932525 140729519932525 140729519935434 0
/proc/11105/statm: 28282 363 304 221 0 87 0
[pid=11107] ppid=11105 vsize=15144776 memory=41996 CPUtime=0.34 cores=1,3,5,7
/proc/11107/stat : 11107 (java) S 11105 11105 10284 0 -1 1077944320 9225 0 0 0 31 3 0 0 20 0 15 0 446225086 15508250624 10499 33554432000 4194304 4196468 140730127235680 140730127218224 140229012758263 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
/proc/11107/statm: 3786194 10499 3305 1 0 3748377 0
[pid=11107/tid=11108] ppid=11105 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/11107/task/11108/stat : 11108 (java) R 11105 11105 10284 0 -1 4202560 6390 0 0 0 18 2 0 0 20 0 15 0 446225086 15508250624 10499 33554432000 4194304 4196468 140730127235680 140229016990992 140229012780189 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11109] ppid=11105 vsize=15144776 memory=1946935 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11109/stat : 11109 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446225087 15508250624 10499 33554432000 4194304 4196468 140730127235680 140228940798736 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11110] ppid=11105 vsize=15144776 memory=139928702476783 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11110/stat : 11110 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446225087 15508250624 10499 33554432000 4194304 4196468 140730127235680 140228939746192 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11111] ppid=11105 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11111/stat : 11111 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446225087 15508250624 10499 33554432000 4194304 4196468 140730127235680 140228938693648 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11112] ppid=11105 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11112/stat : 11112 (java) S 11105 11105 10284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446225087 15508250624 10499 33554432000 4194304 4196468 140730127235680 140228602227856 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11113] ppid=11105 vsize=15144776 memory=139928699127424 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11113/stat : 11113 (java) S 11105 11105 10284 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446225088 15508250624 10499 33554432000 4194304 4196468 140730127235680 140228548495344 140229012769410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11114] ppid=11105 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11114/stat : 11114 (java) S 11105 11105 10284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446225089 15508250624 10499 33554432000 4194304 4196468 140730127235680 140228547441568 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11115] ppid=11105 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11115/stat : 11115 (java) S 11105 11105 10284 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446225089 15508250624 10563 33554432000 4194304 4196468 140730127235680 140228546388976 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11116] ppid=11105 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11116/stat : 11116 (java) S 11105 11105 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446225091 15508250624 10563 33554432000 4194304 4196468 140730127235680 140228545337552 140229012776859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11117] ppid=11105 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11107/task/11117/stat : 11117 (java) S 11105 11105 10284 0 -1 1077944384 599 0 0 0 2 0 0 0 20 0 15 0 446225091 15508250624 10563 33554432000 4194304 4196468 140730127235680 140228544285168 140229012769410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11118] ppid=11105 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/11107/task/11118/stat : 11118 (java) S 11105 11105 10284 0 -1 1077944384 177 0 0 0 2 0 0 0 20 0 15 0 446225091 15508250624 10563 33554432000 4194304 4196468 140730127235680 140228543232624 140229012769410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11119] ppid=11105 vsize=15144776 memory=139928699127424 CPUtime=0.08 cores=1,3,5,7
/proc/11107/task/11119/stat : 11119 (java) S 11105 11105 10284 0 -1 1077944384 759 0 0 0 8 0 0 0 20 0 15 0 446225091 15508250624 10563 33554432000 4194304 4196468 140730127235680 140228542180080 140229012769410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11120] ppid=11105 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11120/stat : 11120 (java) S 11105 11105 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446225091 15508250624 10563 33554432000 4194304 4196468 140730127235680 140228541127776 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11121] ppid=11105 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11121/stat : 11121 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446225092 15508250624 10563 33554432000 4194304 4196468 140730127235680 140228540074288 140229012769410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 43448 KiB
[startup+0.310653 s]*
/proc/loadavg: 6.89 7.10 7.18 7/231 11121
/proc/meminfo: memFree=17838680/32770624 swapFree=66953076/67108860
[pid=11105] ppid=11102 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11105/stat : 11105 (xcsp3-exec) S 11102 11105 10284 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446225086 115843072 363 33554432000 4194304 5098028 140729519929024 140729519927128 139659482448508 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21213184 140729519932282 140729519932525 140729519932525 140729519935434 0
/proc/11105/statm: 28282 363 304 221 0 87 0
[pid=11107] ppid=11105 vsize=15149032 memory=51376 CPUtime=0.53 cores=1,3,5,7
/proc/11107/stat : 11107 (java) S 11105 11105 10284 0 -1 1077944320 10674 0 0 0 49 4 0 0 20 0 15 0 446225086 15512608768 12844 33554432000 4194304 4196468 140730127235680 140730127218224 140229012758263 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
/proc/11107/statm: 3787258 12844 3369 1 0 3748377 0
[pid=11107/tid=11108] ppid=11105 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/11107/task/11108/stat : 11108 (java) R 11105 11105 10284 0 -1 4202560 7609 0 0 0 27 3 0 0 20 0 15 0 446225086 15512608768 12844 33554432000 4194304 4196468 140730127235680 140229016995088 140228996838750 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11109] ppid=11105 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11109/stat : 11109 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446225087 15512608768 12844 33554432000 4194304 4196468 140730127235680 140228940798736 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11110] ppid=11105 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11110/stat : 11110 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446225087 15512608768 12844 33554432000 4194304 4196468 140730127235680 140228939746192 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11111] ppid=11105 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11111/stat : 11111 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446225087 15512608768 12844 33554432000 4194304 4196468 140730127235680 140228938693648 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11112] ppid=11105 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11112/stat : 11112 (java) S 11105 11105 10284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446225087 15512608768 12844 33554432000 4194304 4196468 140730127235680 140228602227856 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11113] ppid=11105 vsize=15149032 memory=-7305852742256935071 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11113/stat : 11113 (java) S 11105 11105 10284 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446225088 15512608768 12844 33554432000 4194304 4196468 140730127235680 140228548495344 140229012769410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11114] ppid=11105 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11114/stat : 11114 (java) S 11105 11105 10284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446225089 15512608768 12844 33554432000 4194304 4196468 140730127235680 140228547441568 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11115] ppid=11105 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11115/stat : 11115 (java) S 11105 11105 10284 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446225089 15512608768 12844 33554432000 4194304 4196468 140730127235680 140228546388976 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11116] ppid=11105 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11116/stat : 11116 (java) S 11105 11105 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446225091 15512608768 12844 33554432000 4194304 4196468 140730127235680 140228545337552 140229012776859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11117] ppid=11105 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/11107/task/11117/stat : 11117 (java) S 11105 11105 10284 0 -1 1077944384 696 0 0 0 5 0 0 0 20 0 15 0 446225091 15512608768 12844 33554432000 4194304 4196468 140730127235680 140228544285168 140229012769410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11118] ppid=11105 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/11107/task/11118/stat : 11118 (java) S 11105 11105 10284 0 -1 1077944384 219 0 0 0 4 0 0 0 20 0 15 0 446225091 15512608768 12844 33554432000 4194304 4196468 140730127235680 140228543232624 140229012769410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11119] ppid=11105 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/11107/task/11119/stat : 11119 (java) S 11105 11105 10284 0 -1 1077944384 856 0 0 0 12 0 0 0 20 0 15 0 446225091 15512608768 12844 33554432000 4194304 4196468 140730127235680 140228542180080 140229012769410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11120] ppid=11105 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11120/stat : 11120 (java) S 11105 11105 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446225091 15512608768 12844 33554432000 4194304 4196468 140730127235680 140228541127776 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11121] ppid=11105 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11121/stat : 11121 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446225092 15512608768 12844 33554432000 4194304 4196468 140730127235680 140228540074288 140229012769410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52828 KiB
[startup+0.70075 s]
/proc/loadavg: 6.89 7.10 7.18 10/231 11121
/proc/meminfo: memFree=17821400/32770624 swapFree=66953076/67108860
[pid=11105] ppid=11102 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11105/stat : 11105 (xcsp3-exec) S 11102 11105 10284 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446225086 115843072 363 33554432000 4194304 5098028 140729519929024 140729519927128 139659482448508 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21213184 140729519932282 140729519932525 140729519932525 140729519935434 0
/proc/11105/statm: 28282 363 304 221 0 87 0
[pid=11107] ppid=11105 vsize=15417412 memory=96352 CPUtime=1.74 cores=1,3,5,7
/proc/11107/stat : 11107 (java) S 11105 11105 10284 0 -1 1077944320 15373 0 0 0 168 6 0 0 20 0 19 0 446225086 15787429888 24088 33554432000 4194304 4196468 140730127235680 140730127218224 140229012758263 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
/proc/11107/statm: 3854353 24088 3462 1 0 3815453 0
[pid=11107/tid=11108] ppid=11105 vsize=15417412 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/11107/task/11108/stat : 11108 (java) S 11105 11105 10284 0 -1 1077944384 8839 0 0 0 51 4 0 0 20 0 19 0 446225086 15787429888 24088 33554432000 4194304 4196468 140730127235680 140229016999040 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11109] ppid=11105 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11109/stat : 11109 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446225087 15787429888 24088 33554432000 4194304 4196468 140730127235680 140228940798736 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11110] ppid=11105 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11110/stat : 11110 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446225087 15787429888 24088 33554432000 4194304 4196468 140730127235680 140228939746192 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11111] ppid=11105 vsize=15417412 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11111/stat : 11111 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446225087 15787429888 24088 33554432000 4194304 4196468 140730127235680 140228938693648 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11112] ppid=11105 vsize=15417412 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11112/stat : 11112 (java) S 11105 11105 10284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446225087 15787429888 24088 33554432000 4194304 4196468 140730127235680 140228602227856 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11113] ppid=11105 vsize=15417412 memory=1536 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11113/stat : 11113 (java) S 11105 11105 10284 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 446225088 15787429888 24088 33554432000 4194304 4196468 140730127235680 140228548495344 140229012769410 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11114] ppid=11105 vsize=15417412 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11114/stat : 11114 (java) S 11105 11105 10284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446225089 15787429888 24088 33554432000 4194304 4196468 140730127235680 140228547441568 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11115] ppid=11105 vsize=15417412 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11115/stat : 11115 (java) S 11105 11105 10284 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 446225089 15787429888 24088 33554432000 4194304 4196468 140730127235680 140228546388976 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11116] ppid=11105 vsize=15417412 memory=780 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11116/stat : 11116 (java) S 11105 11105 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446225091 15787429888 24088 33554432000 4194304 4196468 140730127235680 140228545337552 140229012776859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11117] ppid=11105 vsize=15417412 memory=620 CPUtime=0.27 cores=1,3,5,7
/proc/11107/task/11117/stat : 11117 (java) R 11105 11105 10284 0 -1 4202560 1543 0 0 0 27 0 0 0 20 0 19 0 446225091 15787429888 24088 33554432000 4194304 4196468 140730127235680 140228544271712 140228998782105 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11118] ppid=11105 vsize=15417412 memory=1496 CPUtime=0.3 cores=1,3,5,7
/proc/11107/task/11118/stat : 11118 (java) R 11105 11105 10284 0 -1 4202560 1626 0 0 0 30 0 0 0 20 0 19 0 446225091 15787429888 24088 33554432000 4194304 4196468 140730127235680 140228543213640 140228994302703 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11119] ppid=11105 vsize=15417412 memory=1016 CPUtime=0.34 cores=1,3,5,7
/proc/11107/task/11119/stat : 11119 (java) R 11105 11105 10284 0 -1 1077944384 1914 0 0 0 34 0 0 0 20 0 19 0 446225091 15787429888 24088 33554432000 4194304 4196468 140730127235680 140228542180080 140229012769410 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11120] ppid=11105 vsize=15417412 memory=6016 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11120/stat : 11120 (java) S 11105 11105 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446225091 15787429888 24088 33554432000 4194304 4196468 140730127235680 140228541127776 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11121] ppid=11105 vsize=15417412 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11121/stat : 11121 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446225092 15787429888 24088 33554432000 4194304 4196468 140730127235680 140228540074288 140229012769410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 97804 KiB
[startup+1.50175 s]
/proc/loadavg: 6.89 7.10 7.18 11/235 11125
/proc/meminfo: memFree=17783432/32770624 swapFree=66953076/67108860
[pid=11105] ppid=11102 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11105/stat : 11105 (xcsp3-exec) S 11102 11105 10284 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446225086 115843072 363 33554432000 4194304 5098028 140729519929024 140729519927128 139659482448508 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21213184 140729519932282 140729519932525 140729519932525 140729519935434 0
/proc/11105/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/11107/task/11125/stat : 11125 (java) R 11105 11105 10284 0 -1 4202560 36 0 0 0 58 0 0 0 20 0 19 0 446225145 15787429888 28686 33554432000 4194304 4196468 140730127235680 140227932728536 140228624011559 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
Current children cumulated CPU time: 4.93 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 116196 KiB
[startup+2.19773 s]
# the end of solver process 11105 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.54728 s, system=0.082392 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60109 s]
/proc/loadavg: 6.89 7.10 7.18 11/235 11125
/proc/meminfo: memFree=17783432/32770624 swapFree=66953076/67108860
[pid=11105] ppid=11102 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11105/stat : 11105 (xcsp3-exec) S 11102 11105 10284 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446225086 115843072 363 33554432000 4194304 5098028 140729519929024 140729519927128 139659482448508 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21213184 140729519932282 140729519932525 140729519932525 140729519935434 0
/proc/11105/statm: 28282 363 304 221 0 87 0
[pid=11107] ppid=11105 vsize=15417412 memory=115392 CPUtime=5.33 cores=1,3,5,7
/proc/11107/stat : 11107 (java) S 11105 11105 10284 0 -1 1077944320 21951 0 0 0 526 7 0 0 20 0 19 0 446225086 15787429888 28848 33554432000 4194304 4196468 140730127235680 140730127218224 140229012758263 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
/proc/11107/statm: 3854353 28848 3490 1 0 3815453 0
[pid=11107/tid=11108] ppid=11105 vsize=15417412 memory=5938104292193035880 CPUtime=0.55 cores=1,3,5,7
/proc/11107/task/11108/stat : 11108 (java) S 11105 11105 10284 0 -1 1077944384 8839 0 0 0 51 4 0 0 20 0 19 0 446225086 15787429888 28848 33554432000 4194304 4196468 140730127235680 140229016999040 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11109] ppid=11105 vsize=15417412 memory=6945795725291241572 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11109/stat : 11109 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446225087 15787429888 28848 33554432000 4194304 4196468 140730127235680 140228940798736 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11110] ppid=11105 vsize=15417412 memory=6945795725291241572 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11110/stat : 11110 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446225087 15787429888 28848 33554432000 4194304 4196468 140730127235680 140228939746192 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11111] ppid=11105 vsize=15417412 memory=6945795725291241572 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11111/stat : 11111 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446225087 15787429888 28848 33554432000 4194304 4196468 140730127235680 140228938693648 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11112] ppid=11105 vsize=15417412 memory=6945795725291241572 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11112/stat : 11112 (java) S 11105 11105 10284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446225087 15787429888 28848 33554432000 4194304 4196468 140730127235680 140228602227856 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11113] ppid=11105 vsize=15417412 memory=6945795725291241572 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11113/stat : 11113 (java) S 11105 11105 10284 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 446225088 15787429888 28848 33554432000 4194304 4196468 140730127235680 140228548495344 140229012769410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11114] ppid=11105 vsize=15417412 memory=7236274598440887398 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11114/stat : 11114 (java) S 11105 11105 10284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446225089 15787429888 28848 33554432000 4194304 4196468 140730127235680 140228547441568 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11115] ppid=11105 vsize=15417412 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11115/stat : 11115 (java) S 11105 11105 10284 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 446225089 15787429888 28848 33554432000 4194304 4196468 140730127235680 140228546388976 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11116] ppid=11105 vsize=15417412 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11116/stat : 11116 (java) S 11105 11105 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446225091 15787429888 28848 33554432000 4194304 4196468 140730127235680 140228545337552 140229012776859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11117] ppid=11105 vsize=15417412 memory=26072 CPUtime=1.07 cores=1,3,5,7
/proc/11107/task/11117/stat : 11117 (java) R 11105 11105 10284 0 -1 4202560 4783 0 0 0 107 0 0 0 20 0 19 0 446225091 15787429888 28848 33554432000 4194304 4196468 140730127235680 140228544271672 140228992601876 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11118] ppid=11105 vsize=15417412 memory=14068 CPUtime=0.98 cores=1,3,5,7
/proc/11107/task/11118/stat : 11118 (java) R 11105 11105 10284 0 -1 4202560 3955 0 0 0 98 0 0 0 20 0 19 0 446225091 15787429888 28848 33554432000 4194304 4196468 140730127235680 140228543219168 140228994288485 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11119] ppid=11105 vsize=15417412 memory=524 CPUtime=0.47 cores=1,3,5,7
/proc/11107/task/11119/stat : 11119 (java) R 11105 11105 10284 0 -1 1077944384 2488 0 0 0 47 0 0 0 20 0 19 0 446225091 15787429888 28848 33554432000 4194304 4196468 140730127235680 140228542180080 140229012769410 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11120] ppid=11105 vsize=15417412 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11120/stat : 11120 (java) S 11105 11105 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446225091 15787429888 28848 33554432000 4194304 4196468 140730127235680 140228541127776 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11121] ppid=11105 vsize=15417412 memory=928 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11121/stat : 11121 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446225092 15787429888 28848 33554432000 4194304 4196468 140730127235680 140228540074288 140229012769410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11122] ppid=11105 vsize=15417412 memory=3520 CPUtime=0.53 cores=1,3,5,7
/proc/11107/task/11122/stat : 11122 (java) R 11105 11105 10284 0 -1 4202560 112 0 0 0 53 0 0 0 20 0 19 0 446225144 15787429888 28848 33554432000 4194304 4196468 140730127235680 140227935886424 140228623966664 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11123] ppid=11105 vsize=15417412 memory=1976 CPUtime=0.48 cores=1,3,5,7
/proc/11107/task/11123/stat : 11123 (java) R 11105 11105 10284 0 -1 4202560 229 0 0 0 48 0 0 0 20 0 19 0 446225144 15787429888 28848 33554432000 4194304 4196468 140730127235680 140227934834968 140228622595608 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11124] ppid=11105 vsize=15417412 memory=2512 CPUtime=0.54 cores=1,3,5,7
/proc/11107/task/11124/stat : 11124 (java) R 11105 11105 10284 0 -1 4202560 81 0 0 0 54 0 0 0 20 0 19 0 446225144 15787429888 28848 33554432000 4194304 4196468 140730127235680 140227933780832 140228622726769 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11125] ppid=11105 vsize=15417412 memory=808 CPUtime=0.64 cores=1,3,5,7
/proc/11107/task/11125/stat : 11125 (java) R 11105 11105 10284 0 -1 4202560 156 0 0 0 64 0 0 0 20 0 19 0 446225145 15787429888 28848 33554432000 4194304 4196468 140730127235680 140227932728288 140228622674892 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
Current children cumulated CPU time: 5.33 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 116844 KiB
[startup+2.00175 s]*
/proc/loadavg: 7.22 7.16 7.21 12/235 11125
/proc/meminfo: memFree=17760100/32770624 swapFree=66953076/67108860
[pid=11105] ppid=11102 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11105/stat : 11105 (xcsp3-exec) S 11102 11105 10284 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446225086 115843072 363 33554432000 4194304 5098028 140729519929024 140729519927128 139659482448508 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21213184 140729519932282 140729519932525 140729519932525 140729519935434 0
/proc/11105/statm: 28282 363 304 221 0 87 0
[pid=11107] ppid=11105 vsize=15417412 memory=130112 CPUtime=6.93 cores=1,3,5,7
/proc/11107/stat : 11107 (java) S 11105 11105 10284 0 -1 1077944320 22250 0 0 0 686 7 0 0 20 0 19 0 446225086 15787429888 32528 33554432000 4194304 4196468 140730127235680 140730127218224 140229012758263 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
/proc/11107/statm: 3854353 32528 3495 1 0 3815453 0
[pid=11107/tid=11108] ppid=11105 vsize=15417412 memory=8317482817917895235 CPUtime=0.55 cores=1,3,5,7
/proc/11107/task/11108/stat : 11108 (java) S 11105 11105 10284 0 -1 1077944384 8839 0 0 0 51 4 0 0 20 0 19 0 446225086 15787429888 32528 33554432000 4194304 4196468 140730127235680 140229016999040 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11109] ppid=11105 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11109/stat : 11109 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446225087 15787429888 32528 33554432000 4194304 4196468 140730127235680 140228940798736 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11110] ppid=11105 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11110/stat : 11110 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446225087 15787429888 32528 33554432000 4194304 4196468 140730127235680 140228939746192 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11111] ppid=11105 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11111/stat : 11111 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446225087 15787429888 32528 33554432000 4194304 4196468 140730127235680 140228938693648 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11112] ppid=11105 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11112/stat : 11112 (java) S 11105 11105 10284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446225087 15787429888 32528 33554432000 4194304 4196468 140730127235680 140228602227856 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11113] ppid=11105 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11113/stat : 11113 (java) S 11105 11105 10284 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 446225088 15787429888 32528 33554432000 4194304 4196468 140730127235680 140228548495344 140229012769410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11114] ppid=11105 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11114/stat : 11114 (java) S 11105 11105 10284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446225089 15787429888 32528 33554432000 4194304 4196468 140730127235680 140228547441568 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11115] ppid=11105 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11115/stat : 11115 (java) S 11105 11105 10284 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 446225089 15787429888 32528 33554432000 4194304 4196468 140730127235680 140228546388976 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11116] ppid=11105 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11116/stat : 11116 (java) S 11105 11105 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446225091 15787429888 32528 33554432000 4194304 4196468 140730127235680 140228545337552 140229012776859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11117] ppid=11105 vsize=15417412 memory=0 CPUtime=1.31 cores=1,3,5,7
/proc/11107/task/11117/stat : 11117 (java) R 11105 11105 10284 0 -1 4202560 4891 0 0 0 130 1 0 0 20 0 19 0 446225091 15787429888 32528 33554432000 4194304 4196468 140730127235680 140228544271736 140229005047717 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11118] ppid=11105 vsize=15417412 memory=5983648038440153135 CPUtime=1.25 cores=1,3,5,7
/proc/11107/task/11118/stat : 11118 (java) R 11105 11105 10284 0 -1 4202560 4034 0 0 0 125 0 0 0 20 0 19 0 446225091 15787429888 32528 33554432000 4194304 4196468 140730127235680 140228543219168 140228997882311 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11119] ppid=11105 vsize=15417412 memory=3472468207746938544 CPUtime=0.51 cores=1,3,5,7
/proc/11107/task/11119/stat : 11119 (java) R 11105 11105 10284 0 -1 4202560 2574 0 0 0 51 0 0 0 20 0 19 0 446225091 15787429888 32528 33554432000 4194304 4196468 140730127235680 140228542180080 140229012779610 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11120] ppid=11105 vsize=15417412 memory=3472328296227679279 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11120/stat : 11120 (java) S 11105 11105 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446225091 15787429888 32528 33554432000 4194304 4196468 140730127235680 140228541127776 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11121] ppid=11105 vsize=15417412 memory=3472468207746938544 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11121/stat : 11121 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446225092 15787429888 32528 33554432000 4194304 4196468 140730127235680 140228540074288 140229012769410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11122] ppid=11105 vsize=15417412 memory=8461260352690138415 CPUtime=0.72 cores=1,3,5,7
/proc/11107/task/11122/stat : 11122 (java) R 11105 11105 10284 0 -1 4202560 112 0 0 0 72 0 0 0 20 0 19 0 446225144 15787429888 32528 33554432000 4194304 4196468 140730127235680 140227935886264 140228624011559 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11123] ppid=11105 vsize=15417412 memory=139928699127424 CPUtime=0.73 cores=1,3,5,7
/proc/11107/task/11123/stat : 11123 (java) R 11105 11105 10284 0 -1 4202560 241 0 0 0 73 0 0 0 20 0 19 0 446225144 15787429888 32528 33554432000 4194304 4196468 140730127235680 140227934834776 140228624104845 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11124] ppid=11105 vsize=15417412 memory=-1 CPUtime=0.86 cores=1,3,5,7
/proc/11107/task/11124/stat : 11124 (java) R 11105 11105 10284 0 -1 4202560 83 0 0 0 86 0 0 0 20 0 19 0 446225144 15787429888 32528 33554432000 4194304 4196468 140730127235680 140227933782632 140228623968493 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11125] ppid=11105 vsize=15417412 memory=0 CPUtime=0.95 cores=1,3,5,7
/proc/11107/task/11125/stat : 11125 (java) R 11105 11105 10284 0 -1 4202560 157 0 0 0 95 0 0 0 20 0 19 0 446225145 15787429888 32528 33554432000 4194304 4196468 140730127235680 140227932730152 140228624062254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
Current children cumulated CPU time: 6.93 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 131564 KiB
[startup+2.11175 s]
/proc/loadavg: 7.22 7.16 7.21 12/235 11125
/proc/meminfo: memFree=17760100/32770624 swapFree=66953076/67108860
[pid=11105] ppid=11102 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11105/stat : 11105 (xcsp3-exec) S 11102 11105 10284 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446225086 115843072 363 33554432000 4194304 5098028 140729519929024 140729519927128 139659482448508 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21213184 140729519932282 140729519932525 140729519932525 140729519935434 0
/proc/11105/statm: 28282 363 304 221 0 87 0
[pid=11107] ppid=11105 vsize=15417412 memory=134452 CPUtime=7.34 cores=1,3,5,7
/proc/11107/stat : 11107 (java) S 11105 11105 10284 0 -1 1077944320 22309 0 0 0 727 7 0 0 20 0 19 0 446225086 15787429888 33613 33554432000 4194304 4196468 140730127235680 140730127218224 140229012758263 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
/proc/11107/statm: 3854353 33613 3495 1 0 3815453 0
[pid=11107/tid=11108] ppid=11105 vsize=15417412 memory=1188 CPUtime=0.55 cores=1,3,5,7
/proc/11107/task/11108/stat : 11108 (java) S 11105 11105 10284 0 -1 1077944384 8839 0 0 0 51 4 0 0 20 0 19 0 446225086 15787429888 33613 33554432000 4194304 4196468 140730127235680 140229016999040 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11109] ppid=11105 vsize=15417412 memory=1536 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11109/stat : 11109 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446225087 15787429888 33613 33554432000 4194304 4196468 140730127235680 140228940798736 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11110] ppid=11105 vsize=15417412 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11110/stat : 11110 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446225087 15787429888 33613 33554432000 4194304 4196468 140730127235680 140228939746192 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11111] ppid=11105 vsize=15417412 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11111/stat : 11111 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446225087 15787429888 33613 33554432000 4194304 4196468 140730127235680 140228938693648 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11112] ppid=11105 vsize=15417412 memory=95468533077714 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11112/stat : 11112 (java) S 11105 11105 10284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446225087 15787429888 33613 33554432000 4194304 4196468 140730127235680 140228602227856 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11113] ppid=11105 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11113/stat : 11113 (java) S 11105 11105 10284 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 446225088 15787429888 33613 33554432000 4194304 4196468 140730127235680 140228548495344 140229012769410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11114] ppid=11105 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11114/stat : 11114 (java) S 11105 11105 10284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446225089 15787429888 33613 33554432000 4194304 4196468 140730127235680 140228547441568 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11115] ppid=11105 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11115/stat : 11115 (java) S 11105 11105 10284 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 446225089 15787429888 33613 33554432000 4194304 4196468 140730127235680 140228546388976 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11116] ppid=11105 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11116/stat : 11116 (java) S 11105 11105 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446225091 15787429888 33613 33554432000 4194304 4196468 140730127235680 140228545337552 140229012776859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11117] ppid=11105 vsize=15417412 memory=0 CPUtime=1.33 cores=1,3,5,7
/proc/11107/task/11117/stat : 11117 (java) R 11105 11105 10284 0 -1 1077944384 4909 0 0 0 132 1 0 0 20 0 19 0 446225091 15787429888 33613 33554432000 4194304 4196468 140730127235680 140228544285168 140229012769410 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11118] ppid=11105 vsize=15417412 memory=0 CPUtime=1.28 cores=1,3,5,7
/proc/11107/task/11118/stat : 11118 (java) S 11105 11105 10284 0 -1 1077944384 4048 0 0 0 128 0 0 0 20 0 19 0 446225091 15787429888 33613 33554432000 4194304 4196468 140730127235680 140228543232624 140229012769410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11119] ppid=11105 vsize=15417412 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/11107/task/11119/stat : 11119 (java) S 11105 11105 10284 0 -1 1077944384 2597 0 0 0 52 0 0 0 20 0 19 0 446225091 15787429888 33613 33554432000 4194304 4196468 140730127235680 140228542180080 140229012769410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11120] ppid=11105 vsize=15417412 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11120/stat : 11120 (java) S 11105 11105 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446225091 15787429888 33613 33554432000 4194304 4196468 140730127235680 140228541127776 140229012768469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11121] ppid=11105 vsize=15417412 memory=7013039640225931881 CPUtime=0 cores=1,3,5,7
/proc/11107/task/11121/stat : 11121 (java) S 11105 11105 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446225092 15787429888 33613 33554432000 4194304 4196468 140730127235680 140228540074288 140229012769410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11122] ppid=11105 vsize=15417412 memory=8016517736310469220 CPUtime=0.8 cores=1,3,5,7
/proc/11107/task/11122/stat : 11122 (java) R 11105 11105 10284 0 -1 4202560 112 0 0 0 80 0 0 0 20 0 19 0 446225144 15787429888 33613 33554432000 4194304 4196468 140730127235680 140227935888296 140228624036355 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11123] ppid=11105 vsize=15417412 memory=7517750683255726184 CPUtime=0.83 cores=1,3,5,7
/proc/11107/task/11123/stat : 11123 (java) R 11105 11105 10284 0 -1 4202560 243 0 0 0 83 0 0 0 20 0 19 0 446225144 15787429888 33613 33554432000 4194304 4196468 140730127235680 140227934836712 140228624204338 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11124] ppid=11105 vsize=15417412 memory=7234591241762586730 CPUtime=0.95 cores=1,3,5,7
/proc/11107/task/11124/stat : 11124 (java) R 11105 11105 10284 0 -1 4202560 84 0 0 0 95 0 0 0 20 0 19 0 446225144 15787429888 33613 33554432000 4194304 4196468 140730127235680 140227933782808 140228624011559 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
[pid=11107/tid=11125] ppid=11105 vsize=15417412 memory=7084817988341490533 CPUtime=1.03 cores=1,3,5,7
/proc/11107/task/11125/stat : 11125 (java) R 11105 11105 10284 0 -1 4202560 158 0 0 0 103 0 0 0 20 0 19 0 446225145 15787429888 33613 33554432000 4194304 4196468 140730127235680 140227932729880 140228624045360 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730127238127 140730127238298 140730127238298 140730127241167 0
Current children cumulated CPU time: 7.34 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 135904 KiB
Child status: 0
Real time (s): 2.19778
CPU time (s): 7.62967
CPU user time (s): 7.54728
CPU system time (s): 0.082392
CPU usage (%): 347.154
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 135904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.54728
system time used= 0.082392
maximum resident set size= 138840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23052
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1812
involuntary context switches= 366
# summary of solver processes directly reported to runsolver:
# pid: 11105
# total CPU time (s): 7.62967
# total CPU user time (s): 7.54728
# total CPU system time (s): 0.082392
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047359 second user time and 0.061352 second system time
The end