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 (15347 MiB free)
memory of node 1: 16384 MiB (11115 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262955-1502611728/watcher-4262955-1502611728 -o /tmp/evaluation-result-4262955-1502611728/solver-4262955-1502611728 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502582933-8032 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4262955-1502611728.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16526, runsolver pid=16523
[startup+0.10009 s]*
/proc/loadavg: 4.84 4.58 3.65 3/206 16535
/proc/meminfo: memFree=27085844/32770624 swapFree=67108860/67108860
[pid=16526] ppid=16523 vsize=10152700 memory=20412 CPUtime=0.04 cores=0,2,4,6
/proc/16526/stat : 16526 (java) S 16523 16526 7968 0 -1 1077944320 3986 0 0 0 4 0 0 0 20 0 10 0 15055484 10396364800 5103 18446744073709551615 4194304 4196468 140723591015280 140723590997824 140053045624567 0 0 1 16800970 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
/proc/16526/statm: 2538175 5103 2156 1 0 2527672 0
[pid=16526/tid=16528] ppid=16523 vsize=10219264 memory=-6439968830534014599 CPUtime=0.03 cores=0,2,4,6
/proc/16526/task/16528/stat : 16528 (java) S 16523 16526 7968 0 -1 1077944384 2639 0 0 0 3 0 0 0 20 0 11 0 15055490 10464526336 5106 18446744073709551615 4194304 4196468 140723591015280 140053049866288 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16529] ppid=16523 vsize=10219264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16529/stat : 16529 (java) S 16523 16526 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 11 0 15055491 10464526336 5106 18446744073709551615 4194304 4196468 140723591015280 140052986661264 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16530] ppid=16523 vsize=10219264 memory=140038090753664 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16530/stat : 16530 (java) S 16523 16526 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 11 0 15055491 10464526336 5106 18446744073709551615 4194304 4196468 140723591015280 140052985608464 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16531] ppid=16523 vsize=10284800 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16531/stat : 16531 (java) S 16523 16526 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 11 0 15055491 10531635200 5106 18446744073709551615 4194304 4196468 140723591015280 140052984556176 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16532] ppid=16523 vsize=10285828 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16532/stat : 16532 (java) S 16523 16526 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 12 0 15055491 10532687872 5106 18446744073709551615 4194304 4196468 140723591015280 140052983503376 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16533] ppid=16523 vsize=10351364 memory=140038090753664 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16533/stat : 16533 (java) S 16523 16526 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 12 0 15055492 10599796736 5106 18446744073709551615 4194304 4196468 140723591015280 140052085365360 140053045635714 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16534] ppid=16523 vsize=10351364 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16534/stat : 16534 (java) S 16523 16526 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 12 0 15055493 10599796736 5106 18446744073709551615 4194304 4196468 140723591015280 140052084311328 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16535] ppid=16523 vsize=10351364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16535/stat : 16535 (java) S 16523 16526 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 12 0 15055493 10599796736 5106 18446744073709551615 4194304 4196468 140723591015280 140052083258992 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16536] ppid=16523 vsize=10352392 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16536/stat : 16536 (java) S 16523 16526 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 12 0 15055495 10600849408 5107 18446744073709551615 4194304 4196468 140723591015280 140052082207312 140053045643163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16537] ppid=16523 vsize=10417928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16537/stat : 16537 (java) R 16523 16526 7968 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 13 0 15055495 10667958272 5107 18446744073709551615 4194304 4196468 140723591015280 140052081154888 140053024948992 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16538] ppid=16523 vsize=10417928 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16538/stat : 16538 (java) S 16523 16526 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 15055495 10667958272 5107 18446744073709551615 4194304 4196468 140723591015280 140052080101536 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16539] ppid=16523 vsize=10417928 memory=140038090753664 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16539/stat : 16539 (java) S 16523 16526 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 15055495 10667958272 5107 18446744073709551615 4194304 4196468 140723591015280 140052079049248 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10152700 KiB
Current children cumulated memory: 20412 KiB
[startup+0.212415 s]*
/proc/loadavg: 4.84 4.58 3.65 4/212 16541
/proc/meminfo: memFree=27076976/32770624 swapFree=67108860/67108860
[pid=16526] ppid=16523 vsize=10551156 memory=30048 CPUtime=0.16 cores=0,2,4,6
/proc/16526/stat : 16526 (java) S 16523 16526 7968 0 -1 1077944320 7879 0 0 0 14 2 0 0 20 0 15 0 15055484 10804383744 7512 18446744073709551615 4194304 4196468 140723591015280 140723590997824 140053045624567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
/proc/16526/statm: 2637789 7512 2799 1 0 2627261 0
[pid=16526/tid=16528] ppid=16523 vsize=10551156 memory=8318255677412212789 CPUtime=0.11 cores=0,2,4,6
/proc/16526/task/16528/stat : 16528 (java) R 16523 16526 7968 0 -1 4202560 5646 0 0 0 10 1 0 0 20 0 15 0 15055490 10804383744 7512 18446744073709551615 4194304 4196468 140723591015280 140053049856720 140053045636502 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16529] ppid=16523 vsize=10551156 memory=326 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16529/stat : 16529 (java) S 16523 16526 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15055491 10804383744 7512 18446744073709551615 4194304 4196468 140723591015280 140052986661264 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16530] ppid=16523 vsize=10551156 memory=140038090871189 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16530/stat : 16530 (java) S 16523 16526 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15055491 10804383744 7512 18446744073709551615 4194304 4196468 140723591015280 140052985608464 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16531] ppid=16523 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16531/stat : 16531 (java) S 16523 16526 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15055491 10804383744 7512 18446744073709551615 4194304 4196468 140723591015280 140052984556176 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16532] ppid=16523 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16532/stat : 16532 (java) S 16523 16526 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 15055491 10804383744 7512 18446744073709551615 4194304 4196468 140723591015280 140052983503376 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16533] ppid=16523 vsize=10551156 memory=140038090753664 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16533/stat : 16533 (java) S 16523 16526 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 15055492 10804383744 7512 18446744073709551615 4194304 4196468 140723591015280 140052085365360 140053045635714 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16534] ppid=16523 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16534/stat : 16534 (java) S 16523 16526 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 15055493 10804383744 7512 18446744073709551615 4194304 4196468 140723591015280 140052084311328 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16535] ppid=16523 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16535/stat : 16535 (java) S 16523 16526 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 15055493 10804383744 7512 18446744073709551615 4194304 4196468 140723591015280 140052083258992 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16536] ppid=16523 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16536/stat : 16536 (java) S 16523 16526 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15055495 10804383744 7512 18446744073709551615 4194304 4196468 140723591015280 140052082207312 140053045643163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16537] ppid=16523 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16537/stat : 16537 (java) R 16523 16526 7968 0 -1 4202560 426 0 0 0 0 0 0 0 20 0 15 0 15055495 10804383744 7512 18446744073709551615 4194304 4196468 140723591015280 140052081154160 140053045636502 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16538] ppid=16523 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16538/stat : 16538 (java) S 16523 16526 7968 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 15055495 10804383744 7512 18446744073709551615 4194304 4196468 140723591015280 140052080101360 140053045635714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16539] ppid=16523 vsize=10551156 memory=140038090753664 CPUtime=0.02 cores=0,2,4,6
/proc/16526/task/16539/stat : 16539 (java) S 16523 16526 7968 0 -1 1077944384 379 0 0 0 2 0 0 0 20 0 15 0 15055495 10804383744 7512 18446744073709551615 4194304 4196468 140723591015280 140052079049072 140053045635714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16540] ppid=16523 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16540/stat : 16540 (java) S 16523 16526 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15055495 10804383744 7512 18446744073709551615 4194304 4196468 140723591015280 140052077996512 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16541] ppid=16523 vsize=10551156 memory=140038090753664 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16541/stat : 16541 (java) S 16523 16526 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15055499 10804383744 7512 18446744073709551615 4194304 4196468 140723591015280 140052076944304 140053045635714 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 30048 KiB
[startup+0.310255 s]*
/proc/loadavg: 4.62 4.54 3.64 3/212 16541
/proc/meminfo: memFree=27069932/32770624 swapFree=67108860/67108860
[pid=16526] ppid=16523 vsize=10551156 memory=39388 CPUtime=0.32 cores=0,2,4,6
/proc/16526/stat : 16526 (java) S 16523 16526 7968 0 -1 1077944320 9747 0 0 0 29 3 0 0 20 0 15 0 15055484 10804383744 9847 18446744073709551615 4194304 4196468 140723591015280 140723590997824 140053045624567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
/proc/16526/statm: 2637789 9847 2927 1 0 2627261 0
[pid=16526/tid=16528] ppid=16523 vsize=10551156 memory=-8774313645642428999 CPUtime=0.21 cores=0,2,4,6
/proc/16526/task/16528/stat : 16528 (java) R 16523 16526 7968 0 -1 4202560 6869 0 0 0 19 2 0 0 20 0 15 0 15055490 10804383744 9847 18446744073709551615 4194304 4196468 140723591015280 140053049856816 140053029705054 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16529] ppid=16523 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16529/stat : 16529 (java) S 16523 16526 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15055491 10804383744 9847 18446744073709551615 4194304 4196468 140723591015280 140052986661264 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16530] ppid=16523 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16530/stat : 16530 (java) S 16523 16526 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15055491 10804383744 9847 18446744073709551615 4194304 4196468 140723591015280 140052985608464 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16531] ppid=16523 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16531/stat : 16531 (java) S 16523 16526 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15055491 10804383744 9847 18446744073709551615 4194304 4196468 140723591015280 140052984556176 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16532] ppid=16523 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16532/stat : 16532 (java) S 16523 16526 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 15055491 10804383744 9847 18446744073709551615 4194304 4196468 140723591015280 140052983503376 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16533] ppid=16523 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16533/stat : 16533 (java) S 16523 16526 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 15055492 10804383744 9847 18446744073709551615 4194304 4196468 140723591015280 140052085365360 140053045635714 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16534] ppid=16523 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16534/stat : 16534 (java) S 16523 16526 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 15055493 10804383744 9847 18446744073709551615 4194304 4196468 140723591015280 140052084311328 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16535] ppid=16523 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16535/stat : 16535 (java) S 16523 16526 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 15055493 10804383744 9847 18446744073709551615 4194304 4196468 140723591015280 140052083258992 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16536] ppid=16523 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16536/stat : 16536 (java) S 16523 16526 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15055495 10804383744 9847 18446744073709551615 4194304 4196468 140723591015280 140052082207312 140053045643163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16537] ppid=16523 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/16526/task/16537/stat : 16537 (java) S 16523 16526 7968 0 -1 1077944384 621 0 0 0 1 0 0 0 20 0 15 0 15055495 10804383744 9847 18446744073709551615 4194304 4196468 140723591015280 140052081154160 140053045635714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16538] ppid=16523 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/16526/task/16538/stat : 16538 (java) S 16523 16526 7968 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 15 0 15055495 10804383744 9847 18446744073709551615 4194304 4196468 140723591015280 140052080101360 140053045635714 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16539] ppid=16523 vsize=10551156 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/16526/task/16539/stat : 16539 (java) S 16523 16526 7968 0 -1 1077944384 781 0 0 0 6 0 0 0 20 0 15 0 15055495 10804383744 9847 18446744073709551615 4194304 4196468 140723591015280 140052079049072 140053045635714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16540] ppid=16523 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16540/stat : 16540 (java) S 16523 16526 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15055495 10804383744 9847 18446744073709551615 4194304 4196468 140723591015280 140052077996512 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16541] ppid=16523 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16541/stat : 16541 (java) S 16523 16526 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15055499 10804383744 9847 18446744073709551615 4194304 4196468 140723591015280 140052076944304 140053045635714 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 39388 KiB
[startup+0.700687 s]
/proc/loadavg: 4.62 4.54 3.64 4/212 16541
/proc/meminfo: memFree=27056036/32770624 swapFree=67108860/67108860
[pid=16526] ppid=16523 vsize=10551232 memory=123060 CPUtime=1.39 cores=0,2,4,6
/proc/16526/stat : 16526 (java) S 16523 16526 7968 0 -1 1077944320 12234 0 0 0 133 6 0 0 20 0 15 0 15055484 10804461568 30765 18446744073709551615 4194304 4196468 140723591015280 140723590997824 140053045624567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
/proc/16526/statm: 2637808 30765 3059 1 0 2627261 0
[pid=16526/tid=16528] ppid=16523 vsize=10551232 memory=12136 CPUtime=0.59 cores=0,2,4,6
/proc/16526/task/16528/stat : 16528 (java) R 16523 16526 7968 0 -1 4202560 7458 0 0 0 55 4 0 0 20 0 15 0 15055490 10804461568 30765 18446744073709551615 4194304 4196468 140723591015280 140053049862576 140052662484360 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16529] ppid=16523 vsize=10551232 memory=55004 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16529/stat : 16529 (java) S 16523 16526 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15055491 10804461568 30765 18446744073709551615 4194304 4196468 140723591015280 140052986661264 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16530] ppid=16523 vsize=10551232 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16530/stat : 16530 (java) S 16523 16526 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15055491 10804461568 30765 18446744073709551615 4194304 4196468 140723591015280 140052985608464 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16531] ppid=16523 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16531/stat : 16531 (java) S 16523 16526 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15055491 10804461568 30765 18446744073709551615 4194304 4196468 140723591015280 140052984556176 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16532] ppid=16523 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16532/stat : 16532 (java) S 16523 16526 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 15055491 10804461568 30765 18446744073709551615 4194304 4196468 140723591015280 140052983503376 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16533] ppid=16523 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16533/stat : 16533 (java) S 16523 16526 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 15055492 10804461568 30765 18446744073709551615 4194304 4196468 140723591015280 140052085365360 140053045635714 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16534] ppid=16523 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16534/stat : 16534 (java) S 16523 16526 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 15055493 10804461568 30765 18446744073709551615 4194304 4196468 140723591015280 140052084311328 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16535] ppid=16523 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16535/stat : 16535 (java) S 16523 16526 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 15055493 10804461568 30765 18446744073709551615 4194304 4196468 140723591015280 140052083258992 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16536] ppid=16523 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16536/stat : 16536 (java) S 16523 16526 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15055495 10804461568 30765 18446744073709551615 4194304 4196468 140723591015280 140052082207312 140053045643163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16537] ppid=16523 vsize=10551232 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/16526/task/16537/stat : 16537 (java) R 16523 16526 7968 0 -1 4202560 1525 0 0 0 26 0 0 0 20 0 15 0 15055495 10804461568 30765 18446744073709551615 4194304 4196468 140723591015280 140052081140944 140053031639689 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16538] ppid=16523 vsize=10551232 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/16526/task/16538/stat : 16538 (java) R 16523 16526 7968 0 -1 4202560 687 0 0 0 25 0 0 0 20 0 15 0 15055495 10804461568 30765 18446744073709551615 4194304 4196468 140723591015280 140052080089920 140053027169113 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16539] ppid=16523 vsize=10551232 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/16526/task/16539/stat : 16539 (java) S 16523 16526 7968 0 -1 1077944384 1194 0 0 0 25 0 0 0 20 0 15 0 15055495 10804461568 30765 18446744073709551615 4194304 4196468 140723591015280 140052079049072 140053045635714 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16540] ppid=16523 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16540/stat : 16540 (java) S 16523 16526 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15055495 10804461568 30765 18446744073709551615 4194304 4196468 140723591015280 140052077996512 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16541] ppid=16523 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16541/stat : 16541 (java) S 16523 16526 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15055499 10804461568 30765 18446744073709551615 4194304 4196468 140723591015280 140052076944304 140053045635714 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 123060 KiB
[startup+1.50299 s]
/proc/loadavg: 4.62 4.54 3.64 3/212 16541
/proc/meminfo: memFree=26876916/32770624 swapFree=67108860/67108860
[pid=16526] ppid=16523 vsize=10617796 memory=401548 CPUtime=3.13 cores=0,2,4,6
/proc/16526/stat : 16526 (java) S 16523 16526 7968 0 -1 1077944320 14168 0 0 0 287 26 0 0 20 0 16 0 15055484 10872623104 100387 18446744073709551615 4194304 4196468 140723591015280 140723590997824 140053045624567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
/proc/16526/statm: 2654449 100387 3094 1 0 2643902 0
[pid=16526/tid=16528] ppid=16523 vsize=10617796 memory=0 CPUtime=1.2 cores=0,2,4,6
/proc/16526/task/16528/stat : 16528 (java) R 16523 16526 7968 0 -1 4202560 8005 0 0 0 114 6 0 0 20 0 16 0 15055490 10872623104 100387 18446744073709551615 4194304 4196468 140723591015280 140053049853008 140053045636502 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16529] ppid=16523 vsize=10617796 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/16526/task/16529/stat : 16529 (java) S 16523 16526 7968 0 -1 1077944384 156 0 0 0 14 4 0 0 20 0 16 0 15055491 10872623104 100387 18446744073709551615 4194304 4196468 140723591015280 140052986661264 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16530] ppid=16523 vsize=10617796 memory=280075891117584 CPUtime=0.18 cores=0,2,4,6
/proc/16526/task/16530/stat : 16530 (java) S 16523 16526 7968 0 -1 1077944384 146 0 0 0 14 4 0 0 20 0 16 0 15055491 10872623104 100387 18446744073709551615 4194304 4196468 140723591015280 140052985608464 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16531] ppid=16523 vsize=10617796 memory=280075891117456 CPUtime=0.18 cores=0,2,4,6
/proc/16526/task/16531/stat : 16531 (java) S 16523 16526 7968 0 -1 1077944384 156 0 0 0 14 4 0 0 20 0 16 0 15055491 10872623104 100387 18446744073709551615 4194304 4196468 140723591015280 140052984556176 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16532] ppid=16523 vsize=10617796 memory=280075891117328 CPUtime=0.18 cores=0,2,4,6
/proc/16526/task/16532/stat : 16532 (java) S 16523 16526 7968 0 -1 1077944384 166 0 0 0 14 4 0 0 20 0 16 0 15055491 10872623104 100387 18446744073709551615 4194304 4196468 140723591015280 140052983503376 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16533] ppid=16523 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16533/stat : 16533 (java) S 16523 16526 7968 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 16 0 15055492 10872623104 100387 18446744073709551615 4194304 4196468 140723591015280 140052085365360 140053045635714 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16534] ppid=16523 vsize=10617796 memory=7236547281622689387 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16534/stat : 16534 (java) S 16523 16526 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 15055493 10872623104 100387 18446744073709551615 4194304 4196468 140723591015280 140052084311328 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16535] ppid=16523 vsize=10617796 memory=5788366128452758634 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16535/stat : 16535 (java) S 16523 16526 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 15055493 10872623104 100387 18446744073709551615 4194304 4196468 140723591015280 140052083258992 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
################
# More data... #
################
/proc/16526/task/16530/stat : 16530 (java) S 16523 16526 7968 0 -1 1077944384 4031 0 0 0 172 37 0 0 20 0 16 0 15055491 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052985608464 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16531] ppid=16523 vsize=10617796 memory=1851740 CPUtime=2.08 cores=0,2,4,6
/proc/16526/task/16531/stat : 16531 (java) S 16523 16526 7968 0 -1 1077944384 4516 0 0 0 171 37 0 0 20 0 16 0 15055491 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052984556176 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16532] ppid=16523 vsize=10617796 memory=1851740 CPUtime=2.06 cores=0,2,4,6
/proc/16526/task/16532/stat : 16532 (java) S 16523 16526 7968 0 -1 1077944384 2916 0 0 0 170 36 0 0 20 0 16 0 15055491 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052983503376 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16533] ppid=16523 vsize=10617796 memory=1732 CPUtime=0.47 cores=0,2,4,6
/proc/16526/task/16533/stat : 16533 (java) S 16523 16526 7968 0 -1 1077944384 8268 0 0 0 44 3 0 0 20 0 16 0 15055492 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052085365360 140053045635714 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16534] ppid=16523 vsize=10617796 memory=164 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16534/stat : 16534 (java) S 16523 16526 7968 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 15055493 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052084311392 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16535] ppid=16523 vsize=10617796 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16535/stat : 16535 (java) S 16523 16526 7968 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 15055493 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052083259008 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16536] ppid=16523 vsize=10617796 memory=12268 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16536/stat : 16536 (java) S 16523 16526 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 15055495 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052082207312 140053045643163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16537] ppid=16523 vsize=10617796 memory=12268 CPUtime=1.34 cores=0,2,4,6
/proc/16526/task/16537/stat : 16537 (java) S 16523 16526 7968 0 -1 1077944384 7155 0 0 0 132 2 0 0 20 0 16 0 15055495 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052081154160 140053045635714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16538] ppid=16523 vsize=10617796 memory=2424 CPUtime=1.35 cores=0,2,4,6
/proc/16526/task/16538/stat : 16538 (java) S 16523 16526 7968 0 -1 1077944384 5874 0 0 0 134 1 0 0 20 0 16 0 15055495 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052080101360 140053045635714 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16539] ppid=16523 vsize=10617796 memory=1851740 CPUtime=0.47 cores=0,2,4,6
/proc/16526/task/16539/stat : 16539 (java) S 16523 16526 7968 0 -1 1077944384 4423 0 0 0 46 1 0 0 20 0 16 0 15055495 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052079049072 140053045635714 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16540] ppid=16523 vsize=10617796 memory=1851740 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16540/stat : 16540 (java) S 16523 16526 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 15055495 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052077996512 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16541] ppid=16523 vsize=10617796 memory=4124 CPUtime=1.58 cores=0,2,4,6
/proc/16526/task/16541/stat : 16541 (java) S 16523 16526 7968 0 -1 1077944384 1686 0 0 0 77 81 0 0 20 0 16 0 15055499 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052076944304 140053045635714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16542] ppid=16523 vsize=10617796 memory=12268 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16542/stat : 16542 (java) S 16523 16526 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 15055632 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052075889840 140053045635714 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
Current children cumulated CPU time: 2512.89 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 1851740 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2509.5 s]
/proc/loadavg: 1.95 2.00 2.12 3/213 16904
/proc/meminfo: memFree=27080844/32770624 swapFree=67108860/67108860
[pid=16526] ppid=16523 vsize=10617796 memory=1851740 CPUtime=2520.09 cores=0,2,4,6
/proc/16526/stat : 16526 (java) S 16523 16526 7968 0 -1 1077944320 93484 0 0 0 251777 232 0 0 20 0 16 0 15055484 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140723590997824 140053045624567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
/proc/16526/statm: 2654449 462935 3134 1 0 2643902 0
[pid=16526/tid=16528] ppid=16523 vsize=10617796 memory=1851740 CPUtime=2506.45 cores=0,2,4,6
/proc/16526/task/16528/stat : 16528 (java) R 16523 16526 7968 0 -1 4202560 50642 0 0 0 250630 15 0 0 20 0 16 0 15055490 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140053049863168 140052663780699 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16529] ppid=16523 vsize=10617796 memory=1851740 CPUtime=2.07 cores=0,2,4,6
/proc/16526/task/16529/stat : 16529 (java) S 16523 16526 7968 0 -1 1077944384 2564 0 0 0 169 38 0 0 20 0 16 0 15055491 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052986661264 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16530] ppid=16523 vsize=10617796 memory=1851740 CPUtime=2.09 cores=0,2,4,6
/proc/16526/task/16530/stat : 16530 (java) S 16523 16526 7968 0 -1 1077944384 4031 0 0 0 172 37 0 0 20 0 16 0 15055491 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052985608464 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16531] ppid=16523 vsize=10617796 memory=164 CPUtime=2.08 cores=0,2,4,6
/proc/16526/task/16531/stat : 16531 (java) S 16523 16526 7968 0 -1 1077944384 4516 0 0 0 171 37 0 0 20 0 16 0 15055491 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052984556176 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16532] ppid=16523 vsize=10617796 memory=0 CPUtime=2.06 cores=0,2,4,6
/proc/16526/task/16532/stat : 16532 (java) S 16523 16526 7968 0 -1 1077944384 2916 0 0 0 170 36 0 0 20 0 16 0 15055491 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052983503376 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16533] ppid=16523 vsize=10617796 memory=56 CPUtime=0.47 cores=0,2,4,6
/proc/16526/task/16533/stat : 16533 (java) S 16523 16526 7968 0 -1 1077944384 8268 0 0 0 44 3 0 0 20 0 16 0 15055492 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052085365360 140053045635714 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16534] ppid=16523 vsize=10617796 memory=1851740 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16534/stat : 16534 (java) S 16523 16526 7968 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 15055493 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052084311392 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16535] ppid=16523 vsize=10617796 memory=1851740 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16535/stat : 16535 (java) S 16523 16526 7968 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 15055493 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052083259008 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16536] ppid=16523 vsize=10617796 memory=3140 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16536/stat : 16536 (java) S 16523 16526 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 15055495 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052082207312 140053045643163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16537] ppid=16523 vsize=10617796 memory=1156 CPUtime=1.34 cores=0,2,4,6
/proc/16526/task/16537/stat : 16537 (java) S 16523 16526 7968 0 -1 1077944384 7155 0 0 0 132 2 0 0 20 0 16 0 15055495 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052081154160 140053045635714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16538] ppid=16523 vsize=10617796 memory=3024 CPUtime=1.35 cores=0,2,4,6
/proc/16526/task/16538/stat : 16538 (java) S 16523 16526 7968 0 -1 1077944384 5874 0 0 0 134 1 0 0 20 0 16 0 15055495 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052080101360 140053045635714 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16539] ppid=16523 vsize=10617796 memory=-8774313645642428999 CPUtime=0.47 cores=0,2,4,6
/proc/16526/task/16539/stat : 16539 (java) S 16523 16526 7968 0 -1 1077944384 4423 0 0 0 46 1 0 0 20 0 16 0 15055495 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052079049072 140053045635714 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16540] ppid=16523 vsize=10617796 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16540/stat : 16540 (java) S 16523 16526 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 15055495 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052077996512 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16541] ppid=16523 vsize=10617796 memory=4124 CPUtime=1.59 cores=0,2,4,6
/proc/16526/task/16541/stat : 16541 (java) S 16523 16526 7968 0 -1 1077944384 1688 0 0 0 78 81 0 0 20 0 16 0 15055499 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052076944304 140053045635714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16542] ppid=16523 vsize=10617796 memory=12268 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16542/stat : 16542 (java) S 16523 16526 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 15055632 10872623104 462935 18446744073709551615 4194304 4196468 140723591015280 140052075889840 140053045635714 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 1851740 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2509.73 s]
# the end of solver process 16526 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.01 s, system=2.33918 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2509.61 s]
/proc/loadavg: 1.95 2.00 2.12 3/213 16904
/proc/meminfo: memFree=27080844/32770624 swapFree=67108860/67108860
[pid=16526] ppid=16523 vsize=10817488 memory=1852088 CPUtime=2520.2 cores=0,2,4,6
/proc/16526/stat : 16526 (java) S 16523 16526 7968 0 -1 1077944320 95049 0 0 0 251788 232 0 0 20 0 17 0 15055484 11077107712 463022 18446744073709551615 4194304 4196468 140723591015280 140723590997824 140053045624567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
/proc/16526/statm: 2704372 463022 3136 1 0 2693825 0
[pid=16526/tid=16528] ppid=16523 vsize=10817488 memory=16444 CPUtime=2506.56 cores=0,2,4,6
/proc/16526/task/16528/stat : 16528 (java) R 16523 16526 7968 0 -1 4202560 50887 0 0 0 250641 15 0 0 20 0 17 0 15055490 11077107712 463022 18446744073709551615 4194304 4196468 140723591015280 140053049863168 140052664211095 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16529] ppid=16523 vsize=10817488 memory=1700 CPUtime=2.07 cores=0,2,4,6
/proc/16526/task/16529/stat : 16529 (java) S 16523 16526 7968 0 -1 1077944384 2564 0 0 0 169 38 0 0 20 0 17 0 15055491 11077107712 463022 18446744073709551615 4194304 4196468 140723591015280 140052986661264 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16530] ppid=16523 vsize=10817488 memory=1228 CPUtime=2.09 cores=0,2,4,6
/proc/16526/task/16530/stat : 16530 (java) S 16523 16526 7968 0 -1 1077944384 4031 0 0 0 172 37 0 0 20 0 17 0 15055491 11077107712 463022 18446744073709551615 4194304 4196468 140723591015280 140052985608464 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16531] ppid=16523 vsize=10817488 memory=1000 CPUtime=2.08 cores=0,2,4,6
/proc/16526/task/16531/stat : 16531 (java) S 16523 16526 7968 0 -1 1077944384 4516 0 0 0 171 37 0 0 20 0 17 0 15055491 11077107712 463022 18446744073709551615 4194304 4196468 140723591015280 140052984556176 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16532] ppid=16523 vsize=10817488 memory=2424 CPUtime=2.06 cores=0,2,4,6
/proc/16526/task/16532/stat : 16532 (java) S 16523 16526 7968 0 -1 1077944384 2916 0 0 0 170 36 0 0 20 0 17 0 15055491 11077107712 463022 18446744073709551615 4194304 4196468 140723591015280 140052983503376 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16533] ppid=16523 vsize=10817488 memory=1296 CPUtime=0.47 cores=0,2,4,6
/proc/16526/task/16533/stat : 16533 (java) S 16523 16526 7968 0 -1 1077944384 8268 0 0 0 44 3 0 0 20 0 17 0 15055492 11077107712 463022 18446744073709551615 4194304 4196468 140723591015280 140052085365360 140053045635714 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16534] ppid=16523 vsize=10817488 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16534/stat : 16534 (java) S 16523 16526 7968 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 17 0 15055493 11077107712 463022 18446744073709551615 4194304 4196468 140723591015280 140052084311392 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16535] ppid=16523 vsize=10817488 memory=792 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16535/stat : 16535 (java) S 16523 16526 7968 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 15055493 11077107712 463022 18446744073709551615 4194304 4196468 140723591015280 140052083259008 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16536] ppid=16523 vsize=10817488 memory=8684 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16536/stat : 16536 (java) S 16523 16526 7968 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 17 0 15055495 11077107712 463022 18446744073709551615 4194304 4196468 140723591015280 140052082207312 140053045643163 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16537] ppid=16523 vsize=10817488 memory=1440 CPUtime=1.35 cores=0,2,4,6
/proc/16526/task/16537/stat : 16537 (java) S 16523 16526 7968 0 -1 1077944384 7340 0 0 0 133 2 0 0 20 0 17 0 15055495 11077107712 463022 18446744073709551615 4194304 4196468 140723591015280 140052081154160 140053045635714 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16538] ppid=16523 vsize=10817488 memory=9916 CPUtime=1.36 cores=0,2,4,6
/proc/16526/task/16538/stat : 16538 (java) S 16523 16526 7968 0 -1 1077944384 5997 0 0 0 135 1 0 0 20 0 17 0 15055495 11077107712 463022 18446744073709551615 4194304 4196468 140723591015280 140052080101360 140053045635714 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16539] ppid=16523 vsize=10817488 memory=1200 CPUtime=0.47 cores=0,2,4,6
/proc/16526/task/16539/stat : 16539 (java) S 16523 16526 7968 0 -1 1077944384 4819 0 0 0 46 1 0 0 20 0 17 0 15055495 11077107712 463022 18446744073709551615 4194304 4196468 140723591015280 140052079049072 140053045635714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16540] ppid=16523 vsize=10817488 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16540/stat : 16540 (java) S 16523 16526 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 15055495 11077107712 463022 18446744073709551615 4194304 4196468 140723591015280 140052077996512 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16541] ppid=16523 vsize=10817488 memory=4040 CPUtime=1.59 cores=0,2,4,6
/proc/16526/task/16541/stat : 16541 (java) S 16523 16526 7968 0 -1 1077944384 1688 0 0 0 78 81 0 0 20 0 17 0 15055499 11077107712 463022 18446744073709551615 4194304 4196468 140723591015280 140052076944304 140053045635714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
Current children cumulated CPU time: 2520.2 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 1852088 KiB
[startup+2509.7 s]
/proc/loadavg: 1.95 2.00 2.12 3/213 16904
/proc/meminfo: memFree=27080844/32770624 swapFree=67108860/67108860
[pid=16526] ppid=16523 vsize=10817488 memory=1852092 CPUtime=2520.31 cores=0,2,4,6
/proc/16526/stat : 16526 (java) S 16523 16526 7968 0 -1 1077944320 95961 0 0 0 251799 232 0 0 20 0 17 0 15055484 11077107712 463023 18446744073709551615 4194304 4196468 140723591015280 140723590997824 140053045624567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
/proc/16526/statm: 2704372 463023 3136 1 0 2693825 0
[pid=16526/tid=16528] ppid=16523 vsize=10817488 memory=1851740 CPUtime=2506.65 cores=0,2,4,6
/proc/16526/task/16528/stat : 16528 (java) S 16523 16526 7968 0 -1 1077944384 50908 0 0 0 250650 15 0 0 20 0 17 0 15055490 11077107712 463023 18446744073709551615 4194304 4196468 140723591015280 140053049867440 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16529] ppid=16523 vsize=10817488 memory=1851740 CPUtime=2.07 cores=0,2,4,6
/proc/16526/task/16529/stat : 16529 (java) S 16523 16526 7968 0 -1 1077944384 2564 0 0 0 169 38 0 0 20 0 17 0 15055491 11077107712 463023 18446744073709551615 4194304 4196468 140723591015280 140052986661264 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16530] ppid=16523 vsize=10817488 memory=1851740 CPUtime=2.09 cores=0,2,4,6
/proc/16526/task/16530/stat : 16530 (java) S 16523 16526 7968 0 -1 1077944384 4031 0 0 0 172 37 0 0 20 0 17 0 15055491 11077107712 463023 18446744073709551615 4194304 4196468 140723591015280 140052985608464 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16531] ppid=16523 vsize=10817488 memory=164 CPUtime=2.08 cores=0,2,4,6
/proc/16526/task/16531/stat : 16531 (java) S 16523 16526 7968 0 -1 1077944384 4516 0 0 0 171 37 0 0 20 0 17 0 15055491 11077107712 463023 18446744073709551615 4194304 4196468 140723591015280 140052984556176 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16532] ppid=16523 vsize=10817488 memory=8224 CPUtime=2.06 cores=0,2,4,6
/proc/16526/task/16532/stat : 16532 (java) S 16523 16526 7968 0 -1 1077944384 2916 0 0 0 170 36 0 0 20 0 17 0 15055491 11077107712 463023 18446744073709551615 4194304 4196468 140723591015280 140052983503376 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16533] ppid=16523 vsize=10817488 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/16526/task/16533/stat : 16533 (java) S 16523 16526 7968 0 -1 1077944384 8268 0 0 0 44 3 0 0 20 0 17 0 15055492 11077107712 463023 18446744073709551615 4194304 4196468 140723591015280 140052085365360 140053045635714 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16534] ppid=16523 vsize=10817488 memory=1851740 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16534/stat : 16534 (java) S 16523 16526 7968 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 17 0 15055493 11077107712 463023 18446744073709551615 4194304 4196468 140723591015280 140052084311392 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16535] ppid=16523 vsize=10817488 memory=56 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16535/stat : 16535 (java) S 16523 16526 7968 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 15055493 11077107712 463023 18446744073709551615 4194304 4196468 140723591015280 140052083259008 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16536] ppid=16523 vsize=10817488 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16536/stat : 16536 (java) S 16523 16526 7968 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 17 0 15055495 11077107712 463023 18446744073709551615 4194304 4196468 140723591015280 140052082207312 140053045643163 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16537] ppid=16523 vsize=10817488 memory=3024 CPUtime=1.36 cores=0,2,4,6
/proc/16526/task/16537/stat : 16537 (java) R 16523 16526 7968 0 -1 4202560 8002 0 0 0 134 2 0 0 20 0 17 0 15055495 11077107712 463023 18446744073709551615 4194304 4196468 140723591015280 140052081154160 140053029138902 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16538] ppid=16523 vsize=10817488 memory=-8774313645642428999 CPUtime=1.36 cores=0,2,4,6
/proc/16526/task/16538/stat : 16538 (java) S 16523 16526 7968 0 -1 1077944384 5997 0 0 0 135 1 0 0 20 0 17 0 15055495 11077107712 463023 18446744073709551615 4194304 4196468 140723591015280 140052080101360 140053045635714 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16539] ppid=16523 vsize=10817488 memory=2012 CPUtime=0.47 cores=0,2,4,6
/proc/16526/task/16539/stat : 16539 (java) S 16523 16526 7968 0 -1 1077944384 5049 0 0 0 46 1 0 0 20 0 17 0 15055495 11077107712 463023 18446744073709551615 4194304 4196468 140723591015280 140052079049072 140053045635714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16540] ppid=16523 vsize=10817488 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/16526/task/16540/stat : 16540 (java) S 16523 16526 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 15055495 11077107712 463023 18446744073709551615 4194304 4196468 140723591015280 140052077996512 140053045634773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
[pid=16526/tid=16541] ppid=16523 vsize=10817488 memory=12268 CPUtime=1.59 cores=0,2,4,6
/proc/16526/task/16541/stat : 16541 (java) S 16523 16526 7968 0 -1 1077944384 1688 0 0 0 78 81 0 0 20 0 17 0 15055499 11077107712 463023 18446744073709551615 4194304 4196468 140723591015280 140052076944304 140053045635714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11354112 140723591016849 140723591017002 140723591017002 140723591020495 0
Current children cumulated CPU time: 2520.31 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 1852092 KiB
Child status: 143
Real time (s): 2509.73
CPU time (s): 2520.34
CPU user time (s): 2518.01
CPU system time (s): 2.33918
CPU usage (%): 100.423
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 1852092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.01
system time used= 2.33918
maximum resident set size= 1852264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96629
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57106
involuntary context switches= 3252
# summary of solver processes directly reported to runsolver:
# pid: 16526
# total CPU time (s): 2520.34
# total CPU user time (s): 2518.01
# total CPU system time (s): 2.33918
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4626 second user time and 25.49 second system time
The end