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 (15144 MiB free)
memory of node 1: 16384 MiB (15671 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399172-1568699240/watcher-4399172-1568699240 -o /tmp/evaluation-result-4399172-1568699240/solver-4399172-1568699240 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568693400-21538 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1034478451 HOME/instance-4399172-1568699240.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=27495, runsolver pid=27492
[startup+0.100061 s]*
/proc/loadavg: 8.14 8.42 8.40 7/233 27511
/proc/meminfo: memFree=31534420/32770624 swapFree=66977068/67108860
[pid=27495] ppid=27492 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27495/stat : 27495 (xcsp3-exec) S 27492 27495 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446186622 115843072 362 33554432000 4194304 5098028 140729710609424 140729710607528 140469185516156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32907264 140729710617466 140729710617709 140729710617709 140729710620618 0
/proc/27495/statm: 28282 362 304 221 0 87 0
[pid=27497] ppid=27495 vsize=15144776 memory=30136 CPUtime=0.13 cores=1,3,5,7
/proc/27497/stat : 27497 (java) S 27495 27495 21506 0 -1 1077944320 5933 0 0 0 12 1 0 0 20 0 15 0 446186622 15508250624 7534 33554432000 4194304 4196468 140735278902624 140735278885168 139851002765047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
/proc/27497/statm: 3786194 7534 3153 1 0 3748377 0
[pid=27497/tid=27498] ppid=27495 vsize=15144776 memory=8514701219881124772 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27498/stat : 27498 (java) R 27495 27495 21506 0 -1 4202560 3863 0 0 0 8 0 0 0 20 0 15 0 446186622 15508250624 7534 33554432000 4194304 4196468 140735278902624 139851006994224 139851002786394 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27499] ppid=27495 vsize=15144776 memory=3472468328772019408 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27499/stat : 27499 (java) S 27495 27495 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446186623 15508250624 7534 33554432000 4194304 4196468 140735278902624 139850914421776 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27500] ppid=27495 vsize=15144776 memory=140199876867712 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27500/stat : 27500 (java) S 27495 27495 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446186623 15508250624 7534 33554432000 4194304 4196468 140735278902624 139850594380944 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27501] ppid=27495 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27501/stat : 27501 (java) S 27495 27495 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446186623 15508250624 7534 33554432000 4194304 4196468 140735278902624 139850593327888 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27502] ppid=27495 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27502/stat : 27502 (java) S 27495 27495 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446186623 15508250624 7534 33554432000 4194304 4196468 140735278902624 139850592275344 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27503] ppid=27495 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27503/stat : 27503 (java) S 27495 27495 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446186624 15508250624 7534 33554432000 4194304 4196468 140735278902624 139850336962800 139851002776194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27504] ppid=27495 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27504/stat : 27504 (java) S 27495 27495 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446186625 15508250624 7534 33554432000 4194304 4196468 140735278902624 139850335909024 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27505] ppid=27495 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27505/stat : 27505 (java) S 27495 27495 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446186625 15508250624 7534 33554432000 4194304 4196468 140735278902624 139850334855920 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27506] ppid=27495 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27506/stat : 27506 (java) S 27495 27495 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446186627 15508250624 7534 33554432000 4194304 4196468 140735278902624 139850333804496 139851002783643 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27507] ppid=27495 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27507/stat : 27507 (java) R 27495 27495 21506 0 -1 4202560 416 0 0 0 0 0 0 0 20 0 15 0 446186627 15508250624 7534 33554432000 4194304 4196468 140735278902624 139850332752624 139850987576388 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27508] ppid=27495 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27508/stat : 27508 (java) R 27495 27495 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446186627 15508250624 7534 33554432000 4194304 4196468 140735278902624 139850331700080 139851002776194 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27509] ppid=27495 vsize=15144776 memory=140199876867712 CPUtime=0.02 cores=1,3,5,7
/proc/27497/task/27509/stat : 27509 (java) R 27495 27495 21506 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 15 0 446186627 15508250624 7534 33554432000 4194304 4196468 140735278902624 139850330647024 139851002776982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27510] ppid=27495 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27510/stat : 27510 (java) S 27495 27495 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446186628 15508250624 7534 33554432000 4194304 4196468 140735278902624 139850329594720 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27511] ppid=27495 vsize=15144776 memory=140199876867712 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27511/stat : 27511 (java) S 27495 27495 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446186628 15508250624 7534 33554432000 4194304 4196468 140735278902624 139850328541744 139851002776194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31584 KiB
[startup+0.210674 s]*
/proc/loadavg: 8.14 8.42 8.40 8/233 27511
/proc/meminfo: memFree=31521688/32770624 swapFree=66977068/67108860
[pid=27495] ppid=27492 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27495/stat : 27495 (xcsp3-exec) S 27492 27495 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446186622 115843072 362 33554432000 4194304 5098028 140729710609424 140729710607528 140469185516156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32907264 140729710617466 140729710617709 140729710617709 140729710620618 0
/proc/27495/statm: 28282 362 304 221 0 87 0
[pid=27497] ppid=27495 vsize=15144776 memory=41240 CPUtime=0.34 cores=1,3,5,7
/proc/27497/stat : 27497 (java) S 27495 27495 21506 0 -1 1077944320 9497 0 0 0 32 2 0 0 20 0 15 0 446186622 15508250624 10310 33554432000 4194304 4196468 140735278902624 140735278885168 139851002765047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
/proc/27497/statm: 3786194 10310 3315 1 0 3748377 0
[pid=27497/tid=27498] ppid=27495 vsize=15144776 memory=5855082630903857826 CPUtime=0.2 cores=1,3,5,7
/proc/27497/task/27498/stat : 27498 (java) R 27495 27495 21506 0 -1 4202560 6682 0 0 0 18 2 0 0 20 0 15 0 446186622 15508250624 10310 33554432000 4194304 4196468 140735278902624 139851006996960 139851002776982 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27499] ppid=27495 vsize=15144776 memory=3472468328772019408 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27499/stat : 27499 (java) S 27495 27495 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446186623 15508250624 10310 33554432000 4194304 4196468 140735278902624 139850914421776 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27500] ppid=27495 vsize=15144776 memory=140199876867712 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27500/stat : 27500 (java) S 27495 27495 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446186623 15508250624 10310 33554432000 4194304 4196468 140735278902624 139850594380944 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27501] ppid=27495 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27501/stat : 27501 (java) S 27495 27495 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446186623 15508250624 10310 33554432000 4194304 4196468 140735278902624 139850593327888 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27502] ppid=27495 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27502/stat : 27502 (java) S 27495 27495 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446186623 15508250624 10310 33554432000 4194304 4196468 140735278902624 139850592275344 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27503] ppid=27495 vsize=15144776 memory=140199876867712 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27503/stat : 27503 (java) S 27495 27495 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446186624 15508250624 10310 33554432000 4194304 4196468 140735278902624 139850336962800 139851002776194 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27504] ppid=27495 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27504/stat : 27504 (java) S 27495 27495 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446186625 15508250624 10310 33554432000 4194304 4196468 140735278902624 139850335909024 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27505] ppid=27495 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27505/stat : 27505 (java) S 27495 27495 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446186625 15508250624 10310 33554432000 4194304 4196468 140735278902624 139850334855920 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27506] ppid=27495 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27506/stat : 27506 (java) S 27495 27495 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446186627 15508250624 10310 33554432000 4194304 4196468 140735278902624 139850333804496 139851002783643 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27507] ppid=27495 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27497/task/27507/stat : 27507 (java) S 27495 27495 21506 0 -1 1077944384 726 0 0 0 3 0 0 0 20 0 15 0 446186627 15508250624 10310 33554432000 4194304 4196468 140735278902624 139850332752624 139851002776194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27508] ppid=27495 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/27497/task/27508/stat : 27508 (java) S 27495 27495 21506 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 15 0 446186627 15508250624 10310 33554432000 4194304 4196468 140735278902624 139850331700080 139851002776194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27509] ppid=27495 vsize=15144776 memory=140199876867712 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27509/stat : 27509 (java) R 27495 27495 21506 0 -1 4202560 734 0 0 0 8 0 0 0 20 0 15 0 446186627 15508250624 10310 33554432000 4194304 4196468 140735278902624 139850330647024 139851002776982 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27510] ppid=27495 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27510/stat : 27510 (java) S 27495 27495 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446186628 15508250624 10310 33554432000 4194304 4196468 140735278902624 139850329594720 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27511] ppid=27495 vsize=15144776 memory=140199876867712 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27511/stat : 27511 (java) S 27495 27495 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446186628 15508250624 10310 33554432000 4194304 4196468 140735278902624 139850328541744 139851002776194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42688 KiB
[startup+0.310578 s]*
/proc/loadavg: 8.14 8.42 8.40 8/233 27511
/proc/meminfo: memFree=31514888/32770624 swapFree=66977068/67108860
[pid=27495] ppid=27492 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27495/stat : 27495 (xcsp3-exec) S 27492 27495 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446186622 115843072 362 33554432000 4194304 5098028 140729710609424 140729710607528 140469185516156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32907264 140729710617466 140729710617709 140729710617709 140729710620618 0
/proc/27495/statm: 28282 362 304 221 0 87 0
[pid=27497] ppid=27495 vsize=15149032 memory=50028 CPUtime=0.53 cores=1,3,5,7
/proc/27497/stat : 27497 (java) S 27495 27495 21506 0 -1 1077944320 10875 0 0 0 50 3 0 0 20 0 15 0 446186622 15512608768 12507 33554432000 4194304 4196468 140735278902624 140735278885168 139851002765047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
/proc/27497/statm: 3787258 12507 3355 1 0 3748377 0
[pid=27497/tid=27498] ppid=27495 vsize=15149032 memory=-8540663193526752614 CPUtime=0.3 cores=1,3,5,7
/proc/27497/task/27498/stat : 27498 (java) R 27495 27495 21506 0 -1 4202560 7835 0 0 0 28 2 0 0 20 0 15 0 446186622 15512608768 12507 33554432000 4194304 4196468 140735278902624 139851006996160 139850986845534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27499] ppid=27495 vsize=15149032 memory=3472468328772019408 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27499/stat : 27499 (java) S 27495 27495 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446186623 15512608768 12507 33554432000 4194304 4196468 140735278902624 139850914421776 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27500] ppid=27495 vsize=15149032 memory=140199876889244 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27500/stat : 27500 (java) S 27495 27495 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446186623 15512608768 12507 33554432000 4194304 4196468 140735278902624 139850594380944 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27501] ppid=27495 vsize=15149032 memory=140199745161005 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27501/stat : 27501 (java) S 27495 27495 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446186623 15512608768 12507 33554432000 4194304 4196468 140735278902624 139850593327888 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27502] ppid=27495 vsize=15149032 memory=140199745141711 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27502/stat : 27502 (java) S 27495 27495 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446186623 15512608768 12507 33554432000 4194304 4196468 140735278902624 139850592275344 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27503] ppid=27495 vsize=15149032 memory=140199876889250 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27503/stat : 27503 (java) S 27495 27495 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446186624 15512608768 12507 33554432000 4194304 4196468 140735278902624 139850336962800 139851002776194 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27504] ppid=27495 vsize=15149032 memory=140199745150927 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27504/stat : 27504 (java) S 27495 27495 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446186625 15512608768 12572 33554432000 4194304 4196468 140735278902624 139850335909024 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27505] ppid=27495 vsize=15149032 memory=280399490299536 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27505/stat : 27505 (java) S 27495 27495 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446186625 15512608768 12572 33554432000 4194304 4196468 140735278902624 139850334855920 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27506] ppid=27495 vsize=15149032 memory=280399490306416 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27506/stat : 27506 (java) S 27495 27495 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446186627 15512608768 12572 33554432000 4194304 4196468 140735278902624 139850333804496 139851002783643 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27507] ppid=27495 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/27497/task/27507/stat : 27507 (java) R 27495 27495 21506 0 -1 4202560 859 0 0 0 5 0 0 0 20 0 15 0 446186627 15512608768 12572 33554432000 4194304 4196468 140735278902624 139850332733736 139850987693368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27508] ppid=27495 vsize=15149032 memory=2240 CPUtime=0.03 cores=1,3,5,7
/proc/27497/task/27508/stat : 27508 (java) S 27495 27495 21506 0 -1 1077944384 65 0 0 0 3 0 0 0 20 0 15 0 446186627 15512608768 12572 33554432000 4194304 4196468 140735278902624 139850331700080 139851002776194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27509] ppid=27495 vsize=15149032 memory=140199876867712 CPUtime=0.12 cores=1,3,5,7
/proc/27497/task/27509/stat : 27509 (java) S 27495 27495 21506 0 -1 1077944384 815 0 0 0 12 0 0 0 20 0 15 0 446186627 15512608768 12572 33554432000 4194304 4196468 140735278902624 139850330647024 139851002776194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27510] ppid=27495 vsize=15149032 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27510/stat : 27510 (java) S 27495 27495 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446186628 15512608768 12572 33554432000 4194304 4196468 140735278902624 139850329594720 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27511] ppid=27495 vsize=15149032 memory=140199876867712 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27511/stat : 27511 (java) S 27495 27495 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446186628 15512608768 12572 33554432000 4194304 4196468 140735278902624 139850328541744 139851002776194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51476 KiB
[startup+0.701534 s]
/proc/loadavg: 8.14 8.42 8.40 8/233 27511
/proc/meminfo: memFree=31500424/32770624 swapFree=66977068/67108860
[pid=27495] ppid=27492 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27495/stat : 27495 (xcsp3-exec) S 27492 27495 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446186622 115843072 362 33554432000 4194304 5098028 140729710609424 140729710607528 140469185516156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32907264 140729710617466 140729710617709 140729710617709 140729710620618 0
/proc/27495/statm: 28282 362 304 221 0 87 0
[pid=27497] ppid=27495 vsize=15151156 memory=144212 CPUtime=1.72 cores=1,3,5,7
/proc/27497/stat : 27497 (java) S 27495 27495 21506 0 -1 1077944320 14777 0 0 0 166 6 0 0 20 0 15 0 446186622 15514783744 36053 33554432000 4194304 4196468 140735278902624 140735278885168 139851002765047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
/proc/27497/statm: 3787789 36053 3458 1 0 3748889 0
[pid=27497/tid=27498] ppid=27495 vsize=15151156 memory=2828 CPUtime=0.68 cores=1,3,5,7
/proc/27497/task/27498/stat : 27498 (java) R 27495 27495 21506 0 -1 4202560 9076 0 0 0 64 4 0 0 20 0 15 0 446186622 15514783744 36053 33554432000 4194304 4196468 140735278902624 139851007002112 139850594536144 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27499] ppid=27495 vsize=15151156 memory=756 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27499/stat : 27499 (java) S 27495 27495 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446186623 15514783744 36053 33554432000 4194304 4196468 140735278902624 139850914421776 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27500] ppid=27495 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27500/stat : 27500 (java) S 27495 27495 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446186623 15514783744 36053 33554432000 4194304 4196468 140735278902624 139850594380944 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27501] ppid=27495 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27501/stat : 27501 (java) S 27495 27495 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446186623 15514783744 36053 33554432000 4194304 4196468 140735278902624 139850593327888 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27502] ppid=27495 vsize=15151156 memory=280399490381120 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27502/stat : 27502 (java) S 27495 27495 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446186623 15514783744 36053 33554432000 4194304 4196468 140735278902624 139850592275344 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27503] ppid=27495 vsize=15151156 memory=11268 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27503/stat : 27503 (java) S 27495 27495 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446186624 15514783744 36053 33554432000 4194304 4196468 140735278902624 139850336962800 139851002776194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27504] ppid=27495 vsize=15151156 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27504/stat : 27504 (java) S 27495 27495 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446186625 15514783744 36053 33554432000 4194304 4196468 140735278902624 139850335909024 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27505] ppid=27495 vsize=15151156 memory=2320955491548121769 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27505/stat : 27505 (java) S 27495 27495 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446186625 15514783744 36053 33554432000 4194304 4196468 140735278902624 139850334855920 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27506] ppid=27495 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27506/stat : 27506 (java) S 27495 27495 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446186627 15514783744 36053 33554432000 4194304 4196468 140735278902624 139850333804496 139851002783643 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27507] ppid=27495 vsize=15151156 memory=1425 CPUtime=0.31 cores=1,3,5,7
/proc/27497/task/27507/stat : 27507 (java) R 27495 27495 21506 0 -1 4202560 1613 0 0 0 31 0 0 0 20 0 15 0 446186627 15514783744 36053 33554432000 4194304 4196468 140735278902624 139850332739056 139850987429028 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27508] ppid=27495 vsize=15151156 memory=11 CPUtime=0.28 cores=1,3,5,7
/proc/27497/task/27508/stat : 27508 (java) R 27495 27495 21506 0 -1 4202560 807 0 0 0 28 0 0 0 20 0 15 0 446186627 15514783744 36053 33554432000 4194304 4196468 140735278902624 139850331680144 139850986261835 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27509] ppid=27495 vsize=15151156 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/27497/task/27509/stat : 27509 (java) R 27495 27495 21506 0 -1 4202560 1976 0 0 0 41 0 0 0 20 0 15 0 446186627 15514783744 36053 33554432000 4194304 4196468 140735278902624 139850330647024 139850995482199 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27510] ppid=27495 vsize=15151156 memory=30745 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27510/stat : 27510 (java) S 27495 27495 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446186628 15514783744 36053 33554432000 4194304 4196468 140735278902624 139850329594720 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27511] ppid=27495 vsize=15151156 memory=1477 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27511/stat : 27511 (java) S 27495 27495 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446186628 15514783744 36053 33554432000 4194304 4196468 140735278902624 139850328541744 139851002776194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 145660 KiB
[startup+1.50554 s]
/proc/loadavg: 8.21 8.43 8.40 13/237 27539
/proc/meminfo: memFree=31275736/32770624 swapFree=66977068/67108860
[pid=27495] ppid=27492 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27495/stat : 27495 (xcsp3-exec) S 27492 27495 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446186622 115843072 362 33554432000 4194304 5098028 140729710609424 140729710607528 140469185516156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32907264 140729710617466 140729710617709 140729710617709 140729710620618 0
/proc/27495/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/27497/task/27511/stat : 27511 (java) S 27495 27495 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446186628 15858741248 91225 33554432000 4194304 4196468 140735278902624 139850328541744 139851002776194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27640] ppid=27495 vsize=15487052 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/27497/task/27640/stat : 27640 (java) R 27495 27495 21506 0 -1 4202560 19 0 0 0 36 0 0 0 20 0 19 0 446186895 15858741248 91225 33554432000 4194304 4196468 140735278902624 139850317454744 139850599984262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27641] ppid=27495 vsize=15487052 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/27497/task/27641/stat : 27641 (java) R 27495 27495 21506 0 -1 4202560 18 0 0 0 32 0 0 0 20 0 19 0 446186895 15858741248 91225 33554432000 4194304 4196468 140735278902624 139850312200520 139850601363133 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27642] ppid=27495 vsize=15487052 memory=1448 CPUtime=0.28 cores=1,3,5,7
/proc/27497/task/27642/stat : 27642 (java) R 27495 27495 21506 0 -1 4202560 18 0 0 0 28 0 0 0 20 0 19 0 446186895 15858741248 91225 33554432000 4194304 4196468 140735278902624 139850318508136 139850602673337 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27643] ppid=27495 vsize=15487052 memory=356160 CPUtime=0.36 cores=1,3,5,7
/proc/27497/task/27643/stat : 27643 (java) R 27495 27495 21506 0 -1 4202560 18 0 0 0 36 0 0 0 20 0 19 0 446186895 15858741248 91225 33554432000 4194304 4196468 140735278902624 139850315350584 139850599984517 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
Current children cumulated CPU time: 11.03 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 366348 KiB
[startup+3.83136 s]
# the end of solver process 27495 was just reported to runsolver
# cumulated CPU time of all completed processes: user=13.5781 s, system=0.241394 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20154 s]
/proc/loadavg: 8.21 8.43 8.40 10/237 27643
/proc/meminfo: memFree=31193460/32770624 swapFree=66977068/67108860
[pid=27495] ppid=27492 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27495/stat : 27495 (xcsp3-exec) S 27492 27495 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446186622 115843072 362 33554432000 4194304 5098028 140729710609424 140729710607528 140469185516156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32907264 140729710617466 140729710617709 140729710617709 140729710620618 0
/proc/27495/statm: 28282 362 304 221 0 87 0
[pid=27497] ppid=27495 vsize=15487052 memory=367012 CPUtime=11.37 cores=1,3,5,7
/proc/27497/stat : 27497 (java) S 27495 27495 21506 0 -1 1077944320 23046 0 0 0 1114 23 0 0 20 0 19 0 446186622 15858741248 91753 33554432000 4194304 4196468 140735278902624 140735278885168 139851002765047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
/proc/27497/statm: 3871763 91753 3527 1 0 3832863 0
[pid=27497/tid=27498] ppid=27495 vsize=15487052 memory=258286448334547 CPUtime=0.76 cores=1,3,5,7
/proc/27497/task/27498/stat : 27498 (java) S 27495 27495 21506 0 -1 1077944384 9171 0 0 0 72 4 0 0 20 0 19 0 446186622 15858741248 91753 33554432000 4194304 4196468 140735278902624 139851007005824 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27499] ppid=27495 vsize=15487052 memory=258286448334548 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27499/stat : 27499 (java) S 27495 27495 21506 0 -1 1077944384 123 0 0 0 5 3 0 0 20 0 19 0 446186623 15858741248 91753 33554432000 4194304 4196468 140735278902624 139850914421776 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27500] ppid=27495 vsize=15487052 memory=280399490389616 CPUtime=0.09 cores=1,3,5,7
/proc/27497/task/27500/stat : 27500 (java) S 27495 27495 21506 0 -1 1077944384 139 0 0 0 6 3 0 0 20 0 19 0 446186623 15858741248 91753 33554432000 4194304 4196468 140735278902624 139850594380944 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27501] ppid=27495 vsize=15487052 memory=140199745248592 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27501/stat : 27501 (java) S 27495 27495 21506 0 -1 1077944384 118 0 0 0 5 3 0 0 20 0 19 0 446186623 15858741248 91753 33554432000 4194304 4196468 140735278902624 139850593327888 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27502] ppid=27495 vsize=15487052 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/27497/task/27502/stat : 27502 (java) S 27495 27495 21506 0 -1 1077944384 169 0 0 0 7 3 0 0 20 0 19 0 446186623 15858741248 91753 33554432000 4194304 4196468 140735278902624 139850592275344 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27503] ppid=27495 vsize=15487052 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27503/stat : 27503 (java) S 27495 27495 21506 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 19 0 446186624 15858741248 91753 33554432000 4194304 4196468 140735278902624 139850336962800 139851002776194 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27504] ppid=27495 vsize=15487052 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27504/stat : 27504 (java) S 27495 27495 21506 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446186625 15858741248 91753 33554432000 4194304 4196468 140735278902624 139850335909024 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27505] ppid=27495 vsize=15487052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27505/stat : 27505 (java) S 27495 27495 21506 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 446186625 15858741248 91753 33554432000 4194304 4196468 140735278902624 139850334855920 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27506] ppid=27495 vsize=15487052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27506/stat : 27506 (java) S 27495 27495 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446186627 15858741248 91753 33554432000 4194304 4196468 140735278902624 139850333804496 139851002783643 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27507] ppid=27495 vsize=15487052 memory=0 CPUtime=1.75 cores=1,3,5,7
/proc/27497/task/27507/stat : 27507 (java) S 27495 27495 21506 0 -1 1077944384 3172 0 0 0 174 1 0 0 20 0 19 0 446186627 15858741248 91753 33554432000 4194304 4196468 140735278902624 139850332752624 139851002776194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27508] ppid=27495 vsize=15487052 memory=0 CPUtime=1.75 cores=1,3,5,7
/proc/27497/task/27508/stat : 27508 (java) R 27495 27495 21506 0 -1 1077944384 2970 0 0 0 175 0 0 0 20 0 19 0 446186627 15858741248 91753 33554432000 4194304 4196468 140735278902624 139850331700080 139851002776194 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27509] ppid=27495 vsize=15487052 memory=0 CPUtime=0.79 cores=1,3,5,7
/proc/27497/task/27509/stat : 27509 (java) S 27495 27495 21506 0 -1 1077944384 3242 0 0 0 78 1 0 0 20 0 19 0 446186627 15858741248 91753 33554432000 4194304 4196468 140735278902624 139850330647024 139851002776194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27510] ppid=27495 vsize=15487052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27510/stat : 27510 (java) S 27495 27495 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446186628 15858741248 91753 33554432000 4194304 4196468 140735278902624 139850329594720 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27511] ppid=27495 vsize=15487052 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27511/stat : 27511 (java) S 27495 27495 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446186628 15858741248 91753 33554432000 4194304 4196468 140735278902624 139850328541744 139851002776194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27640] ppid=27495 vsize=15487052 memory=288230617509003574 CPUtime=0.44 cores=1,3,5,7
/proc/27497/task/27640/stat : 27640 (java) R 27495 27495 21506 0 -1 4202560 19 0 0 0 44 0 0 0 20 0 19 0 446186895 15858741248 91753 33554432000 4194304 4196468 140735278902624 139850317456952 139850600688800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27641] ppid=27495 vsize=15487052 memory=15252640887999028 CPUtime=0.4 cores=1,3,5,7
/proc/27497/task/27641/stat : 27641 (java) R 27495 27495 21506 0 -1 4202560 18 0 0 0 40 0 0 0 20 0 19 0 446186895 15858741248 91753 33554432000 4194304 4196468 140735278902624 139850312202184 139850602496929 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27642] ppid=27495 vsize=15487052 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/27497/task/27642/stat : 27642 (java) R 27495 27495 21506 0 -1 4202560 19 0 0 0 34 0 0 0 20 0 19 0 446186895 15858741248 91753 33554432000 4194304 4196468 140735278902624 139850318507752 139850599984362 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27643] ppid=27495 vsize=15487052 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/27497/task/27643/stat : 27643 (java) R 27495 27495 21506 0 -1 4202560 19 0 0 0 44 0 0 0 20 0 19 0 446186895 15858741248 91753 33554432000 4194304 4196468 140735278902624 139850315350584 139850601876242 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
Current children cumulated CPU time: 11.37 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 368460 KiB
[startup+3.60154 s]
/proc/loadavg: 8.21 8.43 8.40 10/237 27643
/proc/meminfo: memFree=31193460/32770624 swapFree=66977068/67108860
[pid=27495] ppid=27492 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27495/stat : 27495 (xcsp3-exec) S 27492 27495 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446186622 115843072 362 33554432000 4194304 5098028 140729710609424 140729710607528 140469185516156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32907264 140729710617466 140729710617709 140729710617709 140729710620618 0
/proc/27495/statm: 28282 362 304 221 0 87 0
[pid=27497] ppid=27495 vsize=15487052 memory=369100 CPUtime=12.97 cores=1,3,5,7
/proc/27497/stat : 27497 (java) S 27495 27495 21506 0 -1 1077944320 23075 0 0 0 1274 23 0 0 20 0 19 0 446186622 15858741248 92275 33554432000 4194304 4196468 140735278902624 140735278885168 139851002765047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
/proc/27497/statm: 3871763 92275 3527 1 0 3832863 0
[pid=27497/tid=27498] ppid=27495 vsize=15487052 memory=0 CPUtime=0.76 cores=1,3,5,7
/proc/27497/task/27498/stat : 27498 (java) S 27495 27495 21506 0 -1 1077944384 9171 0 0 0 72 4 0 0 20 0 19 0 446186622 15858741248 92275 33554432000 4194304 4196468 140735278902624 139851007005824 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27499] ppid=27495 vsize=15487052 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27499/stat : 27499 (java) S 27495 27495 21506 0 -1 1077944384 123 0 0 0 5 3 0 0 20 0 19 0 446186623 15858741248 92275 33554432000 4194304 4196468 140735278902624 139850914421776 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27500] ppid=27495 vsize=15487052 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27497/task/27500/stat : 27500 (java) S 27495 27495 21506 0 -1 1077944384 139 0 0 0 6 3 0 0 20 0 19 0 446186623 15858741248 92275 33554432000 4194304 4196468 140735278902624 139850594380944 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27501] ppid=27495 vsize=15487052 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27501/stat : 27501 (java) S 27495 27495 21506 0 -1 1077944384 118 0 0 0 5 3 0 0 20 0 19 0 446186623 15858741248 92275 33554432000 4194304 4196468 140735278902624 139850593327888 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27502] ppid=27495 vsize=15487052 memory=3620 CPUtime=0.1 cores=1,3,5,7
/proc/27497/task/27502/stat : 27502 (java) S 27495 27495 21506 0 -1 1077944384 169 0 0 0 7 3 0 0 20 0 19 0 446186623 15858741248 92275 33554432000 4194304 4196468 140735278902624 139850592275344 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27503] ppid=27495 vsize=15487052 memory=30692 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27503/stat : 27503 (java) S 27495 27495 21506 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 19 0 446186624 15858741248 92275 33554432000 4194304 4196468 140735278902624 139850336962800 139851002776194 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27504] ppid=27495 vsize=15487052 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27504/stat : 27504 (java) S 27495 27495 21506 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446186625 15858741248 92275 33554432000 4194304 4196468 140735278902624 139850335909024 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27505] ppid=27495 vsize=15487052 memory=984 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27505/stat : 27505 (java) S 27495 27495 21506 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 446186625 15858741248 92275 33554432000 4194304 4196468 140735278902624 139850334855920 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27506] ppid=27495 vsize=15487052 memory=1324 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27506/stat : 27506 (java) S 27495 27495 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446186627 15858741248 92275 33554432000 4194304 4196468 140735278902624 139850333804496 139851002783643 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27507] ppid=27495 vsize=15487052 memory=780 CPUtime=1.77 cores=1,3,5,7
/proc/27497/task/27507/stat : 27507 (java) S 27495 27495 21506 0 -1 1077944384 3178 0 0 0 176 1 0 0 20 0 19 0 446186627 15858741248 92275 33554432000 4194304 4196468 140735278902624 139850332752624 139851002776194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27508] ppid=27495 vsize=15487052 memory=4088 CPUtime=1.8 cores=1,3,5,7
/proc/27497/task/27508/stat : 27508 (java) S 27495 27495 21506 0 -1 1077944384 2983 0 0 0 180 0 0 0 20 0 19 0 446186627 15858741248 92275 33554432000 4194304 4196468 140735278902624 139850331700080 139851002776194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27509] ppid=27495 vsize=15487052 memory=1580 CPUtime=0.8 cores=1,3,5,7
/proc/27497/task/27509/stat : 27509 (java) S 27495 27495 21506 0 -1 1077944384 3249 0 0 0 79 1 0 0 20 0 19 0 446186627 15858741248 92275 33554432000 4194304 4196468 140735278902624 139850330647024 139851002776194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27510] ppid=27495 vsize=15487052 memory=1028 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27510/stat : 27510 (java) S 27495 27495 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446186628 15858741248 92275 33554432000 4194304 4196468 140735278902624 139850329594720 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27511] ppid=27495 vsize=15487052 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27511/stat : 27511 (java) S 27495 27495 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446186628 15858741248 92275 33554432000 4194304 4196468 140735278902624 139850328541744 139851002776194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27640] ppid=27495 vsize=15487052 memory=2828 CPUtime=0.79 cores=1,3,5,7
/proc/27497/task/27640/stat : 27640 (java) R 27495 27495 21506 0 -1 4202560 19 0 0 0 79 0 0 0 20 0 19 0 446186895 15858741248 92275 33554432000 4194304 4196468 140735278902624 139850317456424 139850601876037 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27641] ppid=27495 vsize=15487052 memory=756 CPUtime=0.77 cores=1,3,5,7
/proc/27497/task/27641/stat : 27641 (java) R 27495 27495 21506 0 -1 4202560 19 0 0 0 77 0 0 0 20 0 19 0 446186895 15858741248 92275 33554432000 4194304 4196468 140735278902624 139850312200184 139850599984396 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27642] ppid=27495 vsize=15487052 memory=1548 CPUtime=0.73 cores=1,3,5,7
/proc/27497/task/27642/stat : 27642 (java) R 27495 27495 21506 0 -1 4202560 19 0 0 0 73 0 0 0 20 0 19 0 446186895 15858741248 92275 33554432000 4194304 4196468 140735278902624 139850318508120 139850601363138 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27643] ppid=27495 vsize=15487052 memory=7872 CPUtime=0.84 cores=1,3,5,7
/proc/27497/task/27643/stat : 27643 (java) R 27495 27495 21506 0 -1 4202560 19 0 0 0 84 0 0 0 20 0 19 0 446186895 15858741248 92275 33554432000 4194304 4196468 140735278902624 139850315349800 139850600688067 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
Current children cumulated CPU time: 12.97 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 370548 KiB
[startup+3.80153 s]
/proc/loadavg: 8.21 8.43 8.40 10/237 27643
/proc/meminfo: memFree=31193460/32770624 swapFree=66977068/67108860
[pid=27495] ppid=27492 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27495/stat : 27495 (xcsp3-exec) S 27492 27495 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446186622 115843072 362 33554432000 4194304 5098028 140729710609424 140729710607528 140469185516156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32907264 140729710617466 140729710617709 140729710617709 140729710620618 0
/proc/27495/statm: 28282 362 304 221 0 87 0
[pid=27497] ppid=27495 vsize=15487052 memory=387564 CPUtime=13.75 cores=1,3,5,7
/proc/27497/stat : 27497 (java) S 27495 27495 21506 0 -1 1077944320 23226 0 0 0 1352 23 0 0 20 0 19 0 446186622 15858741248 96891 33554432000 4194304 4196468 140735278902624 140735278885168 139851002765047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
/proc/27497/statm: 3871763 96891 3527 1 0 3832863 0
[pid=27497/tid=27498] ppid=27495 vsize=15487052 memory=-6519613052471072158 CPUtime=0.76 cores=1,3,5,7
/proc/27497/task/27498/stat : 27498 (java) S 27495 27495 21506 0 -1 1077944384 9171 0 0 0 72 4 0 0 20 0 19 0 446186622 15858741248 96891 33554432000 4194304 4196468 140735278902624 139851007005824 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27499] ppid=27495 vsize=15487052 memory=-7812193691855986592 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27499/stat : 27499 (java) S 27495 27495 21506 0 -1 1077944384 123 0 0 0 5 3 0 0 20 0 19 0 446186623 15858741248 96891 33554432000 4194304 4196468 140735278902624 139850914421776 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27500] ppid=27495 vsize=15487052 memory=-8990767739041718176 CPUtime=0.09 cores=1,3,5,7
/proc/27497/task/27500/stat : 27500 (java) S 27495 27495 21506 0 -1 1077944384 139 0 0 0 6 3 0 0 20 0 19 0 446186623 15858741248 96891 33554432000 4194304 4196468 140735278902624 139850594380944 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27501] ppid=27495 vsize=15487052 memory=-6935123839545469842 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27501/stat : 27501 (java) S 27495 27495 21506 0 -1 1077944384 118 0 0 0 5 3 0 0 20 0 19 0 446186623 15858741248 96891 33554432000 4194304 4196468 140735278902624 139850593327888 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27502] ppid=27495 vsize=15487052 memory=-5703089350676024790 CPUtime=0.1 cores=1,3,5,7
/proc/27497/task/27502/stat : 27502 (java) S 27495 27495 21506 0 -1 1077944384 169 0 0 0 7 3 0 0 20 0 19 0 446186623 15858741248 96891 33554432000 4194304 4196468 140735278902624 139850592275344 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27503] ppid=27495 vsize=15487052 memory=8470556300224009361 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27503/stat : 27503 (java) S 27495 27495 21506 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 19 0 446186624 15858741248 96891 33554432000 4194304 4196468 140735278902624 139850336962800 139851002776194 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27504] ppid=27495 vsize=15487052 memory=7100839878645619564 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27504/stat : 27504 (java) S 27495 27495 21506 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446186625 15858741248 96891 33554432000 4194304 4196468 140735278902624 139850335909024 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27505] ppid=27495 vsize=15487052 memory=4196912344889787449 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27505/stat : 27505 (java) S 27495 27495 21506 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 446186625 15858741248 96891 33554432000 4194304 4196468 140735278902624 139850334855920 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27506] ppid=27495 vsize=15487052 memory=1399101730491701635 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27506/stat : 27506 (java) S 27495 27495 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446186627 15858741248 96891 33554432000 4194304 4196468 140735278902624 139850333804496 139851002783643 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27507] ppid=27495 vsize=15487052 memory=-9001733975035308135 CPUtime=1.8 cores=1,3,5,7
/proc/27497/task/27507/stat : 27507 (java) S 27495 27495 21506 0 -1 1077944384 3184 0 0 0 179 1 0 0 20 0 19 0 446186627 15858741248 96891 33554432000 4194304 4196468 140735278902624 139850332752624 139851002776194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27508] ppid=27495 vsize=15487052 memory=4209357772117481859 CPUtime=1.8 cores=1,3,5,7
/proc/27497/task/27508/stat : 27508 (java) S 27495 27495 21506 0 -1 1077944384 2983 0 0 0 180 0 0 0 20 0 19 0 446186627 15858741248 96891 33554432000 4194304 4196468 140735278902624 139850331700080 139851002776194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27509] ppid=27495 vsize=15487052 memory=-7019007802211101846 CPUtime=0.8 cores=1,3,5,7
/proc/27497/task/27509/stat : 27509 (java) S 27495 27495 21506 0 -1 1077944384 3250 0 0 0 79 1 0 0 20 0 19 0 446186627 15858741248 96891 33554432000 4194304 4196468 140735278902624 139850330647024 139851002776194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27510] ppid=27495 vsize=15487052 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27510/stat : 27510 (java) S 27495 27495 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446186628 15858741248 96891 33554432000 4194304 4196468 140735278902624 139850329594720 139851002775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
[pid=27497/tid=27511] ppid=27495 vsize=15487052 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/27497/task/27511/stat : 27511 (java) S 27495 27495 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446186628 15858741248 96891 33554432000 4194304 4196468 140735278902624 139850328541744 139851002776194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140735278908399 140735278908570 140735278908570 140735278911439 0
Current children cumulated CPU time: 13.75 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 389012 KiB
Child status: 0
Real time (s): 3.83142
CPU time (s): 13.8195
CPU user time (s): 13.5781
CPU system time (s): 0.241394
CPU usage (%): 360.688
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 389012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.5781
system time used= 0.241394
maximum resident set size= 390676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23795
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3045
involuntary context switches= 536
# summary of solver processes directly reported to runsolver:
# pid: 27495
# total CPU time (s): 13.8195
# total CPU user time (s): 13.5781
# total CPU system time (s): 0.241394
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039033 second user time and 0.091132 second system time
The end