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 (6012 MiB free)
memory of node 1: 16384 MiB (9578 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394290-1568334199/watcher-4394290-1568334199 -o /tmp/evaluation-result-4394290-1568334199/solver-4394290-1568334199 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568329129-18218 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 854928405 HOME/instance-4394290-1568334199.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=1520, runsolver pid=1517
Current StackSize limit: 8192 KiB
[startup+0.100557 s]*
/proc/loadavg: 8.70 8.37 8.05 8/235 1536
/proc/meminfo: memFree=15948324/32770624 swapFree=66959216/67108860
[pid=1520] ppid=1517 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1520/stat : 1520 (xcsp3-exec) S 1517 1520 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409360135 115843072 362 33554432000 4194304 5098028 140726346548176 140726346546280 140458009137788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21417984 140726346556283 140726346556525 140726346556525 140726346559434 0
/proc/1520/statm: 28282 362 304 221 0 87 0
[pid=1522] ppid=1520 vsize=15144768 memory=28728 CPUtime=0.13 cores=1,3,5,7
/proc/1522/stat : 1522 (java) S 1520 1520 18186 0 -1 1077944320 5656 0 0 0 12 1 0 0 20 0 15 0 409360135 15508242432 7182 33554432000 4194304 4196468 140720829338288 140720829320832 140006089326327 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
/proc/1522/statm: 3786192 7182 3118 1 0 3748377 0
[pid=1522/tid=1523] ppid=1520 vsize=15144768 memory=-6664436420846797971 CPUtime=0.08 cores=1,3,5,7
/proc/1522/task/1523/stat : 1523 (java) R 1520 1520 18186 0 -1 4202560 3573 0 0 0 8 0 0 0 20 0 15 0 409360136 15508242432 7248 33554432000 4194304 4196468 140720829338288 140006093548384 140006089338262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1524] ppid=1520 vsize=15144768 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1524/stat : 1524 (java) S 1520 1520 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409360136 15508242432 7248 33554432000 4194304 4196468 140720829338288 140006017366928 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1525] ppid=1520 vsize=15144768 memory=139621273093760 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1525/stat : 1525 (java) S 1520 1520 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409360136 15508242432 7248 33554432000 4194304 4196468 140720829338288 140006016314128 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1526] ppid=1520 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1526/stat : 1526 (java) S 1520 1520 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409360136 15508242432 7248 33554432000 4194304 4196468 140720829338288 140006015261840 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1527] ppid=1520 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1527/stat : 1527 (java) S 1520 1520 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409360136 15508242432 7248 33554432000 4194304 4196468 140720829338288 140006014209040 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1528] ppid=1520 vsize=15144768 memory=139621273093760 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1528/stat : 1528 (java) S 1520 1520 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409360138 15508242432 7248 33554432000 4194304 4196468 140720829338288 140004963154032 140006089337474 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1529] ppid=1520 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1529/stat : 1529 (java) S 1520 1520 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409360138 15508242432 7248 33554432000 4194304 4196468 140720829338288 140004962100000 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1530] ppid=1520 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1530/stat : 1530 (java) S 1520 1520 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409360138 15508242432 7248 33554432000 4194304 4196468 140720829338288 140004961047664 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1531] ppid=1520 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1531/stat : 1531 (java) S 1520 1520 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409360141 15508242432 7248 33554432000 4194304 4196468 140720829338288 140004959995984 140006089344923 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1532] ppid=1520 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1532/stat : 1532 (java) S 1520 1520 18186 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 409360141 15508242432 7248 33554432000 4194304 4196468 140720829338288 140004958943856 140006089337474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1533] ppid=1520 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1533/stat : 1533 (java) R 1520 1520 18186 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 409360141 15508242432 7248 33554432000 4194304 4196468 140720829338288 140004957891152 140006089336533 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1534] ppid=1520 vsize=15144768 memory=139621273093760 CPUtime=0.02 cores=1,3,5,7
/proc/1522/task/1534/stat : 1534 (java) R 1520 1520 18186 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 15 0 409360141 15508242432 7248 33554432000 4194304 4196468 140720829338288 140004956838768 140006089338262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1535] ppid=1520 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1535/stat : 1535 (java) S 1520 1520 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409360141 15508242432 7248 33554432000 4194304 4196468 140720829338288 140004955786208 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1536] ppid=1520 vsize=15144768 memory=139621273093760 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1536/stat : 1536 (java) S 1520 1520 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409360141 15508242432 7248 33554432000 4194304 4196468 140720829338288 140004954732976 140006089337474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30176 KiB
[startup+0.21104 s]*
/proc/loadavg: 8.70 8.37 8.05 7/235 1536
/proc/meminfo: memFree=15934824/32770624 swapFree=66959216/67108860
[pid=1520] ppid=1517 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1520/stat : 1520 (xcsp3-exec) S 1517 1520 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409360135 115843072 362 33554432000 4194304 5098028 140726346548176 140726346546280 140458009137788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21417984 140726346556283 140726346556525 140726346556525 140726346559434 0
/proc/1520/statm: 28282 362 304 221 0 87 0
[pid=1522] ppid=1520 vsize=15144768 memory=40612 CPUtime=0.34 cores=1,3,5,7
/proc/1522/stat : 1522 (java) S 1520 1520 18186 0 -1 1077944320 9447 0 0 0 32 2 0 0 20 0 15 0 409360135 15508242432 10153 33554432000 4194304 4196468 140720829338288 140720829320832 140006089326327 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
/proc/1522/statm: 3786192 10153 3248 1 0 3748377 0
[pid=1522/tid=1523] ppid=1520 vsize=15144768 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/1522/task/1523/stat : 1523 (java) R 1520 1520 18186 0 -1 4202560 6614 0 0 0 18 2 0 0 20 0 15 0 409360136 15508242432 10153 33554432000 4194304 4196468 140720829338288 140006093561312 140006073406814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1524] ppid=1520 vsize=15144768 memory=4296933241 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1524/stat : 1524 (java) S 1520 1520 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409360136 15508242432 10153 33554432000 4194304 4196468 140720829338288 140006017366928 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1525] ppid=1520 vsize=15144768 memory=4121558035672254112 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1525/stat : 1525 (java) S 1520 1520 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409360136 15508242432 10153 33554432000 4194304 4196468 140720829338288 140006016314128 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1526] ppid=1520 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1526/stat : 1526 (java) S 1520 1520 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409360136 15508242432 10153 33554432000 4194304 4196468 140720829338288 140006015261840 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1527] ppid=1520 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1527/stat : 1527 (java) S 1520 1520 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409360136 15508242432 10153 33554432000 4194304 4196468 140720829338288 140006014209040 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1528] ppid=1520 vsize=15144768 memory=139621273093760 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1528/stat : 1528 (java) S 1520 1520 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409360138 15508242432 10153 33554432000 4194304 4196468 140720829338288 140004963154032 140006089337474 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1529] ppid=1520 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1529/stat : 1529 (java) S 1520 1520 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409360138 15508242432 10153 33554432000 4194304 4196468 140720829338288 140004962100000 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1530] ppid=1520 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1530/stat : 1530 (java) S 1520 1520 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409360138 15508242432 10153 33554432000 4194304 4196468 140720829338288 140004961047664 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1531] ppid=1520 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1531/stat : 1531 (java) S 1520 1520 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409360141 15508242432 10153 33554432000 4194304 4196468 140720829338288 140004959995984 140006089344923 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1532] ppid=1520 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/1522/task/1532/stat : 1532 (java) S 1520 1520 18186 0 -1 1077944384 561 0 0 0 3 0 0 0 20 0 15 0 409360141 15508242432 10153 33554432000 4194304 4196468 140720829338288 140004958943856 140006089337474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1533] ppid=1520 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/1522/task/1533/stat : 1533 (java) S 1520 1520 18186 0 -1 1077944384 191 0 0 0 2 0 0 0 20 0 15 0 409360141 15508242432 10153 33554432000 4194304 4196468 140720829338288 140004957891056 140006089337474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1534] ppid=1520 vsize=15144768 memory=139621273093760 CPUtime=0.08 cores=1,3,5,7
/proc/1522/task/1534/stat : 1534 (java) S 1520 1520 18186 0 -1 1077944384 792 0 0 0 8 0 0 0 20 0 15 0 409360141 15508242432 10153 33554432000 4194304 4196468 140720829338288 140004956838768 140006089337474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1535] ppid=1520 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1535/stat : 1535 (java) S 1520 1520 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409360141 15508242432 10153 33554432000 4194304 4196468 140720829338288 140004955786208 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1536] ppid=1520 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1536/stat : 1536 (java) S 1520 1520 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409360141 15508242432 10153 33554432000 4194304 4196468 140720829338288 140004954732976 140006089337474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42060 KiB
[startup+0.318614 s]*
/proc/loadavg: 8.70 8.37 8.05 6/235 1536
/proc/meminfo: memFree=15927664/32770624 swapFree=66959216/67108860
[pid=1520] ppid=1517 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1520/stat : 1520 (xcsp3-exec) S 1517 1520 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409360135 115843072 362 33554432000 4194304 5098028 140726346548176 140726346546280 140458009137788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21417984 140726346556283 140726346556525 140726346556525 140726346559434 0
/proc/1520/statm: 28282 362 304 221 0 87 0
[pid=1522] ppid=1520 vsize=15149024 memory=50448 CPUtime=0.54 cores=1,3,5,7
/proc/1522/stat : 1522 (java) S 1520 1520 18186 0 -1 1077944320 10982 0 0 0 50 4 0 0 20 0 15 0 409360135 15512600576 12612 33554432000 4194304 4196468 140720829338288 140720829320832 140006089326327 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
/proc/1522/statm: 3787256 12612 3339 1 0 3748377 0
[pid=1522/tid=1523] ppid=1520 vsize=15149024 memory=1398720917958146503 CPUtime=0.31 cores=1,3,5,7
/proc/1522/task/1523/stat : 1523 (java) R 1520 1520 18186 0 -1 4202560 7915 0 0 0 28 3 0 0 20 0 15 0 409360136 15512600576 12612 33554432000 4194304 4196468 140720829338288 140006093560528 140006073406844 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1524] ppid=1520 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1524/stat : 1524 (java) S 1520 1520 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409360136 15512600576 12612 33554432000 4194304 4196468 140720829338288 140006017366928 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1525] ppid=1520 vsize=15149024 memory=14048 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1525/stat : 1525 (java) S 1520 1520 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409360136 15512600576 12612 33554432000 4194304 4196468 140720829338288 140006016314128 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1526] ppid=1520 vsize=15149024 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1526/stat : 1526 (java) S 1520 1520 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409360136 15512600576 12612 33554432000 4194304 4196468 140720829338288 140006015261840 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1527] ppid=1520 vsize=15149024 memory=500 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1527/stat : 1527 (java) S 1520 1520 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409360136 15512600576 12612 33554432000 4194304 4196468 140720829338288 140006014209040 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1528] ppid=1520 vsize=15149024 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1528/stat : 1528 (java) S 1520 1520 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409360138 15512600576 12612 33554432000 4194304 4196468 140720829338288 140004963154032 140006089337474 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1529] ppid=1520 vsize=15149024 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1529/stat : 1529 (java) S 1520 1520 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409360138 15512600576 12612 33554432000 4194304 4196468 140720829338288 140004962100000 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1530] ppid=1520 vsize=15149024 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1530/stat : 1530 (java) S 1520 1520 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409360138 15512600576 12612 33554432000 4194304 4196468 140720829338288 140004961047664 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1531] ppid=1520 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1531/stat : 1531 (java) S 1520 1520 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409360141 15512600576 12612 33554432000 4194304 4196468 140720829338288 140004959995984 140006089344923 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1532] ppid=1520 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/1522/task/1532/stat : 1532 (java) R 1520 1520 18186 0 -1 4202560 581 0 0 0 4 0 0 0 20 0 15 0 409360141 15512600576 12612 33554432000 4194304 4196468 140720829338288 140004958943856 140006089338262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1533] ppid=1520 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/1522/task/1533/stat : 1533 (java) S 1520 1520 18186 0 -1 1077944384 321 0 0 0 5 0 0 0 20 0 15 0 409360141 15512600576 12612 33554432000 4194304 4196468 140720829338288 140004957891056 140006089337474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1534] ppid=1520 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/1522/task/1534/stat : 1534 (java) R 1520 1520 18186 0 -1 4202560 891 0 0 0 12 0 0 0 20 0 15 0 409360141 15512600576 12612 33554432000 4194304 4196468 140720829338288 140004956838768 140006089347674 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1535] ppid=1520 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1535/stat : 1535 (java) S 1520 1520 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409360141 15512600576 12612 33554432000 4194304 4196468 140720829338288 140004955786208 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1536] ppid=1520 vsize=15149024 memory=-1598831813028945288 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1536/stat : 1536 (java) S 1520 1520 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409360141 15512600576 12612 33554432000 4194304 4196468 140720829338288 140004954732976 140006089337474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51896 KiB
[startup+0.70082 s]
/proc/loadavg: 8.70 8.37 8.05 8/235 1536
/proc/meminfo: memFree=15895504/32770624 swapFree=66959216/67108860
[pid=1520] ppid=1517 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1520/stat : 1520 (xcsp3-exec) S 1517 1520 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409360135 115843072 362 33554432000 4194304 5098028 140726346548176 140726346546280 140458009137788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21417984 140726346556283 140726346556525 140726346556525 140726346559434 0
/proc/1520/statm: 28282 362 304 221 0 87 0
[pid=1522] ppid=1520 vsize=15151148 memory=131472 CPUtime=1.69 cores=1,3,5,7
/proc/1522/stat : 1522 (java) S 1520 1520 18186 0 -1 1077944320 13769 0 0 0 163 6 0 0 20 0 15 0 409360135 15514775552 32868 33554432000 4194304 4196468 140720829338288 140720829320832 140006089326327 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
/proc/1522/statm: 3787787 32868 3446 1 0 3748889 0
[pid=1522/tid=1523] ppid=1520 vsize=15151148 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/1522/task/1523/stat : 1523 (java) R 1520 1520 18186 0 -1 4202560 8425 0 0 0 63 4 0 0 20 0 15 0 409360136 15514775552 32868 33554432000 4194304 4196468 140720829338288 140006093562592 140005686826429 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1524] ppid=1520 vsize=15151148 memory=4 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1524/stat : 1524 (java) S 1520 1520 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409360136 15514775552 32868 33554432000 4194304 4196468 140720829338288 140006017366928 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1525] ppid=1520 vsize=15151148 memory=125 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1525/stat : 1525 (java) S 1520 1520 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409360136 15514775552 32868 33554432000 4194304 4196468 140720829338288 140006016314128 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1526] ppid=1520 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1526/stat : 1526 (java) S 1520 1520 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409360136 15514775552 32868 33554432000 4194304 4196468 140720829338288 140006015261840 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1527] ppid=1520 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1527/stat : 1527 (java) S 1520 1520 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409360136 15514775552 32868 33554432000 4194304 4196468 140720829338288 140006014209040 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1528] ppid=1520 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1528/stat : 1528 (java) S 1520 1520 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409360138 15514775552 32868 33554432000 4194304 4196468 140720829338288 140004963154032 140006089337474 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1529] ppid=1520 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1529/stat : 1529 (java) S 1520 1520 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409360138 15514775552 32868 33554432000 4194304 4196468 140720829338288 140004962100000 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1530] ppid=1520 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1530/stat : 1530 (java) S 1520 1520 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409360138 15514775552 32868 33554432000 4194304 4196468 140720829338288 140004961047664 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1531] ppid=1520 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1531/stat : 1531 (java) S 1520 1520 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409360141 15514775552 32868 33554432000 4194304 4196468 140720829338288 140004959995984 140006089344923 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1532] ppid=1520 vsize=15151148 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/1522/task/1532/stat : 1532 (java) R 1520 1520 18186 0 -1 4202560 1350 0 0 0 33 0 0 0 20 0 15 0 409360141 15514775552 32868 33554432000 4194304 4196468 140720829338288 140004958934832 140006073229417 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1533] ppid=1520 vsize=15151148 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/1522/task/1533/stat : 1533 (java) R 1520 1520 18186 0 -1 4202560 1211 0 0 0 35 0 0 0 20 0 15 0 409360141 15514775552 32868 33554432000 4194304 4196468 140720829338288 140004957876520 140006073296480 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1534] ppid=1520 vsize=15151148 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/1522/task/1534/stat : 1534 (java) S 1520 1520 18186 0 -1 1077944384 1477 0 0 0 30 0 0 0 20 0 15 0 409360141 15514775552 32868 33554432000 4194304 4196468 140720829338288 140004956838768 140006089337474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1535] ppid=1520 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1535/stat : 1535 (java) S 1520 1520 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409360141 15514775552 32868 33554432000 4194304 4196468 140720829338288 140004955786208 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1536] ppid=1520 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1536/stat : 1536 (java) S 1520 1520 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409360141 15514775552 32868 33554432000 4194304 4196468 140720829338288 140004954732976 140006089337474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 132920 KiB
[startup+1.50085 s]
/proc/loadavg: 8.70 8.37 8.05 9/235 1536
/proc/meminfo: memFree=15617480/32770624 swapFree=66959216/67108860
[pid=1520] ppid=1517 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1520/stat : 1520 (xcsp3-exec) S 1517 1520 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409360135 115843072 362 33554432000 4194304 5098028 140726346548176 140726346546280 140458009137788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21417984 140726346556283 140726346556525 140726346556525 140726346559434 0
/proc/1520/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/1522/stat : 1522 (java) S 1520 1520 18186 0 -1 1077944320 102920 0 0 0 207027 311 0 0 20 0 19 0 409360135 15787421696 738010 33554432000 4194304 4196468 140720829338288 140720829320832 140006089326327 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
/proc/1522/statm: 3854351 738010 3537 1 0 3815453 0
[pid=1522/tid=1523] ppid=1520 vsize=15417404 memory=2952040 CPUtime=2.33 cores=1,3,5,7
/proc/1522/task/1523/stat : 1523 (java) S 1520 1520 18186 0 -1 1077944384 9728 0 0 0 224 9 0 0 20 0 19 0 409360136 15787421696 738010 33554432000 4194304 4196468 140720829338288 140006093567104 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1524] ppid=1520 vsize=15417404 memory=2952040 CPUtime=2.41 cores=1,3,5,7
/proc/1522/task/1524/stat : 1524 (java) S 1520 1520 18186 0 -1 1077944384 4533 0 0 0 170 71 0 0 20 0 19 0 409360136 15787421696 738010 33554432000 4194304 4196468 140720829338288 140006017366928 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1525] ppid=1520 vsize=15417404 memory=1448 CPUtime=2.42 cores=1,3,5,7
/proc/1522/task/1525/stat : 1525 (java) S 1520 1520 18186 0 -1 1077944384 7940 0 0 0 172 70 0 0 20 0 19 0 409360136 15787421696 738010 33554432000 4194304 4196468 140720829338288 140006016314128 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1526] ppid=1520 vsize=15417404 memory=2952040 CPUtime=2.4 cores=1,3,5,7
/proc/1522/task/1526/stat : 1526 (java) S 1520 1520 18186 0 -1 1077944384 2947 0 0 0 169 71 0 0 20 0 19 0 409360136 15787421696 738010 33554432000 4194304 4196468 140720829338288 140006015261840 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1527] ppid=1520 vsize=15417404 memory=2952040 CPUtime=2.38 cores=1,3,5,7
/proc/1522/task/1527/stat : 1527 (java) S 1520 1520 18186 0 -1 1077944384 3780 0 0 0 169 69 0 0 20 0 19 0 409360136 15787421696 738010 33554432000 4194304 4196468 140720829338288 140006014209040 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1528] ppid=1520 vsize=15417404 memory=1448 CPUtime=0.27 cores=1,3,5,7
/proc/1522/task/1528/stat : 1528 (java) S 1520 1520 18186 0 -1 1077944384 3731 0 0 0 26 1 0 0 20 0 19 0 409360138 15787421696 738010 33554432000 4194304 4196468 140720829338288 140004963154032 140006089337474 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1529] ppid=1520 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1529/stat : 1529 (java) S 1520 1520 18186 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 409360138 15787421696 738010 33554432000 4194304 4196468 140720829338288 140004962100064 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1530] ppid=1520 vsize=15417404 memory=2952040 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1530/stat : 1530 (java) S 1520 1520 18186 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 409360138 15787421696 738010 33554432000 4194304 4196468 140720829338288 140004961047680 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1531] ppid=1520 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1531/stat : 1531 (java) S 1520 1520 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409360141 15787421696 738010 33554432000 4194304 4196468 140720829338288 140004959995984 140006089344923 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1532] ppid=1520 vsize=15417404 memory=1448 CPUtime=2.78 cores=1,3,5,7
/proc/1522/task/1532/stat : 1532 (java) S 1520 1520 18186 0 -1 1077944384 16802 0 0 0 276 2 0 0 20 0 19 0 409360141 15787421696 738010 33554432000 4194304 4196468 140720829338288 140004958943856 140006089337474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1533] ppid=1520 vsize=15417404 memory=2952040 CPUtime=3.12 cores=1,3,5,7
/proc/1522/task/1533/stat : 1533 (java) S 1520 1520 18186 0 -1 1077944384 18936 0 0 0 310 2 0 0 20 0 19 0 409360141 15787421696 738010 33554432000 4194304 4196468 140720829338288 140004957891056 140006089337474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1534] ppid=1520 vsize=15417404 memory=1448 CPUtime=0.81 cores=1,3,5,7
/proc/1522/task/1534/stat : 1534 (java) S 1520 1520 18186 0 -1 1077944384 8298 0 0 0 80 1 0 0 20 0 19 0 409360141 15787421696 738010 33554432000 4194304 4196468 140720829338288 140004956838768 140006089337474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1535] ppid=1520 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1535/stat : 1535 (java) S 1520 1520 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409360141 15787421696 738010 33554432000 4194304 4196468 140720829338288 140004955786208 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1536] ppid=1520 vsize=15417404 memory=2952040 CPUtime=0.2 cores=1,3,5,7
/proc/1522/task/1536/stat : 1536 (java) S 1520 1520 18186 0 -1 1077944384 575 0 0 0 0 20 0 0 20 0 19 0 409360141 15787421696 738010 33554432000 4194304 4196468 140720829338288 140004954732976 140006089337474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1537] ppid=1520 vsize=15417404 memory=0 CPUtime=513.8 cores=1,3,5,7
/proc/1522/task/1537/stat : 1537 (java) R 1520 1520 18186 0 -1 4202560 2992 0 0 0 51379 1 0 0 20 0 19 0 409360540 15787421696 738010 33554432000 4194304 4196468 140720829338288 140004945521056 140005690921602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1539] ppid=1520 vsize=15417404 memory=279242264805616 CPUtime=514.46 cores=1,3,5,7
/proc/1522/task/1539/stat : 1539 (java) R 1520 1520 18186 0 -1 4202560 10241 0 0 0 51444 2 0 0 20 0 19 0 409360540 15787421696 738010 33554432000 4194304 4196468 140720829338288 140004944470008 140005691956466 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1540] ppid=1520 vsize=15417404 memory=3620 CPUtime=510.88 cores=1,3,5,7
/proc/1522/task/1540/stat : 1540 (java) R 1520 1520 18186 0 -1 4202560 3766 0 0 0 51083 5 0 0 20 0 19 0 409360540 15787421696 738010 33554432000 4194304 4196468 140720829338288 140004943417336 140005690921821 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1541] ppid=1520 vsize=15417404 memory=1660 CPUtime=514.97 cores=1,3,5,7
/proc/1522/task/1541/stat : 1541 (java) R 1520 1520 18186 0 -1 4202560 7333 0 0 0 51496 1 0 0 20 0 19 0 409360541 15787421696 738010 33554432000 4194304 4196468 140720829338288 140004942364776 140005689160106 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
Current children cumulated CPU time: 2073.38 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 2953488 KiB
[startup+582.301 s]
/proc/loadavg: 8.75 8.49 8.25 10/238 1774
/proc/meminfo: memFree=16842736/32770624 swapFree=66959216/67108860
[pid=1520] ppid=1517 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1520/stat : 1520 (xcsp3-exec) S 1517 1520 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409360135 115843072 362 33554432000 4194304 5098028 140726346548176 140726346546280 140458009137788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21417984 140726346556283 140726346556525 140726346556525 140726346559434 0
/proc/1520/statm: 28282 362 304 221 0 87 0
[pid=1522] ppid=1520 vsize=15417404 memory=2952380 CPUtime=2312.29 cores=1,3,5,7
/proc/1522/stat : 1522 (java) S 1520 1520 18186 0 -1 1077944320 108580 0 0 0 230917 312 0 0 20 0 19 0 409360135 15787421696 738095 33554432000 4194304 4196468 140720829338288 140720829320832 140006089326327 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
/proc/1522/statm: 3854351 738095 3537 1 0 3815453 0
[pid=1522/tid=1523] ppid=1520 vsize=15417404 memory=2952380 CPUtime=2.33 cores=1,3,5,7
/proc/1522/task/1523/stat : 1523 (java) S 1520 1520 18186 0 -1 1077944384 9728 0 0 0 224 9 0 0 20 0 19 0 409360136 15787421696 738095 33554432000 4194304 4196468 140720829338288 140006093567104 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1524] ppid=1520 vsize=15417404 memory=2952380 CPUtime=2.55 cores=1,3,5,7
/proc/1522/task/1524/stat : 1524 (java) S 1520 1520 18186 0 -1 1077944384 4728 0 0 0 184 71 0 0 20 0 19 0 409360136 15787421696 738095 33554432000 4194304 4196468 140720829338288 140006017366928 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1525] ppid=1520 vsize=15417404 memory=2952380 CPUtime=2.56 cores=1,3,5,7
/proc/1522/task/1525/stat : 1525 (java) S 1520 1520 18186 0 -1 1077944384 9251 0 0 0 186 70 0 0 20 0 19 0 409360136 15787421696 738095 33554432000 4194304 4196468 140720829338288 140006016314128 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1526] ppid=1520 vsize=15417404 memory=2952380 CPUtime=2.54 cores=1,3,5,7
/proc/1522/task/1526/stat : 1526 (java) S 1520 1520 18186 0 -1 1077944384 3258 0 0 0 183 71 0 0 20 0 19 0 409360136 15787421696 738095 33554432000 4194304 4196468 140720829338288 140006015261840 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1527] ppid=1520 vsize=15417404 memory=1448 CPUtime=2.52 cores=1,3,5,7
/proc/1522/task/1527/stat : 1527 (java) S 1520 1520 18186 0 -1 1077944384 4608 0 0 0 183 69 0 0 20 0 19 0 409360136 15787421696 738095 33554432000 4194304 4196468 140720829338288 140006014209040 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1528] ppid=1520 vsize=15417404 memory=2952380 CPUtime=0.27 cores=1,3,5,7
/proc/1522/task/1528/stat : 1528 (java) S 1520 1520 18186 0 -1 1077944384 4038 0 0 0 26 1 0 0 20 0 19 0 409360138 15787421696 738095 33554432000 4194304 4196468 140720829338288 140004963154032 140006089337474 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1529] ppid=1520 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1529/stat : 1529 (java) S 1520 1520 18186 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 409360138 15787421696 738095 33554432000 4194304 4196468 140720829338288 140004962100064 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1530] ppid=1520 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1530/stat : 1530 (java) S 1520 1520 18186 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 409360138 15787421696 738095 33554432000 4194304 4196468 140720829338288 140004961047680 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1531] ppid=1520 vsize=15417404 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1531/stat : 1531 (java) S 1520 1520 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409360141 15787421696 738095 33554432000 4194304 4196468 140720829338288 140004959995984 140006089344923 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1532] ppid=1520 vsize=15417404 memory=151484 CPUtime=2.78 cores=1,3,5,7
/proc/1522/task/1532/stat : 1532 (java) S 1520 1520 18186 0 -1 1077944384 16805 0 0 0 276 2 0 0 20 0 19 0 409360141 15787421696 738095 33554432000 4194304 4196468 140720829338288 140004958943856 140006089337474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1533] ppid=1520 vsize=15417404 memory=2952380 CPUtime=3.12 cores=1,3,5,7
/proc/1522/task/1533/stat : 1533 (java) S 1520 1520 18186 0 -1 1077944384 18938 0 0 0 310 2 0 0 20 0 19 0 409360141 15787421696 738095 33554432000 4194304 4196468 140720829338288 140004957891056 140006089337474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1534] ppid=1520 vsize=15417404 memory=1760 CPUtime=0.81 cores=1,3,5,7
/proc/1522/task/1534/stat : 1534 (java) R 1520 1520 18186 0 -1 1077944384 8300 0 0 0 80 1 0 0 20 0 19 0 409360141 15787421696 738095 33554432000 4194304 4196468 140720829338288 140004956838768 140006089337474 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1535] ppid=1520 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1535/stat : 1535 (java) S 1520 1520 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409360141 15787421696 738095 33554432000 4194304 4196468 140720829338288 140004955786208 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1536] ppid=1520 vsize=15417404 memory=3620 CPUtime=0.22 cores=1,3,5,7
/proc/1522/task/1536/stat : 1536 (java) S 1520 1520 18186 0 -1 1077944384 601 0 0 0 0 22 0 0 20 0 19 0 409360141 15787421696 738095 33554432000 4194304 4196468 140720829338288 140004954732976 140006089337474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1537] ppid=1520 vsize=15417404 memory=56 CPUtime=573.65 cores=1,3,5,7
/proc/1522/task/1537/stat : 1537 (java) R 1520 1520 18186 0 -1 4202560 3338 0 0 0 57364 1 0 0 20 0 19 0 409360540 15787421696 738095 33554432000 4194304 4196468 140720829338288 140004945524032 140005690923289 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1539] ppid=1520 vsize=15417404 memory=6944656592455360604 CPUtime=573.99 cores=1,3,5,7
/proc/1522/task/1539/stat : 1539 (java) R 1520 1520 18186 0 -1 4202560 11820 0 0 0 57396 3 0 0 20 0 19 0 409360540 15787421696 738095 33554432000 4194304 4196468 140720829338288 140004944470008 140005689530127 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1540] ppid=1520 vsize=15417404 memory=6944656592455360604 CPUtime=569.98 cores=1,3,5,7
/proc/1522/task/1540/stat : 1540 (java) R 1520 1520 18186 0 -1 4202560 4075 0 0 0 56993 5 0 0 20 0 19 0 409360540 15787421696 738095 33554432000 4194304 4196468 140720829338288 140004943416960 140005690922454 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1541] ppid=1520 vsize=15417404 memory=1448 CPUtime=574.82 cores=1,3,5,7
/proc/1522/task/1541/stat : 1541 (java) R 1520 1520 18186 0 -1 4202560 7774 0 0 0 57481 1 0 0 20 0 19 0 409360541 15787421696 738095 33554432000 4194304 4196468 140720829338288 140004942365048 140005690921638 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
Current children cumulated CPU time: 2312.29 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 2953828 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+604.401 s]
/proc/loadavg: 8.69 8.50 8.26 10/238 1776
/proc/meminfo: memFree=16840048/32770624 swapFree=66959216/67108860
[pid=1520] ppid=1517 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1520/stat : 1520 (xcsp3-exec) S 1517 1520 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409360135 115843072 362 33554432000 4194304 5098028 140726346548176 140726346546280 140458009137788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21417984 140726346556283 140726346556525 140726346556525 140726346559434 0
/proc/1520/statm: 28282 362 304 221 0 87 0
[pid=1522] ppid=1520 vsize=15417404 memory=2952380 CPUtime=2400.28 cores=1,3,5,7
/proc/1522/stat : 1522 (java) S 1520 1520 18186 0 -1 1077944320 108792 0 0 0 239716 312 0 0 20 0 19 0 409360135 15787421696 738095 33554432000 4194304 4196468 140720829338288 140720829320832 140006089326327 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
/proc/1522/statm: 3854351 738095 3537 1 0 3815453 0
[pid=1522/tid=1523] ppid=1520 vsize=15417404 memory=111636 CPUtime=2.33 cores=1,3,5,7
/proc/1522/task/1523/stat : 1523 (java) S 1520 1520 18186 0 -1 1077944384 9728 0 0 0 224 9 0 0 20 0 19 0 409360136 15787421696 738095 33554432000 4194304 4196468 140720829338288 140006093567104 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1524] ppid=1520 vsize=15417404 memory=800 CPUtime=2.55 cores=1,3,5,7
/proc/1522/task/1524/stat : 1524 (java) S 1520 1520 18186 0 -1 1077944384 4728 0 0 0 184 71 0 0 20 0 19 0 409360136 15787421696 738095 33554432000 4194304 4196468 140720829338288 140006017366928 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1525] ppid=1520 vsize=15417404 memory=1808 CPUtime=2.56 cores=1,3,5,7
/proc/1522/task/1525/stat : 1525 (java) S 1520 1520 18186 0 -1 1077944384 9251 0 0 0 186 70 0 0 20 0 19 0 409360136 15787421696 738095 33554432000 4194304 4196468 140720829338288 140006016314128 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1526] ppid=1520 vsize=15417404 memory=776 CPUtime=2.54 cores=1,3,5,7
/proc/1522/task/1526/stat : 1526 (java) S 1520 1520 18186 0 -1 1077944384 3258 0 0 0 183 71 0 0 20 0 19 0 409360136 15787421696 738095 33554432000 4194304 4196468 140720829338288 140006015261840 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1527] ppid=1520 vsize=15417404 memory=1564 CPUtime=2.52 cores=1,3,5,7
/proc/1522/task/1527/stat : 1527 (java) S 1520 1520 18186 0 -1 1077944384 4608 0 0 0 183 69 0 0 20 0 19 0 409360136 15787421696 738095 33554432000 4194304 4196468 140720829338288 140006014209040 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1528] ppid=1520 vsize=15417404 memory=5964 CPUtime=0.28 cores=1,3,5,7
/proc/1522/task/1528/stat : 1528 (java) S 1520 1520 18186 0 -1 1077944384 4038 0 0 0 27 1 0 0 20 0 19 0 409360138 15787421696 738095 33554432000 4194304 4196468 140720829338288 140004963154032 140006089337474 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1529] ppid=1520 vsize=15417404 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1529/stat : 1529 (java) S 1520 1520 18186 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 409360138 15787421696 738095 33554432000 4194304 4196468 140720829338288 140004962100064 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1530] ppid=1520 vsize=15417404 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1530/stat : 1530 (java) S 1520 1520 18186 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 409360138 15787421696 738095 33554432000 4194304 4196468 140720829338288 140004961047680 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1531] ppid=1520 vsize=15417404 memory=1216 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1531/stat : 1531 (java) S 1520 1520 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409360141 15787421696 738095 33554432000 4194304 4196468 140720829338288 140004959995984 140006089344923 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1532] ppid=1520 vsize=15417404 memory=2952380 CPUtime=2.78 cores=1,3,5,7
/proc/1522/task/1532/stat : 1532 (java) S 1520 1520 18186 0 -1 1077944384 16805 0 0 0 276 2 0 0 20 0 19 0 409360141 15787421696 738095 33554432000 4194304 4196468 140720829338288 140004958943856 140006089337474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1533] ppid=1520 vsize=15417404 memory=1556 CPUtime=3.12 cores=1,3,5,7
/proc/1522/task/1533/stat : 1533 (java) S 1520 1520 18186 0 -1 1077944384 18938 0 0 0 310 2 0 0 20 0 19 0 409360141 15787421696 738095 33554432000 4194304 4196468 140720829338288 140004957891056 140006089337474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1534] ppid=1520 vsize=15417404 memory=928 CPUtime=0.81 cores=1,3,5,7
/proc/1522/task/1534/stat : 1534 (java) S 1520 1520 18186 0 -1 1077944384 8300 0 0 0 80 1 0 0 20 0 19 0 409360141 15787421696 738095 33554432000 4194304 4196468 140720829338288 140004956838768 140006089337474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1535] ppid=1520 vsize=15417404 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/1522/task/1535/stat : 1535 (java) S 1520 1520 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409360141 15787421696 738095 33554432000 4194304 4196468 140720829338288 140004955786208 140006089336533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1536] ppid=1520 vsize=15417404 memory=3344 CPUtime=0.23 cores=1,3,5,7
/proc/1522/task/1536/stat : 1536 (java) S 1520 1520 18186 0 -1 1077944384 601 0 0 0 0 23 0 0 20 0 19 0 409360141 15787421696 738095 33554432000 4194304 4196468 140720829338288 140004954732976 140006089337474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1537] ppid=1520 vsize=15417404 memory=1448 CPUtime=595.72 cores=1,3,5,7
/proc/1522/task/1537/stat : 1537 (java) R 1520 1520 18186 0 -1 4202560 3351 0 0 0 59571 1 0 0 20 0 19 0 409360540 15787421696 738095 33554432000 4194304 4196468 140720829338288 140004945524032 140005690920611 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1539] ppid=1520 vsize=15417404 memory=2952380 CPUtime=596.09 cores=1,3,5,7
/proc/1522/task/1539/stat : 1539 (java) R 1520 1520 18186 0 -1 4202560 11947 0 0 0 59606 3 0 0 20 0 19 0 409360540 15787421696 738095 33554432000 4194304 4196468 140720829338288 140004944470008 140005689529730 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1540] ppid=1520 vsize=15417404 memory=1760 CPUtime=591.69 cores=1,3,5,7
/proc/1522/task/1540/stat : 1540 (java) R 1520 1520 18186 0 -1 4202560 4098 0 0 0 59164 5 0 0 20 0 19 0 409360540 15787421696 738095 33554432000 4194304 4196468 140720829338288 140004943416960 140005689734480 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
[pid=1522/tid=1541] ppid=1520 vsize=15417404 memory=1412 CPUtime=596.91 cores=1,3,5,7
/proc/1522/task/1541/stat : 1541 (java) R 1520 1520 18186 0 -1 4202560 7823 0 0 0 59690 1 0 0 20 0 19 0 409360541 15787421696 738095 33554432000 4194304 4196468 140720829338288 140004942365048 140005689530338 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140720829346799 140720829346970 140720829346970 140720829349839 0
Current children cumulated CPU time: 2400.28 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 2953828 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+604.435 s]
# the end of solver process 1520 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00226 s, system=0 s
[startup+604.486 s]
# the end of solver process 1522 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.45 s, system=3.14485 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 604.486
CPU time (s): 2400.59
CPU user time (s): 2397.45
CPU system time (s): 3.14485
CPU usage (%): 397.129
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 2953828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.45
system time used= 3.14485
maximum resident set size= 2953500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109861
page faults= 0
swaps= 0
block input operations= 0
block output operations= 664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16432
involuntary context switches= 36032
# summary of solver processes directly reported to runsolver:
# pid: 1520,1522
# total CPU time (s): 2400.59
# total CPU user time (s): 2397.45
# total CPU system time (s): 3.14485
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.94785 second user time and 6.80801 second system time
The end