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 (1593 MiB free)
memory of node 1: 16384 MiB (5561 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404095-1568991443/watcher-4404095-1568991443 -o /var/tmp/evaluation-result-4404095-1568991443/solver-4404095-1568991443 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1568989944-5359 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1929834696 HOME/instance-4404095-1568991443.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
solver pid=8464, runsolver pid=8461
Current StackSize limit: 8192 KiB
[startup+0.102555 s]*
/proc/loadavg: 8.41 8.49 7.04 6/233 8480
/proc/meminfo: memFree=7310164/32770624 swapFree=66972240/67108860
[pid=8464] ppid=8461 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8464/stat : 8464 (xcsp3-exec) S 8461 8464 5327 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475086112 115843072 363 33554432000 4194304 5098028 140732359580400 140732359578504 140119544390268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7901184 140732359586646 140732359586905 140732359586905 140732359589830 0
/proc/8464/statm: 28282 363 305 221 0 87 0
[pid=8466] ppid=8464 vsize=15144776 memory=29348 CPUtime=0.13 cores=1,3,5,7
/proc/8466/stat : 8466 (java) S 8464 8464 5327 0 -1 1077944320 5815 0 0 0 12 1 0 0 20 0 15 0 475086112 15508250624 7337 33554432000 4194304 4196468 140721420733248 140721420715792 140570599358199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
/proc/8466/statm: 3786194 7337 3134 1 0 3748377 0
[pid=8466/tid=8467] ppid=8464 vsize=15144776 memory=7100839852958450802 CPUtime=0.1 cores=1,3,5,7
/proc/8466/task/8467/stat : 8467 (java) R 8464 8464 5327 0 -1 4202560 3710 0 0 0 9 1 0 0 20 0 15 0 475086112 15508250624 7337 33554432000 4194304 4196468 140721420733248 140570603588208 140570202811528 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8468] ppid=8464 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8468/stat : 8468 (java) S 8464 8464 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475086113 15508250624 7337 33554432000 4194304 4196468 140721420733248 140570527398800 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8469] ppid=8464 vsize=15144776 memory=140304270534272 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8469/stat : 8469 (java) S 8464 8464 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475086113 15508250624 7337 33554432000 4194304 4196468 140721420733248 140570526346000 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8470] ppid=8464 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8470/stat : 8470 (java) S 8464 8464 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475086113 15508250624 7337 33554432000 4194304 4196468 140721420733248 140570525293712 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8471] ppid=8464 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8471/stat : 8471 (java) S 8464 8464 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475086113 15508250624 7337 33554432000 4194304 4196468 140721420733248 140570524240912 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8472] ppid=8464 vsize=15144776 memory=140304270534272 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8472/stat : 8472 (java) S 8464 8464 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475086114 15508250624 7337 33554432000 4194304 4196468 140721420733248 140570067880048 140570599369346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8473] ppid=8464 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8473/stat : 8473 (java) S 8464 8464 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475086115 15508250624 7337 33554432000 4194304 4196468 140721420733248 140570066826016 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8474] ppid=8464 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8474/stat : 8474 (java) S 8464 8464 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475086115 15508250624 7337 33554432000 4194304 4196468 140721420733248 140570065773680 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8475] ppid=8464 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8475/stat : 8475 (java) S 8464 8464 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475086117 15508250624 7337 33554432000 4194304 4196468 140721420733248 140570064722000 140570599376795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8476] ppid=8464 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8476/stat : 8476 (java) R 8464 8464 5327 0 -1 4202560 348 0 0 0 0 0 0 0 20 0 15 0 475086117 15508250624 7337 33554432000 4194304 4196468 140721420733248 140570063669872 140570585372525 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8477] ppid=8464 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8477/stat : 8477 (java) R 8464 8464 5327 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 475086117 15508250624 7337 33554432000 4194304 4196468 140721420733248 140570062617072 140570599369346 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8478] ppid=8464 vsize=15144776 memory=140304270534272 CPUtime=0.02 cores=1,3,5,7
/proc/8466/task/8478/stat : 8478 (java) S 8464 8464 5327 0 -1 1077944384 330 0 0 0 2 0 0 0 20 0 15 0 475086118 15508250624 7337 33554432000 4194304 4196468 140721420733248 140570061564784 140570599369346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8479] ppid=8464 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8479/stat : 8479 (java) S 8464 8464 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475086118 15508250624 7337 33554432000 4194304 4196468 140721420733248 140570060512224 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8480] ppid=8464 vsize=15144776 memory=140304270534272 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8480/stat : 8480 (java) S 8464 8464 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475086118 15508250624 7337 33554432000 4194304 4196468 140721420733248 140570059458992 140570599369346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30800 KiB
[startup+0.210773 s]*
/proc/loadavg: 8.41 8.49 7.04 7/233 8480
/proc/meminfo: memFree=7297184/32770624 swapFree=66972240/67108860
[pid=8464] ppid=8461 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8464/stat : 8464 (xcsp3-exec) S 8461 8464 5327 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475086112 115843072 363 33554432000 4194304 5098028 140732359580400 140732359578504 140119544390268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7901184 140732359586646 140732359586905 140732359586905 140732359589830 0
/proc/8464/statm: 28282 363 305 221 0 87 0
[pid=8466] ppid=8464 vsize=15144776 memory=40892 CPUtime=0.33 cores=1,3,5,7
/proc/8466/stat : 8466 (java) S 8464 8464 5327 0 -1 1077944320 9455 0 0 0 30 3 0 0 20 0 15 0 475086112 15508250624 10223 33554432000 4194304 4196468 140721420733248 140721420715792 140570599358199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
/proc/8466/statm: 3786194 10223 3296 1 0 3748377 0
[pid=8466/tid=8467] ppid=8464 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/8466/task/8467/stat : 8467 (java) R 8464 8464 5327 0 -1 4202560 6604 0 0 0 17 3 0 0 20 0 15 0 475086112 15508250624 10223 33554432000 4194304 4196468 140721420733248 140570603591904 140570583438686 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8468] ppid=8464 vsize=15144776 memory=13657 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8468/stat : 8468 (java) S 8464 8464 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475086113 15508250624 10223 33554432000 4194304 4196468 140721420733248 140570527398800 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8469] ppid=8464 vsize=15144776 memory=140304274067424 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8469/stat : 8469 (java) S 8464 8464 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475086113 15508250624 10223 33554432000 4194304 4196468 140721420733248 140570526346000 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8470] ppid=8464 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8470/stat : 8470 (java) S 8464 8464 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475086113 15508250624 10223 33554432000 4194304 4196468 140721420733248 140570525293712 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8471] ppid=8464 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8471/stat : 8471 (java) S 8464 8464 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475086113 15508250624 10223 33554432000 4194304 4196468 140721420733248 140570524240912 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8472] ppid=8464 vsize=15144776 memory=140304270534272 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8472/stat : 8472 (java) S 8464 8464 5327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475086114 15508250624 10223 33554432000 4194304 4196468 140721420733248 140570067880048 140570599369346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8473] ppid=8464 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8473/stat : 8473 (java) S 8464 8464 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475086115 15508250624 10223 33554432000 4194304 4196468 140721420733248 140570066826016 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8474] ppid=8464 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8474/stat : 8474 (java) S 8464 8464 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475086115 15508250624 10223 33554432000 4194304 4196468 140721420733248 140570065773680 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8475] ppid=8464 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8475/stat : 8475 (java) S 8464 8464 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475086117 15508250624 10223 33554432000 4194304 4196468 140721420733248 140570064722000 140570599376795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8476] ppid=8464 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8466/task/8476/stat : 8476 (java) S 8464 8464 5327 0 -1 1077944384 616 0 0 0 2 0 0 0 20 0 15 0 475086117 15508250624 10223 33554432000 4194304 4196468 140721420733248 140570063669872 140570599369346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8477] ppid=8464 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/8466/task/8477/stat : 8477 (java) S 8464 8464 5327 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 15 0 475086117 15508250624 10223 33554432000 4194304 4196468 140721420733248 140570062617072 140570599369346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8478] ppid=8464 vsize=15144776 memory=140304270534272 CPUtime=0.08 cores=1,3,5,7
/proc/8466/task/8478/stat : 8478 (java) S 8464 8464 5327 0 -1 1077944384 770 0 0 0 8 0 0 0 20 0 15 0 475086118 15508250624 10223 33554432000 4194304 4196468 140721420733248 140570061564784 140570599369346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8479] ppid=8464 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8479/stat : 8479 (java) S 8464 8464 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475086118 15508250624 10223 33554432000 4194304 4196468 140721420733248 140570060512224 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8480] ppid=8464 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8480/stat : 8480 (java) S 8464 8464 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475086118 15508250624 10223 33554432000 4194304 4196468 140721420733248 140570059458992 140570599369346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42344 KiB
[startup+0.310584 s]*
/proc/loadavg: 8.41 8.49 7.04 8/233 8480
/proc/meminfo: memFree=7290648/32770624 swapFree=66972240/67108860
[pid=8464] ppid=8461 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8464/stat : 8464 (xcsp3-exec) S 8461 8464 5327 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475086112 115843072 363 33554432000 4194304 5098028 140732359580400 140732359578504 140119544390268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7901184 140732359586646 140732359586905 140732359586905 140732359589830 0
/proc/8464/statm: 28282 363 305 221 0 87 0
[pid=8466] ppid=8464 vsize=15149032 memory=49648 CPUtime=0.53 cores=1,3,5,7
/proc/8466/stat : 8466 (java) S 8464 8464 5327 0 -1 1077944320 10806 0 0 0 49 4 0 0 20 0 15 0 475086112 15512608768 12412 33554432000 4194304 4196468 140721420733248 140721420715792 140570599358199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
/proc/8466/statm: 3787258 12412 3358 1 0 3748377 0
[pid=8466/tid=8467] ppid=8464 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/8466/task/8467/stat : 8467 (java) R 8464 8464 5327 0 -1 4202560 7798 0 0 0 27 3 0 0 20 0 15 0 475086112 15512608768 12481 33554432000 4194304 4196468 140721420733248 140570603591984 140570583438686 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8468] ppid=8464 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8468/stat : 8468 (java) S 8464 8464 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475086113 15512608768 12481 33554432000 4194304 4196468 140721420733248 140570527398800 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8469] ppid=8464 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8469/stat : 8469 (java) S 8464 8464 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475086113 15512608768 12481 33554432000 4194304 4196468 140721420733248 140570526346000 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8470] ppid=8464 vsize=15149032 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8470/stat : 8470 (java) S 8464 8464 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475086113 15512608768 12481 33554432000 4194304 4196468 140721420733248 140570525293712 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8471] ppid=8464 vsize=15149032 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8471/stat : 8471 (java) S 8464 8464 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475086113 15512608768 12481 33554432000 4194304 4196468 140721420733248 140570524240912 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8472] ppid=8464 vsize=15149032 memory=7295649549999711634 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8472/stat : 8472 (java) S 8464 8464 5327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475086114 15512608768 12481 33554432000 4194304 4196468 140721420733248 140570067880048 140570599369346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8473] ppid=8464 vsize=15149032 memory=6944938067432061290 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8473/stat : 8473 (java) S 8464 8464 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475086115 15512608768 12481 33554432000 4194304 4196468 140721420733248 140570066826016 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8474] ppid=8464 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8474/stat : 8474 (java) S 8464 8464 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475086115 15512608768 12481 33554432000 4194304 4196468 140721420733248 140570065773680 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8475] ppid=8464 vsize=15149032 memory=7100839852926015589 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8475/stat : 8475 (java) S 8464 8464 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475086117 15512608768 12481 33554432000 4194304 4196468 140721420733248 140570064722000 140570599376795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8476] ppid=8464 vsize=15149032 memory=-8412656567168561567 CPUtime=0.05 cores=1,3,5,7
/proc/8466/task/8476/stat : 8476 (java) R 8464 8464 5327 0 -1 4202560 705 0 0 0 5 0 0 0 20 0 15 0 475086117 15512608768 12481 33554432000 4194304 4196468 140721420733248 140570063650888 140570580875739 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8477] ppid=8464 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8466/task/8477/stat : 8477 (java) S 8464 8464 5327 0 -1 1077944384 171 0 0 0 3 0 0 0 20 0 15 0 475086117 15512608768 12481 33554432000 4194304 4196468 140721420733248 140570062617072 140570599369346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8478] ppid=8464 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/8466/task/8478/stat : 8478 (java) S 8464 8464 5327 0 -1 1077944384 839 0 0 0 12 0 0 0 20 0 15 0 475086118 15512608768 12481 33554432000 4194304 4196468 140721420733248 140570061564784 140570599369346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8479] ppid=8464 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8479/stat : 8479 (java) S 8464 8464 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475086118 15512608768 12481 33554432000 4194304 4196468 140721420733248 140570060512224 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8480] ppid=8464 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8480/stat : 8480 (java) S 8464 8464 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475086118 15512608768 12481 33554432000 4194304 4196468 140721420733248 140570059458992 140570599369346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51100 KiB
[startup+0.701587 s]
/proc/loadavg: 8.41 8.49 7.04 7/233 8480
/proc/meminfo: memFree=7272700/32770624 swapFree=66972240/67108860
[pid=8464] ppid=8461 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8464/stat : 8464 (xcsp3-exec) S 8461 8464 5327 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475086112 115843072 363 33554432000 4194304 5098028 140732359580400 140732359578504 140119544390268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7901184 140732359586646 140732359586905 140732359586905 140732359589830 0
/proc/8464/statm: 28282 363 305 221 0 87 0
[pid=8466] ppid=8464 vsize=15417412 memory=91724 CPUtime=1.59 cores=1,3,5,7
/proc/8466/stat : 8466 (java) S 8464 8464 5327 0 -1 1077944320 15579 0 0 0 152 7 0 0 20 0 19 0 475086112 15787429888 22931 33554432000 4194304 4196468 140721420733248 140721420715792 140570599358199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
/proc/8466/statm: 3854353 22931 3451 1 0 3815453 0
[pid=8466/tid=8467] ppid=8464 vsize=15417412 memory=1791471125761 CPUtime=0.63 cores=1,3,5,7
/proc/8466/task/8467/stat : 8467 (java) S 8464 8464 5327 0 -1 1077944384 9358 0 0 0 59 4 0 0 20 0 19 0 475086112 15787429888 22931 33554432000 4194304 4196468 140721420733248 140570603598976 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8468] ppid=8464 vsize=15417412 memory=33 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8468/stat : 8468 (java) S 8464 8464 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475086113 15787429888 22931 33554432000 4194304 4196468 140721420733248 140570527398800 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8469] ppid=8464 vsize=15417412 memory=-7604262568725289114 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8469/stat : 8469 (java) S 8464 8464 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475086113 15787429888 22931 33554432000 4194304 4196468 140721420733248 140570526346000 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8470] ppid=8464 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8470/stat : 8470 (java) S 8464 8464 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475086113 15787429888 22931 33554432000 4194304 4196468 140721420733248 140570525293712 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8471] ppid=8464 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8471/stat : 8471 (java) S 8464 8464 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475086113 15787429888 22931 33554432000 4194304 4196468 140721420733248 140570524240912 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8472] ppid=8464 vsize=15417412 memory=43064 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8472/stat : 8472 (java) S 8464 8464 5327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475086114 15787429888 22931 33554432000 4194304 4196468 140721420733248 140570067880048 140570599369346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8473] ppid=8464 vsize=15417412 memory=992 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8473/stat : 8473 (java) S 8464 8464 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475086115 15787429888 22931 33554432000 4194304 4196468 140721420733248 140570066826016 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8474] ppid=8464 vsize=15417412 memory=2044 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8474/stat : 8474 (java) S 8464 8464 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475086115 15787429888 22931 33554432000 4194304 4196468 140721420733248 140570065773680 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8475] ppid=8464 vsize=15417412 memory=1432 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8475/stat : 8475 (java) S 8464 8464 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475086117 15787429888 22931 33554432000 4194304 4196468 140721420733248 140570064722000 140570599376795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8476] ppid=8464 vsize=15417412 memory=11624 CPUtime=0.23 cores=1,3,5,7
/proc/8466/task/8476/stat : 8476 (java) R 8464 8464 5327 0 -1 4202560 1439 0 0 0 23 0 0 0 20 0 19 0 475086117 15787429888 22931 33554432000 4194304 4196468 140721420733248 140570063662360 140570583915649 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8477] ppid=8464 vsize=15417412 memory=740 CPUtime=0.2 cores=1,3,5,7
/proc/8466/task/8477/stat : 8477 (java) R 8464 8464 5327 0 -1 4202560 802 0 0 0 20 0 0 0 20 0 19 0 475086117 15787429888 22931 33554432000 4194304 4196468 140721420733248 140570062610096 140570580550545 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8478] ppid=8464 vsize=15417412 memory=1056 CPUtime=0.4 cores=1,3,5,7
/proc/8466/task/8478/stat : 8478 (java) S 8464 8464 5327 0 -1 1077944384 2008 0 0 0 40 0 0 0 20 0 19 0 475086118 15787429888 22931 33554432000 4194304 4196468 140721420733248 140570061562576 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8479] ppid=8464 vsize=15417412 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8479/stat : 8479 (java) S 8464 8464 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475086118 15787429888 22931 33554432000 4194304 4196468 140721420733248 140570060512224 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8480] ppid=8464 vsize=15417412 memory=1040 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8480/stat : 8480 (java) S 8464 8464 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475086118 15787429888 22931 33554432000 4194304 4196468 140721420733248 140570059458992 140570599369346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 93176 KiB
[startup+1.50082 s]
/proc/loadavg: 8.41 8.49 7.04 9/237 8488
/proc/meminfo: memFree=7218200/32770624 swapFree=66972240/67108860
[pid=8464] ppid=8461 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8464/stat : 8464 (xcsp3-exec) S 8461 8464 5327 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475086112 115843072 363 33554432000 4194304 5098028 140732359580400 140732359578504 140119544390268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7901184 140732359586646 140732359586905 140732359586905 140732359589830 0
/proc/8464/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 175848 KiB
[startup+167.202 s]
/proc/loadavg: 8.82 8.59 7.31 9/237 8522
/proc/meminfo: memFree=6520632/32770624 swapFree=66972240/67108860
[pid=8464] ppid=8461 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8464/stat : 8464 (xcsp3-exec) S 8461 8464 5327 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475086112 115843072 363 33554432000 4194304 5098028 140732359580400 140732359578504 140119544390268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7901184 140732359586646 140732359586905 140732359586905 140732359589830 0
/proc/8464/statm: 28282 363 305 221 0 87 0
[pid=8466] ppid=8464 vsize=15420488 memory=174396 CPUtime=664.18 cores=1,3,5,7
/proc/8466/stat : 8466 (java) S 8464 8464 5327 0 -1 1077944320 98709 0 0 0 66398 20 0 0 20 0 19 0 475086112 15790579712 43599 33554432000 4194304 4196468 140721420733248 140721420715792 140570599358199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
/proc/8466/statm: 3855122 43599 3525 1 0 3816222 0
[pid=8466/tid=8467] ppid=8464 vsize=15420488 memory=8112282956445269571 CPUtime=0.64 cores=1,3,5,7
/proc/8466/task/8467/stat : 8467 (java) S 8464 8464 5327 0 -1 1077944384 9669 0 0 0 59 5 0 0 20 0 19 0 475086112 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570603598976 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8468] ppid=8464 vsize=15420488 memory=3848 CPUtime=0.05 cores=1,3,5,7
/proc/8466/task/8468/stat : 8468 (java) S 8464 8464 5327 0 -1 1077944384 4172 0 0 0 4 1 0 0 20 0 19 0 475086113 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570527398800 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8469] ppid=8464 vsize=15420488 memory=2608 CPUtime=0.05 cores=1,3,5,7
/proc/8466/task/8469/stat : 8469 (java) S 8464 8464 5327 0 -1 1077944384 2208 0 0 0 4 1 0 0 20 0 19 0 475086113 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570526346000 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8470] ppid=8464 vsize=15420488 memory=2688 CPUtime=0.04 cores=1,3,5,7
/proc/8466/task/8470/stat : 8470 (java) S 8464 8464 5327 0 -1 1077944384 1362 0 0 0 3 1 0 0 20 0 19 0 475086113 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570525293712 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8471] ppid=8464 vsize=15420488 memory=8112282956445269571 CPUtime=0.04 cores=1,3,5,7
/proc/8466/task/8471/stat : 8471 (java) S 8464 8464 5327 0 -1 1077944384 3393 0 0 0 3 1 0 0 20 0 19 0 475086113 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570524240912 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8472] ppid=8464 vsize=15420488 memory=2832 CPUtime=0.04 cores=1,3,5,7
/proc/8466/task/8472/stat : 8472 (java) S 8464 8464 5327 0 -1 1077944384 3069 0 0 0 3 1 0 0 20 0 19 0 475086114 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570067880048 140570599369346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8473] ppid=8464 vsize=15420488 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8473/stat : 8473 (java) S 8464 8464 5327 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 475086115 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570066826080 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8474] ppid=8464 vsize=15420488 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8474/stat : 8474 (java) S 8464 8464 5327 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 19 0 475086115 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570065773696 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8475] ppid=8464 vsize=15420488 memory=174396 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8475/stat : 8475 (java) S 8464 8464 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475086117 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570064722000 140570599376795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8476] ppid=8464 vsize=15420488 memory=0 CPUtime=3.48 cores=1,3,5,7
/proc/8466/task/8476/stat : 8476 (java) S 8464 8464 5327 0 -1 1077944384 26675 0 0 0 346 2 0 0 20 0 19 0 475086117 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570063669872 140570599369346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8477] ppid=8464 vsize=15420488 memory=1 CPUtime=3.15 cores=1,3,5,7
/proc/8466/task/8477/stat : 8477 (java) S 8464 8464 5327 0 -1 1077944384 24235 0 0 0 314 1 0 0 20 0 19 0 475086117 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570062617072 140570599369346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8478] ppid=8464 vsize=15420488 memory=3729 CPUtime=0.79 cores=1,3,5,7
/proc/8466/task/8478/stat : 8478 (java) S 8464 8464 5327 0 -1 1077944384 8429 0 0 0 77 2 0 0 20 0 19 0 475086118 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570061564784 140570599369346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8479] ppid=8464 vsize=15420488 memory=3708 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8479/stat : 8479 (java) S 8464 8464 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475086118 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570060512224 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8480] ppid=8464 vsize=15420488 memory=176448 CPUtime=0.02 cores=1,3,5,7
/proc/8466/task/8480/stat : 8480 (java) S 8464 8464 5327 0 -1 1077944384 811 0 0 0 0 2 0 0 20 0 19 0 475086118 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570059458992 140570599369346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8508] ppid=8464 vsize=15420488 memory=3612 CPUtime=127.17 cores=1,3,5,7
/proc/8466/task/8508/stat : 8508 (java) R 8464 8464 5327 0 -1 4202560 667 0 0 0 12717 0 0 0 20 0 19 0 475090053 15790579712 43599 33554432000 4194304 4196468 140721420733248 140569980414952 140570209227812 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8509] ppid=8464 vsize=15420488 memory=43064 CPUtime=126.99 cores=1,3,5,7
/proc/8466/task/8509/stat : 8509 (java) R 8464 8464 5327 0 -1 4202560 1871 0 0 0 12699 0 0 0 20 0 19 0 475090053 15790579712 43599 33554432000 4194304 4196468 140721420733248 140569976213392 140570210597054 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8510] ppid=8464 vsize=15420488 memory=992 CPUtime=126.93 cores=1,3,5,7
/proc/8466/task/8510/stat : 8510 (java) R 8464 8464 5327 0 -1 4202560 1962 0 0 0 12693 0 0 0 20 0 19 0 475090053 15790579712 43599 33554432000 4194304 4196468 140721420733248 140569979362776 140570208317368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8511] ppid=8464 vsize=15420488 memory=2044 CPUtime=127.17 cores=1,3,5,7
/proc/8466/task/8511/stat : 8511 (java) R 8464 8464 5327 0 -1 4202560 1173 0 0 0 12717 0 0 0 20 0 19 0 475090053 15790579712 43599 33554432000 4194304 4196468 140721420733248 140569981471376 140570209012729 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
Current children cumulated CPU time: 664.18 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 175848 KiB
[startup+167.607 s]
/proc/loadavg: 8.82 8.59 7.31 9/237 8522
/proc/meminfo: memFree=6520632/32770624 swapFree=66972240/67108860
[pid=8464] ppid=8461 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8464/stat : 8464 (xcsp3-exec) S 8461 8464 5327 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475086112 115843072 363 33554432000 4194304 5098028 140732359580400 140732359578504 140119544390268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7901184 140732359586646 140732359586905 140732359586905 140732359589830 0
/proc/8464/statm: 28282 363 305 221 0 87 0
[pid=8466] ppid=8464 vsize=15420488 memory=174396 CPUtime=665.8 cores=1,3,5,7
/proc/8466/stat : 8466 (java) S 8464 8464 5327 0 -1 1077944320 98709 0 0 0 66560 20 0 0 20 0 19 0 475086112 15790579712 43599 33554432000 4194304 4196468 140721420733248 140721420715792 140570599358199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
/proc/8466/statm: 3855122 43599 3525 1 0 3816222 0
[pid=8466/tid=8467] ppid=8464 vsize=15420488 memory=992 CPUtime=0.64 cores=1,3,5,7
/proc/8466/task/8467/stat : 8467 (java) S 8464 8464 5327 0 -1 1077944384 9669 0 0 0 59 5 0 0 20 0 19 0 475086112 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570603598976 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8468] ppid=8464 vsize=15420488 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/8466/task/8468/stat : 8468 (java) S 8464 8464 5327 0 -1 1077944384 4172 0 0 0 4 1 0 0 20 0 19 0 475086113 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570527398800 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8469] ppid=8464 vsize=15420488 memory=6655300316396806240 CPUtime=0.05 cores=1,3,5,7
/proc/8466/task/8469/stat : 8469 (java) S 8464 8464 5327 0 -1 1077944384 2208 0 0 0 4 1 0 0 20 0 19 0 475086113 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570526346000 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8470] ppid=8464 vsize=15420488 memory=-7965959130280075168 CPUtime=0.04 cores=1,3,5,7
/proc/8466/task/8470/stat : 8470 (java) S 8464 8464 5327 0 -1 1077944384 1362 0 0 0 3 1 0 0 20 0 19 0 475086113 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570525293712 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8471] ppid=8464 vsize=15420488 memory=8112282956445269571 CPUtime=0.04 cores=1,3,5,7
/proc/8466/task/8471/stat : 8471 (java) S 8464 8464 5327 0 -1 1077944384 3393 0 0 0 3 1 0 0 20 0 19 0 475086113 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570524240912 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8472] ppid=8464 vsize=15420488 memory=1432 CPUtime=0.04 cores=1,3,5,7
/proc/8466/task/8472/stat : 8472 (java) S 8464 8464 5327 0 -1 1077944384 3069 0 0 0 3 1 0 0 20 0 19 0 475086114 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570067880048 140570599369346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8473] ppid=8464 vsize=15420488 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8473/stat : 8473 (java) S 8464 8464 5327 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 475086115 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570066826080 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8474] ppid=8464 vsize=15420488 memory=740 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8474/stat : 8474 (java) S 8464 8464 5327 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 19 0 475086115 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570065773696 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8475] ppid=8464 vsize=15420488 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8475/stat : 8475 (java) S 8464 8464 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475086117 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570064722000 140570599376795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8476] ppid=8464 vsize=15420488 memory=1552 CPUtime=3.48 cores=1,3,5,7
/proc/8466/task/8476/stat : 8476 (java) S 8464 8464 5327 0 -1 1077944384 26675 0 0 0 346 2 0 0 20 0 19 0 475086117 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570063669872 140570599369346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8477] ppid=8464 vsize=15420488 memory=1040 CPUtime=3.15 cores=1,3,5,7
/proc/8466/task/8477/stat : 8477 (java) S 8464 8464 5327 0 -1 1077944384 24235 0 0 0 314 1 0 0 20 0 19 0 475086117 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570062617072 140570599369346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8478] ppid=8464 vsize=15420488 memory=3644 CPUtime=0.79 cores=1,3,5,7
/proc/8466/task/8478/stat : 8478 (java) S 8464 8464 5327 0 -1 1077944384 8429 0 0 0 77 2 0 0 20 0 19 0 475086118 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570061564784 140570599369346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8479] ppid=8464 vsize=15420488 memory=500 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8479/stat : 8479 (java) S 8464 8464 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475086118 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570060512224 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8480] ppid=8464 vsize=15420488 memory=1556 CPUtime=0.02 cores=1,3,5,7
/proc/8466/task/8480/stat : 8480 (java) S 8464 8464 5327 0 -1 1077944384 811 0 0 0 0 2 0 0 20 0 19 0 475086118 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570059458992 140570599369346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8508] ppid=8464 vsize=15420488 memory=924 CPUtime=127.58 cores=1,3,5,7
/proc/8466/task/8508/stat : 8508 (java) R 8464 8464 5327 0 -1 4202560 667 0 0 0 12758 0 0 0 20 0 19 0 475090053 15790579712 43599 33554432000 4194304 4196468 140721420733248 140569980414952 140570209077972 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8509] ppid=8464 vsize=15420488 memory=1672 CPUtime=127.4 cores=1,3,5,7
/proc/8466/task/8509/stat : 8509 (java) R 8464 8464 5327 0 -1 4202560 1871 0 0 0 12740 0 0 0 20 0 19 0 475090053 15790579712 43599 33554432000 4194304 4196468 140721420733248 140569976213392 140570208364485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8510] ppid=8464 vsize=15420488 memory=780 CPUtime=127.34 cores=1,3,5,7
/proc/8466/task/8510/stat : 8510 (java) R 8464 8464 5327 0 -1 4202560 1962 0 0 0 12734 0 0 0 20 0 19 0 475090053 15790579712 43599 33554432000 4194304 4196468 140721420733248 140569979362776 140570209323201 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8511] ppid=8464 vsize=15420488 memory=1436 CPUtime=127.57 cores=1,3,5,7
/proc/8466/task/8511/stat : 8511 (java) R 8464 8464 5327 0 -1 4202560 1173 0 0 0 12757 0 0 0 20 0 19 0 475090053 15790579712 43599 33554432000 4194304 4196468 140721420733248 140569981471376 140570207257963 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
Current children cumulated CPU time: 665.8 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 175848 KiB
[startup+167.801 s]
/proc/loadavg: 8.82 8.59 7.31 9/237 8522
/proc/meminfo: memFree=6520632/32770624 swapFree=66972240/67108860
[pid=8464] ppid=8461 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8464/stat : 8464 (xcsp3-exec) S 8461 8464 5327 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475086112 115843072 363 33554432000 4194304 5098028 140732359580400 140732359578504 140119544390268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7901184 140732359586646 140732359586905 140732359586905 140732359589830 0
/proc/8464/statm: 28282 363 305 221 0 87 0
[pid=8466] ppid=8464 vsize=15420488 memory=174396 CPUtime=666.57 cores=1,3,5,7
/proc/8466/stat : 8466 (java) S 8464 8464 5327 0 -1 1077944320 98709 0 0 0 66637 20 0 0 20 0 19 0 475086112 15790579712 43599 33554432000 4194304 4196468 140721420733248 140721420715792 140570599358199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
/proc/8466/statm: 3855122 43599 3525 1 0 3816222 0
[pid=8466/tid=8467] ppid=8464 vsize=15420488 memory=1764 CPUtime=0.64 cores=1,3,5,7
/proc/8466/task/8467/stat : 8467 (java) S 8464 8464 5327 0 -1 1077944384 9669 0 0 0 59 5 0 0 20 0 19 0 475086112 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570603598976 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8468] ppid=8464 vsize=15420488 memory=8112282956445269571 CPUtime=0.05 cores=1,3,5,7
/proc/8466/task/8468/stat : 8468 (java) S 8464 8464 5327 0 -1 1077944384 4172 0 0 0 4 1 0 0 20 0 19 0 475086113 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570527398800 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8469] ppid=8464 vsize=15420488 memory=2832 CPUtime=0.05 cores=1,3,5,7
/proc/8466/task/8469/stat : 8469 (java) S 8464 8464 5327 0 -1 1077944384 2208 0 0 0 4 1 0 0 20 0 19 0 475086113 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570526346000 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8470] ppid=8464 vsize=15420488 memory=1716 CPUtime=0.04 cores=1,3,5,7
/proc/8466/task/8470/stat : 8470 (java) S 8464 8464 5327 0 -1 1077944384 1362 0 0 0 3 1 0 0 20 0 19 0 475086113 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570525293712 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8471] ppid=8464 vsize=15420488 memory=1200 CPUtime=0.04 cores=1,3,5,7
/proc/8466/task/8471/stat : 8471 (java) S 8464 8464 5327 0 -1 1077944384 3393 0 0 0 3 1 0 0 20 0 19 0 475086113 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570524240912 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8472] ppid=8464 vsize=15420488 memory=5996 CPUtime=0.04 cores=1,3,5,7
/proc/8466/task/8472/stat : 8472 (java) S 8464 8464 5327 0 -1 1077944384 3069 0 0 0 3 1 0 0 20 0 19 0 475086114 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570067880048 140570599369346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8473] ppid=8464 vsize=15420488 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8473/stat : 8473 (java) S 8464 8464 5327 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 475086115 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570066826080 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8474] ppid=8464 vsize=15420488 memory=19328 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8474/stat : 8474 (java) S 8464 8464 5327 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 19 0 475086115 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570065773696 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8475] ppid=8464 vsize=15420488 memory=12024 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8475/stat : 8475 (java) S 8464 8464 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475086117 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570064722000 140570599376795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8476] ppid=8464 vsize=15420488 memory=2120 CPUtime=3.48 cores=1,3,5,7
/proc/8466/task/8476/stat : 8476 (java) S 8464 8464 5327 0 -1 1077944384 26675 0 0 0 346 2 0 0 20 0 19 0 475086117 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570063669872 140570599369346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8477] ppid=8464 vsize=15420488 memory=3412 CPUtime=3.15 cores=1,3,5,7
/proc/8466/task/8477/stat : 8477 (java) S 8464 8464 5327 0 -1 1077944384 24235 0 0 0 314 1 0 0 20 0 19 0 475086117 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570062617072 140570599369346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8478] ppid=8464 vsize=15420488 memory=1452 CPUtime=0.79 cores=1,3,5,7
/proc/8466/task/8478/stat : 8478 (java) S 8464 8464 5327 0 -1 1077944384 8429 0 0 0 77 2 0 0 20 0 19 0 475086118 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570061564784 140570599369346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8479] ppid=8464 vsize=15420488 memory=4161620 CPUtime=0 cores=1,3,5,7
/proc/8466/task/8479/stat : 8479 (java) S 8464 8464 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475086118 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570060512224 140570599368405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8480] ppid=8464 vsize=15420488 memory=1408 CPUtime=0.02 cores=1,3,5,7
/proc/8466/task/8480/stat : 8480 (java) S 8464 8464 5327 0 -1 1077944384 811 0 0 0 0 2 0 0 20 0 19 0 475086118 15790579712 43599 33554432000 4194304 4196468 140721420733248 140570059458992 140570599369346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8508] ppid=8464 vsize=15420488 memory=3268 CPUtime=127.77 cores=1,3,5,7
/proc/8466/task/8508/stat : 8508 (java) R 8464 8464 5327 0 -1 4202560 667 0 0 0 12777 0 0 0 20 0 19 0 475090053 15790579712 43599 33554432000 4194304 4196468 140721420733248 140569980414952 140570209229361 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8509] ppid=8464 vsize=15420488 memory=1452 CPUtime=127.59 cores=1,3,5,7
/proc/8466/task/8509/stat : 8509 (java) R 8464 8464 5327 0 -1 4202560 1871 0 0 0 12759 0 0 0 20 0 19 0 475090053 15790579712 43599 33554432000 4194304 4196468 140721420733248 140569976213392 140570208364607 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8510] ppid=8464 vsize=15420488 memory=174396 CPUtime=127.53 cores=1,3,5,7
/proc/8466/task/8510/stat : 8510 (java) R 8464 8464 5327 0 -1 4202560 1962 0 0 0 12753 0 0 0 20 0 19 0 475090053 15790579712 43599 33554432000 4194304 4196468 140721420733248 140569979362776 140570208798799 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
[pid=8466/tid=8511] ppid=8464 vsize=15420488 memory=1732 CPUtime=127.77 cores=1,3,5,7
/proc/8466/task/8511/stat : 8511 (java) R 8464 8464 5327 0 -1 4202560 1173 0 0 0 12777 0 0 0 20 0 19 0 475090053 15790579712 43599 33554432000 4194304 4196468 140721420733248 140569981471376 140570207184104 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140721420739547 140721420739722 140721420739722 140721420742607 0
Current children cumulated CPU time: 666.57 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 175848 KiB
[startup+167.901 s]
/proc/loadavg: 8.82 8.59 7.31 9/237 8522
/proc/meminfo: memFree=6520632/32770624 swapFree=66972240/67108860
[pid=8464] ppid=8461 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8464/stat : 8464 (xcsp3-exec) S 8461 8464 5327 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475086112 115843072 363 33554432000 4194304 5098028 140732359580400 140732359578504 140119544390268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7901184 140732359586646 140732359586905 140732359586905 140732359589830 0
/proc/8464/statm: 28282 363 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 0
Real time (s): 167.904
CPU time (s): 666.972
CPU user time (s): 666.759
CPU system time (s): 0.21379
CPU usage (%): 397.234
Max. virtual memory (cumulated for all children) (KiB): 15534240
Max. memory (cumulated for all children) (KiB): 232684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 666.759
system time used= 0.21379
maximum resident set size= 234392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99909
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7979
involuntary context switches= 14333
# summary of solver processes directly reported to runsolver:
# pid: 8464
# total CPU time (s): 666.972
# total CPU user time (s): 666.759
# total CPU system time (s): 0.21379
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.989684 second user time and 1.9102 second system time
The end