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 (4596 MiB free)
memory of node 1: 16384 MiB (6910 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403540-1568993140/watcher-4403540-1568993140 -o /var/tmp/evaluation-result-4403540-1568993140/solver-4403540-1568993140 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1568993101-2372 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 935256856 HOME/instance-4403540-1568993140.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=2407, runsolver pid=2394
[startup+0.100081 s]*
/proc/loadavg: 3.93 6.69 7.73 4/230 2445
/proc/meminfo: memFree=11750108/32770624 swapFree=66956684/67108860
[pid=2407] ppid=2394 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2407/stat : 2407 (xcsp3-exec) S 2394 2407 2340 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475552619 115843072 363 33554432000 4194304 5098028 140723159055760 140723159053864 139975773201020 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 34619392 140723159061335 140723159061593 140723159061593 140723159064518 0
/proc/2407/statm: 28282 363 304 221 0 87 0
[pid=2409] ppid=2407 vsize=15144776 memory=29140 CPUtime=0.13 cores=1,3,5,7
/proc/2409/stat : 2409 (java) S 2407 2407 2340 0 -1 1077944320 5695 0 0 0 12 1 0 0 20 0 15 0 475552619 15508250624 7285 33554432000 4194304 4196468 140721657216896 140721657199440 140678964346615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
/proc/2409/statm: 3786194 7285 3189 1 0 3748377 0
[pid=2409/tid=2410] ppid=2407 vsize=15144776 memory=-6664436420846796947 CPUtime=0.09 cores=1,3,5,7
/proc/2409/task/2410/stat : 2410 (java) R 2407 2407 2340 0 -1 4202560 3585 0 0 0 9 0 0 0 20 0 15 0 475552620 15508250624 7285 33554432000 4194304 4196468 140721657216896 140678968574384 140678946201261 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2417] ppid=2407 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2417/stat : 2417 (java) S 2407 2407 2340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475552620 15508250624 7285 33554432000 4194304 4196468 140721657216896 140678916967440 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2419] ppid=2407 vsize=15144776 memory=140608221501056 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2419/stat : 2419 (java) S 2407 2407 2340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475552620 15508250624 7285 33554432000 4194304 4196468 140721657216896 140678915914896 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2420] ppid=2407 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2420/stat : 2420 (java) S 2407 2407 2340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475552620 15508250624 7285 33554432000 4194304 4196468 140721657216896 140678914861840 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2421] ppid=2407 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2421/stat : 2421 (java) S 2407 2407 2340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475552620 15508250624 7285 33554432000 4194304 4196468 140721657216896 140678913809296 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2428] ppid=2407 vsize=15144776 memory=140608221501056 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2428/stat : 2428 (java) S 2407 2407 2340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475552622 15508250624 7285 33554432000 4194304 4196468 140721657216896 140678432549104 140678964357762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2429] ppid=2407 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2429/stat : 2429 (java) S 2407 2407 2340 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475552622 15508250624 7285 33554432000 4194304 4196468 140721657216896 140678431495328 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2430] ppid=2407 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2430/stat : 2430 (java) S 2407 2407 2340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475552622 15508250624 7285 33554432000 4194304 4196468 140721657216896 140678430442224 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2434] ppid=2407 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2434/stat : 2434 (java) S 2407 2407 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475552625 15508250624 7285 33554432000 4194304 4196468 140721657216896 140678429390800 140678964365211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2435] ppid=2407 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2435/stat : 2435 (java) R 2407 2407 2340 0 -1 4202560 306 0 0 0 0 0 0 0 20 0 15 0 475552625 15508250624 7285 33554432000 4194304 4196468 140721657216896 140678428330576 140678964367962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2436] ppid=2407 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2436/stat : 2436 (java) S 2407 2407 2340 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 15 0 475552625 15508250624 7285 33554432000 4194304 4196468 140721657216896 140678427286384 140678964357762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2437] ppid=2407 vsize=15144776 memory=140608221501056 CPUtime=0.02 cores=1,3,5,7
/proc/2409/task/2437/stat : 2437 (java) R 2407 2407 2340 0 -1 4202560 337 0 0 0 2 0 0 0 20 0 15 0 475552625 15508250624 7285 33554432000 4194304 4196468 140721657216896 140678426233328 140678964358550 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2438] ppid=2407 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2438/stat : 2438 (java) S 2407 2407 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475552625 15508250624 7285 33554432000 4194304 4196468 140721657216896 140678425181024 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2439] ppid=2407 vsize=15144776 memory=140608221501056 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2439/stat : 2439 (java) S 2407 2407 2340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475552625 15508250624 7285 33554432000 4194304 4196468 140721657216896 140678424128048 140678964357762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30592 KiB
[startup+0.2108 s]*
/proc/loadavg: 3.93 6.69 7.73 3/230 2445
/proc/meminfo: memFree=11724568/32770624 swapFree=66956684/67108860
[pid=2407] ppid=2394 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2407/stat : 2407 (xcsp3-exec) S 2394 2407 2340 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475552619 115843072 363 33554432000 4194304 5098028 140723159055760 140723159053864 139975773201020 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 34619392 140723159061335 140723159061593 140723159061593 140723159064518 0
/proc/2407/statm: 28282 363 304 221 0 87 0
[pid=2409] ppid=2407 vsize=15144776 memory=41120 CPUtime=0.33 cores=1,3,5,7
/proc/2409/stat : 2409 (java) S 2407 2407 2340 0 -1 1077944320 9485 0 0 0 31 2 0 0 20 0 15 0 475552619 15508250624 10280 33554432000 4194304 4196468 140721657216896 140721657199440 140678964346615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
/proc/2409/statm: 3786194 10280 3308 1 0 3748377 0
[pid=2409/tid=2410] ppid=2407 vsize=15144776 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/2409/task/2410/stat : 2410 (java) R 2407 2407 2340 0 -1 4202560 6611 0 0 0 18 1 0 0 20 0 15 0 475552620 15508250624 10280 33554432000 4194304 4196468 140721657216896 140678968581600 140678964368541 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2417] ppid=2407 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2417/stat : 2417 (java) S 2407 2407 2340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475552620 15508250624 10280 33554432000 4194304 4196468 140721657216896 140678916967440 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2419] ppid=2407 vsize=15144776 memory=288370984373212800 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2419/stat : 2419 (java) S 2407 2407 2340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475552620 15508250624 10280 33554432000 4194304 4196468 140721657216896 140678915914896 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2420] ppid=2407 vsize=15144776 memory=140608221501056 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2420/stat : 2420 (java) S 2407 2407 2340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475552620 15508250624 10280 33554432000 4194304 4196468 140721657216896 140678914861840 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2421] ppid=2407 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2421/stat : 2421 (java) S 2407 2407 2340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475552620 15508250624 10280 33554432000 4194304 4196468 140721657216896 140678913809296 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2428] ppid=2407 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2428/stat : 2428 (java) S 2407 2407 2340 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475552622 15508250624 10280 33554432000 4194304 4196468 140721657216896 140678432549104 140678964357762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2429] ppid=2407 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2429/stat : 2429 (java) S 2407 2407 2340 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475552622 15508250624 10280 33554432000 4194304 4196468 140721657216896 140678431495328 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2430] ppid=2407 vsize=15144776 memory=140608221501056 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2430/stat : 2430 (java) S 2407 2407 2340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475552622 15508250624 10343 33554432000 4194304 4196468 140721657216896 140678430442224 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2434] ppid=2407 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2434/stat : 2434 (java) S 2407 2407 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475552625 15508250624 10343 33554432000 4194304 4196468 140721657216896 140678429390800 140678964365211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2435] ppid=2407 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2409/task/2435/stat : 2435 (java) S 2407 2407 2340 0 -1 1077944384 617 0 0 0 2 0 0 0 20 0 15 0 475552625 15508250624 10343 33554432000 4194304 4196468 140721657216896 140678428338928 140678964357762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2436] ppid=2407 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/2409/task/2436/stat : 2436 (java) S 2407 2407 2340 0 -1 1077944384 206 0 0 0 1 0 0 0 20 0 15 0 475552625 15508250624 10343 33554432000 4194304 4196468 140721657216896 140678427286384 140678964357762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2437] ppid=2407 vsize=15144776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2409/task/2437/stat : 2437 (java) R 2407 2407 2340 0 -1 4202560 759 0 0 0 8 0 0 0 20 0 15 0 475552625 15508250624 10343 33554432000 4194304 4196468 140721657216896 140678426233328 140678943023952 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2438] ppid=2407 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2438/stat : 2438 (java) S 2407 2407 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475552625 15508250624 10343 33554432000 4194304 4196468 140721657216896 140678425181024 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2439] ppid=2407 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2439/stat : 2439 (java) S 2407 2407 2340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475552625 15508250624 10343 33554432000 4194304 4196468 140721657216896 140678424128048 140678964357762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42572 KiB
[startup+0.310668 s]*
/proc/loadavg: 3.93 6.69 7.73 4/230 2445
/proc/meminfo: memFree=11711928/32770624 swapFree=66956684/67108860
[pid=2407] ppid=2394 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2407/stat : 2407 (xcsp3-exec) S 2394 2407 2340 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475552619 115843072 363 33554432000 4194304 5098028 140723159055760 140723159053864 139975773201020 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 34619392 140723159061335 140723159061593 140723159061593 140723159064518 0
/proc/2407/statm: 28282 363 304 221 0 87 0
[pid=2409] ppid=2407 vsize=15149032 memory=50000 CPUtime=0.52 cores=1,3,5,7
/proc/2409/stat : 2409 (java) S 2407 2407 2340 0 -1 1077944320 10800 0 0 0 49 3 0 0 20 0 15 0 475552619 15512608768 12500 33554432000 4194304 4196468 140721657216896 140721657199440 140678964346615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
/proc/2409/statm: 3787258 12500 3342 1 0 3748377 0
[pid=2409/tid=2410] ppid=2407 vsize=15149032 memory=7230368021996071252 CPUtime=0.3 cores=1,3,5,7
/proc/2409/task/2410/stat : 2410 (java) R 2407 2407 2340 0 -1 4202560 7834 0 0 0 28 2 0 0 20 0 15 0 475552620 15512608768 12500 33554432000 4194304 4196468 140721657216896 140678968580400 140678948427102 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2417] ppid=2407 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2417/stat : 2417 (java) S 2407 2407 2340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475552620 15512608768 12500 33554432000 4194304 4196468 140721657216896 140678916967440 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2419] ppid=2407 vsize=15149032 memory=140608221501056 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2419/stat : 2419 (java) S 2407 2407 2340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475552620 15512608768 12500 33554432000 4194304 4196468 140721657216896 140678915914896 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2420] ppid=2407 vsize=15149032 memory=281216205130656 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2420/stat : 2420 (java) S 2407 2407 2340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475552620 15512608768 12500 33554432000 4194304 4196468 140721657216896 140678914861840 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2421] ppid=2407 vsize=15149032 memory=67 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2421/stat : 2421 (java) S 2407 2407 2340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475552620 15512608768 12500 33554432000 4194304 4196468 140721657216896 140678913809296 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2428] ppid=2407 vsize=15149032 memory=60388 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2428/stat : 2428 (java) S 2407 2407 2340 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475552622 15512608768 12500 33554432000 4194304 4196468 140721657216896 140678432549104 140678964357762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2429] ppid=2407 vsize=15149032 memory=35 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2429/stat : 2429 (java) S 2407 2407 2340 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475552622 15512608768 12500 33554432000 4194304 4196468 140721657216896 140678431495328 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2430] ppid=2407 vsize=15149032 memory=140608221565984 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2430/stat : 2430 (java) S 2407 2407 2340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475552622 15512608768 12500 33554432000 4194304 4196468 140721657216896 140678430442224 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2434] ppid=2407 vsize=15149032 memory=35 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2434/stat : 2434 (java) S 2407 2407 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475552625 15512608768 12500 33554432000 4194304 4196468 140721657216896 140678429390800 140678964365211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2435] ppid=2407 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2409/task/2435/stat : 2435 (java) S 2407 2407 2340 0 -1 1077944384 634 0 0 0 4 0 0 0 20 0 15 0 475552625 15512608768 12500 33554432000 4194304 4196468 140721657216896 140678428338928 140678964357762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2436] ppid=2407 vsize=15149032 memory=140608102579215 CPUtime=0.03 cores=1,3,5,7
/proc/2409/task/2436/stat : 2436 (java) S 2407 2407 2340 0 -1 1077944384 212 0 0 0 3 0 0 0 20 0 15 0 475552625 15512608768 12500 33554432000 4194304 4196468 140721657216896 140678427286384 140678964357762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2437] ppid=2407 vsize=15149032 memory=140608102583911 CPUtime=0.12 cores=1,3,5,7
/proc/2409/task/2437/stat : 2437 (java) S 2407 2407 2340 0 -1 1077944384 835 0 0 0 12 0 0 0 20 0 15 0 475552625 15512608768 12500 33554432000 4194304 4196468 140721657216896 140678426233328 140678964357762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2438] ppid=2407 vsize=15149032 memory=140608102586216 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2438/stat : 2438 (java) S 2407 2407 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475552625 15512608768 12500 33554432000 4194304 4196468 140721657216896 140678425181024 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2439] ppid=2407 vsize=15149032 memory=281216205197712 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2439/stat : 2439 (java) S 2407 2407 2340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475552625 15512608768 12500 33554432000 4194304 4196468 140721657216896 140678424128048 140678964357762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51452 KiB
[startup+0.700756 s]
/proc/loadavg: 3.93 6.69 7.73 9/229 2445
/proc/meminfo: memFree=11677392/32770624 swapFree=66956684/67108860
[pid=2407] ppid=2394 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2407/stat : 2407 (xcsp3-exec) S 2394 2407 2340 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475552619 115843072 363 33554432000 4194304 5098028 140723159055760 140723159053864 139975773201020 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 34619392 140723159061335 140723159061593 140723159061593 140723159064518 0
/proc/2407/statm: 28282 363 304 221 0 87 0
[pid=2409] ppid=2407 vsize=15417412 memory=93772 CPUtime=1.74 cores=1,3,5,7
/proc/2409/stat : 2409 (java) S 2407 2407 2340 0 -1 1077944320 14718 0 0 0 169 5 0 0 20 0 19 0 475552619 15787429888 23443 33554432000 4194304 4196468 140721657216896 140721657199440 140678964346615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
/proc/2409/statm: 3854353 23443 3456 1 0 3815453 0
[pid=2409/tid=2410] ppid=2407 vsize=15417412 memory=1088 CPUtime=0.55 cores=1,3,5,7
/proc/2409/task/2410/stat : 2410 (java) S 2407 2407 2340 0 -1 1077944384 9039 0 0 0 52 3 0 0 20 0 19 0 475552620 15787429888 23443 33554432000 4194304 4196468 140721657216896 140678968587392 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2417] ppid=2407 vsize=15417412 memory=988 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2417/stat : 2417 (java) S 2407 2407 2340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475552620 15787429888 23443 33554432000 4194304 4196468 140721657216896 140678916967440 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2419] ppid=2407 vsize=15417412 memory=780 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2419/stat : 2419 (java) S 2407 2407 2340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475552620 15787429888 23443 33554432000 4194304 4196468 140721657216896 140678915914896 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2420] ppid=2407 vsize=15417412 memory=7595696054634833216 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2420/stat : 2420 (java) S 2407 2407 2340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475552620 15787429888 23443 33554432000 4194304 4196468 140721657216896 140678914861840 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2421] ppid=2407 vsize=15417412 memory=7595725831727968097 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2421/stat : 2421 (java) S 2407 2407 2340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475552620 15787429888 23443 33554432000 4194304 4196468 140721657216896 140678913809296 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2428] ppid=2407 vsize=15417412 memory=5865188000529146989 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2428/stat : 2428 (java) S 2407 2407 2340 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 475552622 15787429888 23443 33554432000 4194304 4196468 140721657216896 140678432549104 140678964357762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2429] ppid=2407 vsize=15417412 memory=5450909908396308010 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2429/stat : 2429 (java) S 2407 2407 2340 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475552622 15787429888 23443 33554432000 4194304 4196468 140721657216896 140678431495328 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2430] ppid=2407 vsize=15417412 memory=-9102473451428748661 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2430/stat : 2430 (java) S 2407 2407 2340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475552622 15787429888 23443 33554432000 4194304 4196468 140721657216896 140678430442224 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2434] ppid=2407 vsize=15417412 memory=-7457052372387209120 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2434/stat : 2434 (java) S 2407 2407 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475552625 15787429888 23443 33554432000 4194304 4196468 140721657216896 140678429390800 140678964365211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2435] ppid=2407 vsize=15417412 memory=6944938067432061290 CPUtime=0.27 cores=1,3,5,7
/proc/2409/task/2435/stat : 2435 (java) R 2407 2407 2340 0 -1 1077944384 1386 0 0 0 27 0 0 0 20 0 19 0 475552625 15787429888 23443 33554432000 4194304 4196468 140721657216896 140678428331952 140678964356821 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2436] ppid=2407 vsize=15417412 memory=-7966001967256141664 CPUtime=0.27 cores=1,3,5,7
/proc/2409/task/2436/stat : 2436 (java) R 2407 2407 2340 0 -1 4202560 1305 0 0 0 27 0 0 0 20 0 19 0 475552625 15787429888 23443 33554432000 4194304 4196468 140721657216896 140678427275008 140678948743764 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2437] ppid=2407 vsize=15417412 memory=-7595718316223324558 CPUtime=0.34 cores=1,3,5,7
/proc/2409/task/2437/stat : 2437 (java) S 2407 2407 2340 0 -1 1077944384 1530 0 0 0 34 0 0 0 20 0 19 0 475552625 15787429888 23443 33554432000 4194304 4196468 140721657216896 140678426233328 140678964357762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2438] ppid=2407 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2438/stat : 2438 (java) S 2407 2407 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475552625 15787429888 23443 33554432000 4194304 4196468 140721657216896 140678425181024 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2439] ppid=2407 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2439/stat : 2439 (java) S 2407 2407 2340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475552625 15787429888 23443 33554432000 4194304 4196468 140721657216896 140678424128048 140678964357762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 95224 KiB
[startup+1.50099 s]
/proc/loadavg: 3.93 6.69 7.73 12/237 2453
/proc/meminfo: memFree=11608032/32770624 swapFree=66956684/67108860
[pid=2407] ppid=2394 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2407/stat : 2407 (xcsp3-exec) S 2394 2407 2340 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475552619 115843072 363 33554432000 4194304 5098028 140723159055760 140723159053864 139975773201020 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 34619392 140723159061335 140723159061593 140723159061593 140723159064518 0
/proc/2407/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/2409/stat : 2409 (java) S 2407 2407 2340 0 -1 1077944320 60078 0 0 0 231498 26 0 0 20 0 19 0 475552619 15787429888 58107 33554432000 4194304 4196468 140721657216896 140721657199440 140678964346615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
/proc/2409/statm: 3854353 58107 3537 1 0 3815453 0
[pid=2409/tid=2410] ppid=2407 vsize=15417412 memory=232428 CPUtime=0.55 cores=1,3,5,7
/proc/2409/task/2410/stat : 2410 (java) S 2407 2407 2340 0 -1 1077944384 9039 0 0 0 52 3 0 0 20 0 19 0 475552620 15787429888 58107 33554432000 4194304 4196468 140721657216896 140678968587392 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2417] ppid=2407 vsize=15417412 memory=230892 CPUtime=0.39 cores=1,3,5,7
/proc/2409/task/2417/stat : 2417 (java) S 2407 2407 2340 0 -1 1077944384 2151 0 0 0 37 2 0 0 20 0 19 0 475552620 15787429888 58107 33554432000 4194304 4196468 140721657216896 140678916967440 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2419] ppid=2407 vsize=15417412 memory=230380 CPUtime=0.39 cores=1,3,5,7
/proc/2409/task/2419/stat : 2419 (java) S 2407 2407 2340 0 -1 1077944384 1355 0 0 0 37 2 0 0 20 0 19 0 475552620 15787429888 58107 33554432000 4194304 4196468 140721657216896 140678915914896 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2420] ppid=2407 vsize=15417412 memory=232428 CPUtime=0.39 cores=1,3,5,7
/proc/2409/task/2420/stat : 2420 (java) S 2407 2407 2340 0 -1 1077944384 1687 0 0 0 36 3 0 0 20 0 19 0 475552620 15787429888 58107 33554432000 4194304 4196468 140721657216896 140678914861840 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2421] ppid=2407 vsize=15417412 memory=1452 CPUtime=0.39 cores=1,3,5,7
/proc/2409/task/2421/stat : 2421 (java) S 2407 2407 2340 0 -1 1077944384 2863 0 0 0 37 2 0 0 20 0 19 0 475552620 15787429888 58107 33554432000 4194304 4196468 140721657216896 140678913809296 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2428] ppid=2407 vsize=15417412 memory=201096 CPUtime=0.23 cores=1,3,5,7
/proc/2409/task/2428/stat : 2428 (java) S 2407 2407 2340 0 -1 1077944384 2279 0 0 0 19 4 0 0 20 0 19 0 475552622 15787429888 58107 33554432000 4194304 4196468 140721657216896 140678432549104 140678964357762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2429] ppid=2407 vsize=15417412 memory=230380 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2429/stat : 2429 (java) S 2407 2407 2340 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 475552622 15787429888 58107 33554432000 4194304 4196468 140721657216896 140678431495392 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2430] ppid=2407 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2430/stat : 2430 (java) S 2407 2407 2340 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 19 0 475552622 15787429888 58107 33554432000 4194304 4196468 140721657216896 140678430442240 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2434] ppid=2407 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2434/stat : 2434 (java) S 2407 2407 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475552625 15787429888 58107 33554432000 4194304 4196468 140721657216896 140678429390800 140678964365211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2435] ppid=2407 vsize=15417412 memory=1452 CPUtime=2.41 cores=1,3,5,7
/proc/2409/task/2435/stat : 2435 (java) S 2407 2407 2340 0 -1 1077944384 10608 0 0 0 240 1 0 0 20 0 19 0 475552625 15787429888 58107 33554432000 4194304 4196468 140721657216896 140678428338928 140678964357762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2436] ppid=2407 vsize=15417412 memory=1452 CPUtime=2.51 cores=1,3,5,7
/proc/2409/task/2436/stat : 2436 (java) S 2407 2407 2340 0 -1 1077944384 14659 0 0 0 249 2 0 0 20 0 19 0 475552625 15787429888 58107 33554432000 4194304 4196468 140721657216896 140678427286384 140678964357762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2437] ppid=2407 vsize=15417412 memory=1452 CPUtime=0.57 cores=1,3,5,7
/proc/2409/task/2437/stat : 2437 (java) S 2407 2407 2340 0 -1 1077944384 6422 0 0 0 57 0 0 0 20 0 19 0 475552625 15787429888 58107 33554432000 4194304 4196468 140721657216896 140678426233328 140678964357762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2438] ppid=2407 vsize=15417412 memory=232428 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2438/stat : 2438 (java) S 2407 2407 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475552625 15787429888 58107 33554432000 4194304 4196468 140721657216896 140678425181024 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2439] ppid=2407 vsize=15417412 memory=232428 CPUtime=0.17 cores=1,3,5,7
/proc/2409/task/2439/stat : 2439 (java) S 2407 2407 2340 0 -1 1077944384 825 0 0 0 0 17 0 0 20 0 19 0 475552625 15787429888 58107 33554432000 4194304 4196468 140721657216896 140678424128048 140678964357762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2446] ppid=2407 vsize=15417412 memory=1452 CPUtime=576.39 cores=1,3,5,7
/proc/2409/task/2446/stat : 2446 (java) R 2407 2407 2340 0 -1 4202560 810 0 0 0 57639 0 0 0 20 0 19 0 475552676 15787429888 58107 33554432000 4194304 4196468 140721657216896 140678415145672 140678588730701 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2447] ppid=2407 vsize=15417412 memory=1452 CPUtime=576.76 cores=1,3,5,7
/proc/2409/task/2447/stat : 2447 (java) R 2407 2407 2340 0 -1 4202560 2535 0 0 0 57674 2 0 0 20 0 19 0 475552677 15787429888 58107 33554432000 4194304 4196468 140721657216896 140678414096720 140678588765525 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2448] ppid=2407 vsize=15417412 memory=232428 CPUtime=576.88 cores=1,3,5,7
/proc/2409/task/2448/stat : 2448 (java) R 2407 2407 2340 0 -1 4202560 1013 0 0 0 57688 0 0 0 20 0 19 0 475552677 15787429888 58107 33554432000 4194304 4196468 140721657216896 140678413041216 140678584686263 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2449] ppid=2407 vsize=15417412 memory=232428 CPUtime=577.09 cores=1,3,5,7
/proc/2409/task/2449/stat : 2449 (java) R 2407 2407 2340 0 -1 4202560 2398 0 0 0 57709 0 0 0 20 0 19 0 475552677 15787429888 58107 33554432000 4194304 4196468 140721657216896 140678411989400 140678589068195 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
Current children cumulated CPU time: 2315.24 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 233880 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+633.901 s]
/proc/loadavg: 8.85 8.38 8.14 9/237 2510
/proc/meminfo: memFree=11275540/32770624 swapFree=66956684/67108860
[pid=2407] ppid=2394 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2407/stat : 2407 (xcsp3-exec) S 2394 2407 2340 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475552619 115843072 363 33554432000 4194304 5098028 140723159055760 140723159053864 139975773201020 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 34619392 140723159061335 140723159061593 140723159061593 140723159064518 0
/proc/2407/statm: 28282 363 304 221 0 87 0
[pid=2409] ppid=2407 vsize=15417412 memory=250344 CPUtime=2520.16 cores=1,3,5,7
/proc/2409/stat : 2409 (java) S 2407 2407 2340 0 -1 1077944320 60276 0 0 0 251988 28 0 0 20 0 19 0 475552619 15787429888 62586 33554432000 4194304 4196468 140721657216896 140721657199440 140678964346615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
/proc/2409/statm: 3854353 62586 3537 1 0 3815453 0
[pid=2409/tid=2410] ppid=2407 vsize=15417412 memory=250344 CPUtime=0.55 cores=1,3,5,7
/proc/2409/task/2410/stat : 2410 (java) S 2407 2407 2340 0 -1 1077944384 9039 0 0 0 52 3 0 0 20 0 19 0 475552620 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678968587392 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2417] ppid=2407 vsize=15417412 memory=250344 CPUtime=0.47 cores=1,3,5,7
/proc/2409/task/2417/stat : 2417 (java) S 2407 2407 2340 0 -1 1077944384 2158 0 0 0 44 3 0 0 20 0 19 0 475552620 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678916967440 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2419] ppid=2407 vsize=15417412 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/2409/task/2419/stat : 2419 (java) S 2407 2407 2340 0 -1 1077944384 1369 0 0 0 44 3 0 0 20 0 19 0 475552620 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678915914896 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2420] ppid=2407 vsize=15417412 memory=1452 CPUtime=0.48 cores=1,3,5,7
/proc/2409/task/2420/stat : 2420 (java) S 2407 2407 2340 0 -1 1077944384 1702 0 0 0 44 4 0 0 20 0 19 0 475552620 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678914861840 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2421] ppid=2407 vsize=15417412 memory=3620 CPUtime=0.48 cores=1,3,5,7
/proc/2409/task/2421/stat : 2421 (java) S 2407 2407 2340 0 -1 1077944384 2900 0 0 0 45 3 0 0 20 0 19 0 475552620 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678913809296 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2428] ppid=2407 vsize=15417412 memory=33 CPUtime=0.26 cores=1,3,5,7
/proc/2409/task/2428/stat : 2428 (java) S 2407 2407 2340 0 -1 1077944384 2282 0 0 0 22 4 0 0 20 0 19 0 475552622 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678432549104 140678964357762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2429] ppid=2407 vsize=15417412 memory=7598811100138176585 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2429/stat : 2429 (java) S 2407 2407 2340 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 475552622 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678431495392 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2430] ppid=2407 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2430/stat : 2430 (java) S 2407 2407 2340 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 19 0 475552622 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678430442240 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2434] ppid=2407 vsize=15417412 memory=232428 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2434/stat : 2434 (java) S 2407 2407 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475552625 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678429390800 140678964365211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2435] ppid=2407 vsize=15417412 memory=1452 CPUtime=2.41 cores=1,3,5,7
/proc/2409/task/2435/stat : 2435 (java) S 2407 2407 2340 0 -1 1077944384 10608 0 0 0 240 1 0 0 20 0 19 0 475552625 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678428338928 140678964357762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2436] ppid=2407 vsize=15417412 memory=1452 CPUtime=2.51 cores=1,3,5,7
/proc/2409/task/2436/stat : 2436 (java) S 2407 2407 2340 0 -1 1077944384 14659 0 0 0 249 2 0 0 20 0 19 0 475552625 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678427286384 140678964357762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2437] ppid=2407 vsize=15417412 memory=1976 CPUtime=0.57 cores=1,3,5,7
/proc/2409/task/2437/stat : 2437 (java) S 2407 2407 2340 0 -1 1077944384 6422 0 0 0 57 0 0 0 20 0 19 0 475552625 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678426233328 140678964357762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2438] ppid=2407 vsize=15417412 memory=2432 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2438/stat : 2438 (java) S 2407 2407 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475552625 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678425181024 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2439] ppid=2407 vsize=15417412 memory=1452 CPUtime=0.18 cores=1,3,5,7
/proc/2409/task/2439/stat : 2439 (java) S 2407 2407 2340 0 -1 1077944384 827 0 0 0 0 18 0 0 20 0 19 0 475552625 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678424128048 140678964357762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2446] ppid=2407 vsize=15417412 memory=246248 CPUtime=627.61 cores=1,3,5,7
/proc/2409/task/2446/stat : 2446 (java) R 2407 2407 2340 0 -1 4202560 826 0 0 0 62761 0 0 0 20 0 19 0 475552676 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678415145944 140678588812995 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2447] ppid=2407 vsize=15417412 memory=1428 CPUtime=627.84 cores=1,3,5,7
/proc/2409/task/2447/stat : 2447 (java) R 2407 2407 2340 0 -1 4202560 2573 0 0 0 62782 2 0 0 20 0 19 0 475552677 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678414093736 140678588914593 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2448] ppid=2407 vsize=15417412 memory=1728 CPUtime=627.88 cores=1,3,5,7
/proc/2409/task/2448/stat : 2448 (java) R 2407 2407 2340 0 -1 4202560 1024 0 0 0 62788 0 0 0 20 0 19 0 475552677 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678413040944 140678588871212 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2449] ppid=2407 vsize=15417412 memory=8112282956445269571 CPUtime=628.32 cores=1,3,5,7
/proc/2409/task/2449/stat : 2449 (java) R 2407 2407 2340 0 -1 4202560 2453 0 0 0 62832 0 0 0 20 0 19 0 475552677 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678411991920 140678588816293 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
Current children cumulated CPU time: 2520.16 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 251796 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+633.935 s]
# the end of solver process 2407 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002226 s, system=0 s
[startup+633.981 s]
# the end of solver process 2409 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.19 s, system=0.290382 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+633.901 s]
/proc/loadavg: 8.85 8.38 8.14 9/237 2510
/proc/meminfo: memFree=11275540/32770624 swapFree=66956684/67108860
[pid=2407] ppid=2394 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2407/stat : 2407 (xcsp3-exec) S 2394 2407 2340 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475552619 115843072 363 33554432000 4194304 5098028 140723159055760 140723159053864 139975773201020 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 34619392 140723159061335 140723159061593 140723159061593 140723159064518 0
/proc/2407/statm: 28282 363 304 221 0 87 0
[pid=2409] ppid=2407 vsize=15417412 memory=250344 CPUtime=2520.16 cores=1,3,5,7
/proc/2409/stat : 2409 (java) S 2407 2407 2340 0 -1 1077944320 60276 0 0 0 251988 28 0 0 20 0 19 0 475552619 15787429888 62586 33554432000 4194304 4196468 140721657216896 140721657199440 140678964346615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
/proc/2409/statm: 3854353 62586 3537 1 0 3815453 0
[pid=2409/tid=2410] ppid=2407 vsize=15417412 memory=250344 CPUtime=0.55 cores=1,3,5,7
/proc/2409/task/2410/stat : 2410 (java) S 2407 2407 2340 0 -1 1077944384 9039 0 0 0 52 3 0 0 20 0 19 0 475552620 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678968587392 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2417] ppid=2407 vsize=15417412 memory=250344 CPUtime=0.47 cores=1,3,5,7
/proc/2409/task/2417/stat : 2417 (java) S 2407 2407 2340 0 -1 1077944384 2158 0 0 0 44 3 0 0 20 0 19 0 475552620 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678916967440 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2419] ppid=2407 vsize=15417412 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/2409/task/2419/stat : 2419 (java) S 2407 2407 2340 0 -1 1077944384 1369 0 0 0 44 3 0 0 20 0 19 0 475552620 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678915914896 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2420] ppid=2407 vsize=15417412 memory=1452 CPUtime=0.48 cores=1,3,5,7
/proc/2409/task/2420/stat : 2420 (java) S 2407 2407 2340 0 -1 1077944384 1702 0 0 0 44 4 0 0 20 0 19 0 475552620 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678914861840 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2421] ppid=2407 vsize=15417412 memory=3620 CPUtime=0.48 cores=1,3,5,7
/proc/2409/task/2421/stat : 2421 (java) S 2407 2407 2340 0 -1 1077944384 2900 0 0 0 45 3 0 0 20 0 19 0 475552620 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678913809296 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2428] ppid=2407 vsize=15417412 memory=33 CPUtime=0.26 cores=1,3,5,7
/proc/2409/task/2428/stat : 2428 (java) S 2407 2407 2340 0 -1 1077944384 2282 0 0 0 22 4 0 0 20 0 19 0 475552622 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678432549104 140678964357762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2429] ppid=2407 vsize=15417412 memory=7598811100138176585 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2429/stat : 2429 (java) S 2407 2407 2340 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 475552622 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678431495392 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2430] ppid=2407 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2430/stat : 2430 (java) S 2407 2407 2340 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 19 0 475552622 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678430442240 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2434] ppid=2407 vsize=15417412 memory=232428 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2434/stat : 2434 (java) S 2407 2407 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475552625 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678429390800 140678964365211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2435] ppid=2407 vsize=15417412 memory=1452 CPUtime=2.41 cores=1,3,5,7
/proc/2409/task/2435/stat : 2435 (java) S 2407 2407 2340 0 -1 1077944384 10608 0 0 0 240 1 0 0 20 0 19 0 475552625 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678428338928 140678964357762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2436] ppid=2407 vsize=15417412 memory=1452 CPUtime=2.51 cores=1,3,5,7
/proc/2409/task/2436/stat : 2436 (java) S 2407 2407 2340 0 -1 1077944384 14659 0 0 0 249 2 0 0 20 0 19 0 475552625 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678427286384 140678964357762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2437] ppid=2407 vsize=15417412 memory=1976 CPUtime=0.57 cores=1,3,5,7
/proc/2409/task/2437/stat : 2437 (java) S 2407 2407 2340 0 -1 1077944384 6422 0 0 0 57 0 0 0 20 0 19 0 475552625 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678426233328 140678964357762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2438] ppid=2407 vsize=15417412 memory=2432 CPUtime=0 cores=1,3,5,7
/proc/2409/task/2438/stat : 2438 (java) S 2407 2407 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475552625 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678425181024 140678964356821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2439] ppid=2407 vsize=15417412 memory=1452 CPUtime=0.18 cores=1,3,5,7
/proc/2409/task/2439/stat : 2439 (java) S 2407 2407 2340 0 -1 1077944384 827 0 0 0 0 18 0 0 20 0 19 0 475552625 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678424128048 140678964357762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2446] ppid=2407 vsize=15417412 memory=246248 CPUtime=627.61 cores=1,3,5,7
/proc/2409/task/2446/stat : 2446 (java) R 2407 2407 2340 0 -1 4202560 826 0 0 0 62761 0 0 0 20 0 19 0 475552676 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678415145944 140678588812995 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2447] ppid=2407 vsize=15417412 memory=1428 CPUtime=627.84 cores=1,3,5,7
/proc/2409/task/2447/stat : 2447 (java) R 2407 2407 2340 0 -1 4202560 2573 0 0 0 62782 2 0 0 20 0 19 0 475552677 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678414093736 140678588914593 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2448] ppid=2407 vsize=15417412 memory=1728 CPUtime=627.88 cores=1,3,5,7
/proc/2409/task/2448/stat : 2448 (java) R 2407 2407 2340 0 -1 4202560 1024 0 0 0 62788 0 0 0 20 0 19 0 475552677 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678413040944 140678588871212 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
[pid=2409/tid=2449] ppid=2407 vsize=15417412 memory=8112282956445269571 CPUtime=628.32 cores=1,3,5,7
/proc/2409/task/2449/stat : 2449 (java) R 2407 2407 2340 0 -1 4202560 2453 0 0 0 62832 0 0 0 20 0 19 0 475552677 15787429888 62586 33554432000 4194304 4196468 140721657216896 140678411991920 140678588816293 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38002688 140721657222107 140721657222282 140721657222282 140721657225167 0
Current children cumulated CPU time: 2520.16 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 251796 KiB
Child status: 143
Real time (s): 633.981
CPU time (s): 2520.48
CPU user time (s): 2520.19
CPU system time (s): 0.290382
CPU usage (%): 397.564
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 251796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.19
system time used= 0.290382
maximum resident set size= 250892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61103
page faults= 0
swaps= 0
block input operations= 0
block output operations= 848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24806
involuntary context switches= 48926
# summary of solver processes directly reported to runsolver:
# pid: 2407,2409
# total CPU time (s): 2520.48
# total CPU user time (s): 2520.19
# total CPU system time (s): 0.290382
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.99891 second user time and 7.40337 second system time
The end