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 (4709 MiB free)
memory of node 1: 16384 MiB (5048 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404108-1568991534/watcher-4404108-1568991534 -o /tmp/evaluation-result-4404108-1568991534/solver-4404108-1568991534 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568991261-14403 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1584251252 HOME/instance-4404108-1568991534.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=15842, runsolver pid=15839
[startup+0.102877 s]*
/proc/loadavg: 8.07 4.62 2.56 6/233 15858
/proc/meminfo: memFree=9975368/32770624 swapFree=66999216/67108860
[pid=15842] ppid=15839 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15842/stat : 15842 (xcsp3-exec) S 15839 15842 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475406452 115843072 362 33554432000 4194304 5098028 140727178543744 140727178541848 140188173771388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29814784 140727178552186 140727178552429 140727178552429 140727178555338 0
/proc/15842/statm: 28282 362 304 221 0 87 0
[pid=15844] ppid=15842 vsize=15144776 memory=30020 CPUtime=0.13 cores=1,3,5,7
/proc/15844/stat : 15844 (java) S 15842 15842 14371 0 -1 1077944320 5964 0 0 0 12 1 0 0 20 0 15 0 475406452 15508250624 7505 33554432000 4194304 4196468 140730860085728 140730860068272 140057672277751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
/proc/15844/statm: 3786194 7505 3144 1 0 3748377 0
[pid=15844/tid=15845] ppid=15842 vsize=15144776 memory=576460756329955459 CPUtime=0.1 cores=1,3,5,7
/proc/15844/task/15845/stat : 15845 (java) R 15842 15842 14371 0 -1 4202560 3825 0 0 0 9 1 0 0 20 0 15 0 475406453 15508250624 7505 33554432000 4194304 4196468 140730860085728 140057676508752 140057651990532 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15846] ppid=15842 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15846/stat : 15846 (java) S 15842 15842 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406453 15508250624 7505 33554432000 4194304 4196468 140730860085728 140057265101456 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15847] ppid=15842 vsize=15144776 memory=3616588192389416608 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15847/stat : 15847 (java) S 15842 15842 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406453 15508250624 7505 33554432000 4194304 4196468 140730860085728 140057264048656 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15848] ppid=15842 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15848/stat : 15848 (java) S 15842 15842 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406453 15508250624 7505 33554432000 4194304 4196468 140730860085728 140057262995856 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15849] ppid=15842 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15849/stat : 15849 (java) S 15842 15842 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406453 15508250624 7505 33554432000 4194304 4196468 140730860085728 140057261943056 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15850] ppid=15842 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15850/stat : 15850 (java) S 15842 15842 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406455 15508250624 7505 33554432000 4194304 4196468 140730860085728 140057208077168 140057672288898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15851] ppid=15842 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15851/stat : 15851 (java) S 15842 15842 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475406455 15508250624 7505 33554432000 4194304 4196468 140730860085728 140057207023136 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15852] ppid=15842 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15852/stat : 15852 (java) S 15842 15842 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475406455 15508250624 7505 33554432000 4194304 4196468 140730860085728 140057138685296 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15853] ppid=15842 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15853/stat : 15853 (java) S 15842 15842 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406458 15508250624 7505 33554432000 4194304 4196468 140730860085728 140057137633616 140057672296347 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15854] ppid=15842 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15854/stat : 15854 (java) R 15842 15842 14371 0 -1 4202560 427 0 0 0 0 0 0 0 20 0 15 0 475406458 15508250624 7505 33554432000 4194304 4196468 140730860085728 140057136580976 140057658292072 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15855] ppid=15842 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15855/stat : 15855 (java) R 15842 15842 14371 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 475406458 15508250624 7505 33554432000 4194304 4196468 140730860085728 140057135528176 140057672288898 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15856] ppid=15842 vsize=15144776 memory=140292845618816 CPUtime=0.02 cores=1,3,5,7
/proc/15844/task/15856/stat : 15856 (java) R 15842 15842 14371 0 -1 4202560 362 0 0 0 2 0 0 0 20 0 15 0 475406458 15508250624 7505 33554432000 4194304 4196468 140730860085728 140057134475376 140057651413478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15857] ppid=15842 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15857/stat : 15857 (java) S 15842 15842 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406458 15508250624 7505 33554432000 4194304 4196468 140730860085728 140057133422816 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15858] ppid=15842 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15858/stat : 15858 (java) R 15842 15842 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406458 15508250624 7505 33554432000 4194304 4196468 140730860085728 140057132371120 140057672288898 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31468 KiB
[startup+0.210587 s]*
/proc/loadavg: 8.07 4.62 2.56 7/233 15858
/proc/meminfo: memFree=9963228/32770624 swapFree=66999216/67108860
[pid=15842] ppid=15839 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15842/stat : 15842 (xcsp3-exec) S 15839 15842 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475406452 115843072 362 33554432000 4194304 5098028 140727178543744 140727178541848 140188173771388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29814784 140727178552186 140727178552429 140727178552429 140727178555338 0
/proc/15842/statm: 28282 362 304 221 0 87 0
[pid=15844] ppid=15842 vsize=15144776 memory=41160 CPUtime=0.34 cores=1,3,5,7
/proc/15844/stat : 15844 (java) S 15842 15842 14371 0 -1 1077944320 9470 0 0 0 32 2 0 0 20 0 15 0 475406452 15508250624 10290 33554432000 4194304 4196468 140730860085728 140730860068272 140057672277751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
/proc/15844/statm: 3786194 10290 3313 1 0 3748377 0
[pid=15844/tid=15845] ppid=15842 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/15844/task/15845/stat : 15845 (java) R 15842 15842 14371 0 -1 4202560 6652 0 0 0 18 2 0 0 20 0 15 0 475406453 15508250624 10290 33554432000 4194304 4196468 140730860085728 140057676509024 140057656358238 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15846] ppid=15842 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15846/stat : 15846 (java) S 15842 15842 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406453 15508250624 10290 33554432000 4194304 4196468 140730860085728 140057265101456 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15847] ppid=15842 vsize=15144776 memory=140292849417863 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15847/stat : 15847 (java) S 15842 15842 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406453 15508250624 10290 33554432000 4194304 4196468 140730860085728 140057264048656 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15848] ppid=15842 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15848/stat : 15848 (java) S 15842 15842 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406453 15508250624 10290 33554432000 4194304 4196468 140730860085728 140057262995856 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15849] ppid=15842 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15849/stat : 15849 (java) S 15842 15842 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406453 15508250624 10290 33554432000 4194304 4196468 140730860085728 140057261943056 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15850] ppid=15842 vsize=15144776 memory=140292845618816 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15850/stat : 15850 (java) S 15842 15842 14371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475406455 15508250624 10290 33554432000 4194304 4196468 140730860085728 140057208077168 140057672288898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15851] ppid=15842 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15851/stat : 15851 (java) S 15842 15842 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475406455 15508250624 10290 33554432000 4194304 4196468 140730860085728 140057207023136 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15852] ppid=15842 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15852/stat : 15852 (java) S 15842 15842 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475406455 15508250624 10290 33554432000 4194304 4196468 140730860085728 140057138685296 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15853] ppid=15842 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15853/stat : 15853 (java) S 15842 15842 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406458 15508250624 10290 33554432000 4194304 4196468 140730860085728 140057137633616 140057672296347 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15854] ppid=15842 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15844/task/15854/stat : 15854 (java) S 15842 15842 14371 0 -1 1077944384 727 0 0 0 3 0 0 0 20 0 15 0 475406458 15508250624 10290 33554432000 4194304 4196468 140730860085728 140057136580976 140057672288898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15855] ppid=15842 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15844/task/15855/stat : 15855 (java) S 15842 15842 14371 0 -1 1077944384 78 0 0 0 1 0 0 0 20 0 15 0 475406458 15508250624 10290 33554432000 4194304 4196468 140730860085728 140057135528176 140057672288898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15856] ppid=15842 vsize=15144776 memory=140292845618816 CPUtime=0.08 cores=1,3,5,7
/proc/15844/task/15856/stat : 15856 (java) S 15842 15842 14371 0 -1 1077944384 711 0 0 0 8 0 0 0 20 0 15 0 475406458 15508250624 10290 33554432000 4194304 4196468 140730860085728 140057134475376 140057672288898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15857] ppid=15842 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15857/stat : 15857 (java) S 15842 15842 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406458 15508250624 10290 33554432000 4194304 4196468 140730860085728 140057133422816 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15858] ppid=15842 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15858/stat : 15858 (java) S 15842 15842 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406458 15508250624 10290 33554432000 4194304 4196468 140730860085728 140057132371120 140057672288898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42608 KiB
[startup+0.320397 s]*
/proc/loadavg: 8.07 4.62 2.56 6/233 15858
/proc/meminfo: memFree=9955472/32770624 swapFree=66999216/67108860
[pid=15842] ppid=15839 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15842/stat : 15842 (xcsp3-exec) S 15839 15842 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475406452 115843072 362 33554432000 4194304 5098028 140727178543744 140727178541848 140188173771388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29814784 140727178552186 140727178552429 140727178552429 140727178555338 0
/proc/15842/statm: 28282 362 304 221 0 87 0
[pid=15844] ppid=15842 vsize=15149032 memory=50848 CPUtime=0.54 cores=1,3,5,7
/proc/15844/stat : 15844 (java) S 15842 15842 14371 0 -1 1077944320 11032 0 0 0 51 3 0 0 20 0 15 0 475406452 15512608768 12712 33554432000 4194304 4196468 140730860085728 140730860068272 140057672277751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
/proc/15844/statm: 3787258 12712 3364 1 0 3748377 0
[pid=15844/tid=15845] ppid=15842 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/15844/task/15845/stat : 15845 (java) R 15842 15842 14371 0 -1 4202560 7966 0 0 0 28 2 0 0 20 0 15 0 475406453 15512608768 12712 33554432000 4194304 4196468 140730860085728 140057676512144 140057672289686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15846] ppid=15842 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15846/stat : 15846 (java) S 15842 15842 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406453 15512608768 12712 33554432000 4194304 4196468 140730860085728 140057265101456 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15847] ppid=15842 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15847/stat : 15847 (java) S 15842 15842 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406453 15512608768 12712 33554432000 4194304 4196468 140730860085728 140057264048656 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15848] ppid=15842 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15848/stat : 15848 (java) S 15842 15842 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406453 15512608768 12712 33554432000 4194304 4196468 140730860085728 140057262995856 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15849] ppid=15842 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15849/stat : 15849 (java) S 15842 15842 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406453 15512608768 12712 33554432000 4194304 4196468 140730860085728 140057261943056 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15850] ppid=15842 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15850/stat : 15850 (java) S 15842 15842 14371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475406455 15512608768 12712 33554432000 4194304 4196468 140730860085728 140057208077168 140057672288898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15851] ppid=15842 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15851/stat : 15851 (java) S 15842 15842 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475406455 15512608768 12712 33554432000 4194304 4196468 140730860085728 140057207023136 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15852] ppid=15842 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15852/stat : 15852 (java) S 15842 15842 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475406455 15512608768 12712 33554432000 4194304 4196468 140730860085728 140057138685296 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15853] ppid=15842 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15853/stat : 15853 (java) S 15842 15842 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406458 15512608768 12712 33554432000 4194304 4196468 140730860085728 140057137633616 140057672296347 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15854] ppid=15842 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/15844/task/15854/stat : 15854 (java) R 15842 15842 14371 0 -1 4202560 746 0 0 0 4 0 0 0 20 0 15 0 475406458 15512608768 12712 33554432000 4194304 4196468 140730860085728 140057136580976 140057672289686 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15855] ppid=15842 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/15844/task/15855/stat : 15855 (java) R 15842 15842 14371 0 -1 1077944384 207 0 0 0 4 0 0 0 20 0 15 0 475406458 15512608768 12712 33554432000 4194304 4196468 140730860085728 140057135528176 140057672288898 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15856] ppid=15842 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/15844/task/15856/stat : 15856 (java) R 15842 15842 14371 0 -1 4202560 811 0 0 0 13 0 0 0 20 0 15 0 475406458 15512608768 12712 33554432000 4194304 4196468 140730860085728 140057134475376 140057672299098 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15857] ppid=15842 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15857/stat : 15857 (java) S 15842 15842 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406458 15512608768 12712 33554432000 4194304 4196468 140730860085728 140057133422816 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15858] ppid=15842 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15858/stat : 15858 (java) S 15842 15842 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406458 15512608768 12712 33554432000 4194304 4196468 140730860085728 140057132371120 140057672288898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52296 KiB
[startup+0.701564 s]
/proc/loadavg: 8.07 4.62 2.56 6/233 15858
/proc/meminfo: memFree=9933140/32770624 swapFree=66999216/67108860
[pid=15842] ppid=15839 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15842/stat : 15842 (xcsp3-exec) S 15839 15842 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475406452 115843072 362 33554432000 4194304 5098028 140727178543744 140727178541848 140188173771388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29814784 140727178552186 140727178552429 140727178552429 140727178555338 0
/proc/15842/statm: 28282 362 304 221 0 87 0
[pid=15844] ppid=15842 vsize=15151156 memory=105156 CPUtime=1.74 cores=1,3,5,7
/proc/15844/stat : 15844 (java) S 15842 15842 14371 0 -1 1077944320 14314 0 0 0 169 5 0 0 20 0 15 0 475406452 15514783744 26289 33554432000 4194304 4196468 140730860085728 140730860068272 140057672277751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
/proc/15844/statm: 3787789 26289 3445 1 0 3748889 0
[pid=15844/tid=15845] ppid=15842 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/15844/task/15845/stat : 15845 (java) R 15842 15842 14371 0 -1 4202560 8466 0 0 0 64 3 0 0 20 0 15 0 475406453 15514783744 26289 33554432000 4194304 4196468 140730860085728 140057676514880 140057656321381 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15846] ppid=15842 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15846/stat : 15846 (java) S 15842 15842 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406453 15514783744 26289 33554432000 4194304 4196468 140730860085728 140057265101456 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15847] ppid=15842 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15847/stat : 15847 (java) S 15842 15842 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406453 15514783744 26289 33554432000 4194304 4196468 140730860085728 140057264048656 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15848] ppid=15842 vsize=15151156 memory=3604 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15848/stat : 15848 (java) S 15842 15842 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406453 15514783744 26289 33554432000 4194304 4196468 140730860085728 140057262995856 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15849] ppid=15842 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15849/stat : 15849 (java) S 15842 15842 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406453 15514783744 26289 33554432000 4194304 4196468 140730860085728 140057261943056 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15850] ppid=15842 vsize=15151156 memory=676 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15850/stat : 15850 (java) S 15842 15842 14371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475406455 15514783744 26289 33554432000 4194304 4196468 140730860085728 140057208077168 140057672288898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15851] ppid=15842 vsize=15151156 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15851/stat : 15851 (java) S 15842 15842 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475406455 15514783744 26289 33554432000 4194304 4196468 140730860085728 140057207023136 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15852] ppid=15842 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15852/stat : 15852 (java) S 15842 15842 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475406455 15514783744 26289 33554432000 4194304 4196468 140730860085728 140057138685296 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15853] ppid=15842 vsize=15151156 memory=8560 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15853/stat : 15853 (java) S 15842 15842 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406458 15514783744 26289 33554432000 4194304 4196468 140730860085728 140057137633616 140057672296347 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15854] ppid=15842 vsize=15151156 memory=1712 CPUtime=0.35 cores=1,3,5,7
/proc/15844/task/15854/stat : 15854 (java) R 15842 15842 14371 0 -1 4202560 1781 0 0 0 35 0 0 0 20 0 15 0 475406458 15514783744 26289 33554432000 4194304 4196468 140730860085728 140057136567200 140057650166401 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15855] ppid=15842 vsize=15151156 memory=1112 CPUtime=0.36 cores=1,3,5,7
/proc/15844/task/15855/stat : 15855 (java) R 15842 15842 14371 0 -1 4202560 1103 0 0 0 36 0 0 0 20 0 15 0 475406458 15514783744 26289 33554432000 4194304 4196468 140730860085728 140057135511088 140057651931296 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15856] ppid=15842 vsize=15151156 memory=1004 CPUtime=0.33 cores=1,3,5,7
/proc/15844/task/15856/stat : 15856 (java) S 15842 15842 14371 0 -1 1077944384 1658 0 0 0 33 0 0 0 20 0 15 0 475406458 15514783744 26289 33554432000 4194304 4196468 140730860085728 140057134475376 140057672288898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15857] ppid=15842 vsize=15151156 memory=6064 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15857/stat : 15857 (java) S 15842 15842 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406458 15514783744 26289 33554432000 4194304 4196468 140730860085728 140057133422816 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15858] ppid=15842 vsize=15151156 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15858/stat : 15858 (java) S 15842 15842 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406458 15514783744 26289 33554432000 4194304 4196468 140730860085728 140057132371120 140057672288898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 106604 KiB
[startup+1.50156 s]
/proc/loadavg: 8.07 4.62 2.56 6/226 15886
/proc/meminfo: memFree=10028824/32770624 swapFree=66999216/67108860
[pid=15842] ppid=15839 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15842/stat : 15842 (xcsp3-exec) S 15839 15842 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475406452 115843072 362 33554432000 4194304 5098028 140727178543744 140727178541848 140188173771388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29814784 140727178552186 140727178552429 140727178552429 140727178555338 0
/proc/15842/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/15844/task/15858/stat : 15858 (java) S 15842 15842 14371 0 -1 1077944384 575 0 0 0 5 0 0 0 20 0 19 0 475406458 15787429888 166474 33554432000 4194304 4196468 140730860085728 140057132371120 140057672288898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=16641] ppid=15842 vsize=15417412 memory=1448 CPUtime=77.28 cores=1,3,5,7
/proc/15844/task/16641/stat : 16641 (java) R 15842 15842 14371 0 -1 4202560 703 0 0 0 7728 0 0 0 20 0 19 0 475415631 15787429888 166474 33554432000 4194304 4196468 140730860085728 140057122098552 140057296533144 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=16642] ppid=15842 vsize=15417412 memory=661828 CPUtime=77.1 cores=1,3,5,7
/proc/15844/task/16642/stat : 16642 (java) R 15842 15842 14371 0 -1 4202560 3017 0 0 0 7710 0 0 0 20 0 19 0 475415631 15787429888 166474 33554432000 4194304 4196468 140730860085728 140057121046248 140057296148619 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=16643] ppid=15842 vsize=15417412 memory=1448 CPUtime=77.57 cores=1,3,5,7
/proc/15844/task/16643/stat : 16643 (java) R 15842 15842 14371 0 -1 4202560 730 0 0 0 7757 0 0 0 20 0 19 0 475415631 15787429888 166474 33554432000 4194304 4196468 140730860085728 140057119996368 140057296149237 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=16644] ppid=15842 vsize=15417412 memory=3504 CPUtime=77.25 cores=1,3,5,7
/proc/15844/task/16644/stat : 16644 (java) R 15842 15842 14371 0 -1 4202560 849 0 0 0 7725 0 0 0 20 0 19 0 475415631 15787429888 166474 33554432000 4194304 4196468 140730860085728 140057123152064 140057297152491 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
Current children cumulated CPU time: 673.35 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 667344 KiB
[startup+170.402 s]
/proc/loadavg: 8.71 6.38 3.58 9/239 16659
/proc/meminfo: memFree=9356760/32770624 swapFree=66999216/67108860
[pid=15842] ppid=15839 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15842/stat : 15842 (xcsp3-exec) S 15839 15842 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475406452 115843072 362 33554432000 4194304 5098028 140727178543744 140727178541848 140188173771388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29814784 140727178552186 140727178552429 140727178552429 140727178555338 0
/proc/15842/statm: 28282 362 304 221 0 87 0
[pid=15844] ppid=15842 vsize=15417412 memory=663312 CPUtime=676.53 cores=1,3,5,7
/proc/15844/stat : 15844 (java) S 15842 15842 14371 0 -1 1077944320 77737 0 0 0 67613 40 0 0 20 0 19 0 475406452 15787429888 165828 33554432000 4194304 4196468 140730860085728 140730860068272 140057672277751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
/proc/15844/statm: 3854353 165828 3542 1 0 3815453 0
[pid=15844/tid=15845] ppid=15842 vsize=15417412 memory=776 CPUtime=1.41 cores=1,3,5,7
/proc/15844/task/15845/stat : 15845 (java) S 15842 15842 14371 0 -1 1077944384 11346 0 0 0 135 6 0 0 20 0 19 0 475406453 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057676518528 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15846] ppid=15842 vsize=15417412 memory=6791534058613427641 CPUtime=0.15 cores=1,3,5,7
/proc/15844/task/15846/stat : 15846 (java) S 15842 15842 14371 0 -1 1077944384 2455 0 0 0 11 4 0 0 20 0 19 0 475406453 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057265101456 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15847] ppid=15842 vsize=15417412 memory=1448 CPUtime=0.17 cores=1,3,5,7
/proc/15844/task/15847/stat : 15847 (java) S 15842 15842 14371 0 -1 1077944384 3517 0 0 0 13 4 0 0 20 0 19 0 475406453 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057264048656 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15848] ppid=15842 vsize=15417412 memory=665896 CPUtime=0.16 cores=1,3,5,7
/proc/15844/task/15848/stat : 15848 (java) S 15842 15842 14371 0 -1 1077944384 2296 0 0 0 12 4 0 0 20 0 19 0 475406453 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057262995856 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15849] ppid=15842 vsize=15417412 memory=663848 CPUtime=0.17 cores=1,3,5,7
/proc/15844/task/15849/stat : 15849 (java) S 15842 15842 14371 0 -1 1077944384 1809 0 0 0 12 5 0 0 20 0 19 0 475406453 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057261943056 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15850] ppid=15842 vsize=15417412 memory=796 CPUtime=0.04 cores=1,3,5,7
/proc/15844/task/15850/stat : 15850 (java) S 15842 15842 14371 0 -1 1077944384 3320 0 0 0 3 1 0 0 20 0 19 0 475406455 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057208077168 140057672288898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15851] ppid=15842 vsize=15417412 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15851/stat : 15851 (java) S 15842 15842 14371 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 475406455 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057207023200 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15852] ppid=15842 vsize=15417412 memory=111628 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15852/stat : 15852 (java) S 15842 15842 14371 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 19 0 475406455 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057138685312 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15853] ppid=15842 vsize=15417412 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15853/stat : 15853 (java) S 15842 15842 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475406458 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057137633616 140057672296347 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15854] ppid=15842 vsize=15417412 memory=111628 CPUtime=2.54 cores=1,3,5,7
/proc/15844/task/15854/stat : 15854 (java) S 15842 15842 14371 0 -1 1077944384 16213 0 0 0 252 2 0 0 20 0 19 0 475406458 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057136580976 140057672288898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15855] ppid=15842 vsize=15417412 memory=796 CPUtime=2.5 cores=1,3,5,7
/proc/15844/task/15855/stat : 15855 (java) S 15842 15842 14371 0 -1 1077944384 16001 0 0 0 249 1 0 0 20 0 19 0 475406458 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057135528176 140057672288898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15856] ppid=15842 vsize=15417412 memory=4100 CPUtime=0.82 cores=1,3,5,7
/proc/15844/task/15856/stat : 15856 (java) S 15842 15842 14371 0 -1 1077944384 6743 0 0 0 81 1 0 0 20 0 19 0 475406458 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057134475376 140057672288898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15857] ppid=15842 vsize=15417412 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15857/stat : 15857 (java) S 15842 15842 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475406458 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057133422816 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15858] ppid=15842 vsize=15417412 memory=916 CPUtime=0.05 cores=1,3,5,7
/proc/15844/task/15858/stat : 15858 (java) S 15842 15842 14371 0 -1 1077944384 575 0 0 0 5 0 0 0 20 0 19 0 475406458 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057132371120 140057672288898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=16641] ppid=15842 vsize=15417412 memory=1448 CPUtime=78.06 cores=1,3,5,7
/proc/15844/task/16641/stat : 16641 (java) R 15842 15842 14371 0 -1 4202560 705 0 0 0 7806 0 0 0 20 0 19 0 475415631 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057122098040 140057296532869 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=16642] ppid=15842 vsize=15417412 memory=1448 CPUtime=77.9 cores=1,3,5,7
/proc/15844/task/16642/stat : 16642 (java) R 15842 15842 14371 0 -1 4202560 3019 0 0 0 7790 0 0 0 20 0 19 0 475415631 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057121046488 140057298095012 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=16643] ppid=15842 vsize=15417412 memory=665896 CPUtime=78.37 cores=1,3,5,7
/proc/15844/task/16643/stat : 16643 (java) R 15842 15842 14371 0 -1 4202560 731 0 0 0 7837 0 0 0 20 0 19 0 475415631 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057119996400 140057296148998 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=16644] ppid=15842 vsize=15417412 memory=3768 CPUtime=78.05 cores=1,3,5,7
/proc/15844/task/16644/stat : 16644 (java) R 15842 15842 14371 0 -1 4202560 850 0 0 0 7805 0 0 0 20 0 19 0 475415631 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057123151920 140057297152491 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
Current children cumulated CPU time: 676.53 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 664760 KiB
[startup+170.802 s]
/proc/loadavg: 8.71 6.38 3.58 9/239 16659
/proc/meminfo: memFree=9356760/32770624 swapFree=66999216/67108860
[pid=15842] ppid=15839 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15842/stat : 15842 (xcsp3-exec) S 15839 15842 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475406452 115843072 362 33554432000 4194304 5098028 140727178543744 140727178541848 140188173771388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29814784 140727178552186 140727178552429 140727178552429 140727178555338 0
/proc/15842/statm: 28282 362 304 221 0 87 0
[pid=15844] ppid=15842 vsize=15417412 memory=663312 CPUtime=678.12 cores=1,3,5,7
/proc/15844/stat : 15844 (java) S 15842 15842 14371 0 -1 1077944320 77745 0 0 0 67772 40 0 0 20 0 19 0 475406452 15787429888 165828 33554432000 4194304 4196468 140730860085728 140730860068272 140057672277751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
/proc/15844/statm: 3854353 165828 3542 1 0 3815453 0
[pid=15844/tid=15845] ppid=15842 vsize=15417412 memory=13848573129264102 CPUtime=1.41 cores=1,3,5,7
/proc/15844/task/15845/stat : 15845 (java) S 15842 15842 14371 0 -1 1077944384 11346 0 0 0 135 6 0 0 20 0 19 0 475406453 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057676518528 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15846] ppid=15842 vsize=15417412 memory=1060 CPUtime=0.15 cores=1,3,5,7
/proc/15844/task/15846/stat : 15846 (java) S 15842 15842 14371 0 -1 1077944384 2455 0 0 0 11 4 0 0 20 0 19 0 475406453 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057265101456 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15847] ppid=15842 vsize=15417412 memory=1548 CPUtime=0.17 cores=1,3,5,7
/proc/15844/task/15847/stat : 15847 (java) S 15842 15842 14371 0 -1 1077944384 3517 0 0 0 13 4 0 0 20 0 19 0 475406453 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057264048656 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15848] ppid=15842 vsize=15417412 memory=8560 CPUtime=0.16 cores=1,3,5,7
/proc/15844/task/15848/stat : 15848 (java) S 15842 15842 14371 0 -1 1077944384 2296 0 0 0 12 4 0 0 20 0 19 0 475406453 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057262995856 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15849] ppid=15842 vsize=15417412 memory=1712 CPUtime=0.17 cores=1,3,5,7
/proc/15844/task/15849/stat : 15849 (java) S 15842 15842 14371 0 -1 1077944384 1809 0 0 0 12 5 0 0 20 0 19 0 475406453 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057261943056 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15850] ppid=15842 vsize=15417412 memory=1112 CPUtime=0.04 cores=1,3,5,7
/proc/15844/task/15850/stat : 15850 (java) S 15842 15842 14371 0 -1 1077944384 3320 0 0 0 3 1 0 0 20 0 19 0 475406455 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057208077168 140057672288898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15851] ppid=15842 vsize=15417412 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15851/stat : 15851 (java) S 15842 15842 14371 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 475406455 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057207023200 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15852] ppid=15842 vsize=15417412 memory=6064 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15852/stat : 15852 (java) S 15842 15842 14371 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 19 0 475406455 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057138685312 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15853] ppid=15842 vsize=15417412 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15853/stat : 15853 (java) S 15842 15842 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475406458 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057137633616 140057672296347 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15854] ppid=15842 vsize=15417412 memory=2124 CPUtime=2.54 cores=1,3,5,7
/proc/15844/task/15854/stat : 15854 (java) S 15842 15842 14371 0 -1 1077944384 16216 0 0 0 252 2 0 0 20 0 19 0 475406458 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057136580976 140057672288898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15855] ppid=15842 vsize=15417412 memory=30492 CPUtime=2.5 cores=1,3,5,7
/proc/15844/task/15855/stat : 15855 (java) S 15842 15842 14371 0 -1 1077944384 16003 0 0 0 249 1 0 0 20 0 19 0 475406458 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057135528176 140057672288898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15856] ppid=15842 vsize=15417412 memory=12024 CPUtime=0.82 cores=1,3,5,7
/proc/15844/task/15856/stat : 15856 (java) S 15842 15842 14371 0 -1 1077944384 6745 0 0 0 81 1 0 0 20 0 19 0 475406458 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057134475376 140057672288898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15857] ppid=15842 vsize=15417412 memory=7589498214980674915 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15857/stat : 15857 (java) S 15842 15842 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475406458 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057133422816 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15858] ppid=15842 vsize=15417412 memory=7091886735742755944 CPUtime=0.06 cores=1,3,5,7
/proc/15844/task/15858/stat : 15858 (java) S 15842 15842 14371 0 -1 1077944384 575 0 0 0 6 0 0 0 20 0 19 0 475406458 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057132371120 140057672288898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=16641] ppid=15842 vsize=15417412 memory=-6519613052471072158 CPUtime=78.46 cores=1,3,5,7
/proc/15844/task/16641/stat : 16641 (java) R 15842 15842 14371 0 -1 4202560 705 0 0 0 7846 0 0 0 20 0 19 0 475415631 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057122098040 140057296991616 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=16642] ppid=15842 vsize=15417412 memory=7163931118648321856 CPUtime=78.3 cores=1,3,5,7
/proc/15844/task/16642/stat : 16642 (java) R 15842 15842 14371 0 -1 4202560 3020 0 0 0 7830 0 0 0 20 0 19 0 475415631 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057121046488 140057296149089 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=16643] ppid=15842 vsize=15417412 memory=5860981277983076966 CPUtime=78.77 cores=1,3,5,7
/proc/15844/task/16643/stat : 16643 (java) R 15842 15842 14371 0 -1 4202560 731 0 0 0 7877 0 0 0 20 0 19 0 475415631 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057119996400 140057296483117 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=16644] ppid=15842 vsize=15417412 memory=5860981277983076966 CPUtime=78.45 cores=1,3,5,7
/proc/15844/task/16644/stat : 16644 (java) R 15842 15842 14371 0 -1 4202560 850 0 0 0 7845 0 0 0 20 0 19 0 475415631 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057123151920 140057297151922 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
Current children cumulated CPU time: 678.12 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 664760 KiB
[startup+170.902 s]
/proc/loadavg: 8.71 6.38 3.58 9/239 16659
/proc/meminfo: memFree=9356760/32770624 swapFree=66999216/67108860
[pid=15842] ppid=15839 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15842/stat : 15842 (xcsp3-exec) S 15839 15842 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475406452 115843072 362 33554432000 4194304 5098028 140727178543744 140727178541848 140188173771388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29814784 140727178552186 140727178552429 140727178552429 140727178555338 0
/proc/15842/statm: 28282 362 304 221 0 87 0
[pid=15844] ppid=15842 vsize=15417412 memory=663312 CPUtime=678.52 cores=1,3,5,7
/proc/15844/stat : 15844 (java) S 15842 15842 14371 0 -1 1077944320 77745 0 0 0 67812 40 0 0 20 0 19 0 475406452 15787429888 165828 33554432000 4194304 4196468 140730860085728 140730860068272 140057672277751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
/proc/15844/statm: 3854353 165828 3542 1 0 3815453 0
[pid=15844/tid=15845] ppid=15842 vsize=15417412 memory=663312 CPUtime=1.41 cores=1,3,5,7
/proc/15844/task/15845/stat : 15845 (java) S 15842 15842 14371 0 -1 1077944384 11346 0 0 0 135 6 0 0 20 0 19 0 475406453 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057676518528 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15846] ppid=15842 vsize=15417412 memory=665896 CPUtime=0.15 cores=1,3,5,7
/proc/15844/task/15846/stat : 15846 (java) S 15842 15842 14371 0 -1 1077944384 2455 0 0 0 11 4 0 0 20 0 19 0 475406453 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057265101456 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15847] ppid=15842 vsize=15417412 memory=665896 CPUtime=0.17 cores=1,3,5,7
/proc/15844/task/15847/stat : 15847 (java) S 15842 15842 14371 0 -1 1077944384 3517 0 0 0 13 4 0 0 20 0 19 0 475406453 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057264048656 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15848] ppid=15842 vsize=15417412 memory=665896 CPUtime=0.16 cores=1,3,5,7
/proc/15844/task/15848/stat : 15848 (java) S 15842 15842 14371 0 -1 1077944384 2296 0 0 0 12 4 0 0 20 0 19 0 475406453 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057262995856 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15849] ppid=15842 vsize=15417412 memory=663876 CPUtime=0.17 cores=1,3,5,7
/proc/15844/task/15849/stat : 15849 (java) S 15842 15842 14371 0 -1 1077944384 1809 0 0 0 12 5 0 0 20 0 19 0 475406453 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057261943056 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15850] ppid=15842 vsize=15417412 memory=663312 CPUtime=0.04 cores=1,3,5,7
/proc/15844/task/15850/stat : 15850 (java) S 15842 15842 14371 0 -1 1077944384 3320 0 0 0 3 1 0 0 20 0 19 0 475406455 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057208077168 140057672288898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15851] ppid=15842 vsize=15417412 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15851/stat : 15851 (java) S 15842 15842 14371 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 475406455 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057207023200 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15852] ppid=15842 vsize=15417412 memory=663876 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15852/stat : 15852 (java) S 15842 15842 14371 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 19 0 475406455 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057138685312 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15853] ppid=15842 vsize=15417412 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15853/stat : 15853 (java) S 15842 15842 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475406458 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057137633616 140057672296347 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15854] ppid=15842 vsize=15417412 memory=1448 CPUtime=2.54 cores=1,3,5,7
/proc/15844/task/15854/stat : 15854 (java) S 15842 15842 14371 0 -1 1077944384 16216 0 0 0 252 2 0 0 20 0 19 0 475406458 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057136580976 140057672288898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15855] ppid=15842 vsize=15417412 memory=1448 CPUtime=2.5 cores=1,3,5,7
/proc/15844/task/15855/stat : 15855 (java) S 15842 15842 14371 0 -1 1077944384 16003 0 0 0 249 1 0 0 20 0 19 0 475406458 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057135528176 140057672288898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15856] ppid=15842 vsize=15417412 memory=665896 CPUtime=0.82 cores=1,3,5,7
/proc/15844/task/15856/stat : 15856 (java) S 15842 15842 14371 0 -1 1077944384 6745 0 0 0 81 1 0 0 20 0 19 0 475406458 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057134475376 140057672288898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15857] ppid=15842 vsize=15417412 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/15844/task/15857/stat : 15857 (java) S 15842 15842 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475406458 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057133422816 140057672287957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=15858] ppid=15842 vsize=15417412 memory=55900 CPUtime=0.06 cores=1,3,5,7
/proc/15844/task/15858/stat : 15858 (java) S 15842 15842 14371 0 -1 1077944384 575 0 0 0 6 0 0 0 20 0 19 0 475406458 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057132371120 140057672288898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=16641] ppid=15842 vsize=15417412 memory=1448 CPUtime=78.56 cores=1,3,5,7
/proc/15844/task/16641/stat : 16641 (java) R 15842 15842 14371 0 -1 4202560 705 0 0 0 7856 0 0 0 20 0 19 0 475415631 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057122098040 140057296148629 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=16642] ppid=15842 vsize=15417412 memory=1448 CPUtime=78.4 cores=1,3,5,7
/proc/15844/task/16642/stat : 16642 (java) R 15842 15842 14371 0 -1 4202560 3020 0 0 0 7840 0 0 0 20 0 19 0 475415631 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057121046488 140057296483050 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=16643] ppid=15842 vsize=15417412 memory=3504 CPUtime=78.87 cores=1,3,5,7
/proc/15844/task/16643/stat : 16643 (java) R 15842 15842 14371 0 -1 4202560 731 0 0 0 7887 0 0 0 20 0 19 0 475415631 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057119996400 140057297043302 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
[pid=15844/tid=16644] ppid=15842 vsize=15417412 memory=55900 CPUtime=78.55 cores=1,3,5,7
/proc/15844/task/16644/stat : 16644 (java) R 15842 15842 14371 0 -1 4202560 850 0 0 0 7855 0 0 0 20 0 19 0 475415631 15787429888 165828 33554432000 4194304 4196468 140730860085728 140057123151920 140057297152658 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14913536 140730860090351 140730860090522 140730860090522 140730860093391 0
Current children cumulated CPU time: 678.52 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 664760 KiB
Child status: 0
Real time (s): 170.919
CPU time (s): 678.572
CPU user time (s): 678.156
CPU system time (s): 0.415695
CPU usage (%): 397.014
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 667344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 678.156
system time used= 0.415695
maximum resident set size= 675668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79174
page faults= 0
swaps= 0
block input operations= 0
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6929
involuntary context switches= 11326
# summary of solver processes directly reported to runsolver:
# pid: 15842
# total CPU time (s): 678.572
# total CPU user time (s): 678.156
# total CPU system time (s): 0.415695
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.09458 second user time and 2.0249 second system time
The end