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 (15190 MiB free)
memory of node 1: 16384 MiB (14358 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273077-1502869539/watcher-4273077-1502869539 -o /tmp/evaluation-result-4273077-1502869539/solver-4273077-1502869539 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502658038-4849 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1757040405 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273077-1502869539.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=638, runsolver pid=635
[startup+0.100193 s]*
/proc/loadavg: 1.66 1.43 1.36 3/207 646
/proc/meminfo: memFree=30252604/32770624 swapFree=67108776/67108860
[pid=638] ppid=635 vsize=13375000 memory=15460 CPUtime=0.01 cores=0,2,4,6
/proc/638/stat : 638 (java) S 635 638 7084 0 -1 1077944320 3678 0 0 0 1 0 0 0 20 0 7 0 186606469 13696000000 3865 18446744073709551615 4194304 4196468 140736529636048 140736529618592 140675238489847 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
/proc/638/statm: 3343750 3865 1971 1 0 3333247 0
[pid=638/tid=641] ppid=635 vsize=13440536 memory=8390339637985935414 CPUtime=0.01 cores=0,2,4,6
/proc/638/task/641/stat : 641 (java) R 635 638 7084 0 -1 4202560 2499 0 0 0 1 0 0 0 20 0 7 0 186606477 13763108864 3997 18446744073709551615 4194304 4196468 140736529636048 140675242732304 140675222570334 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=643] ppid=635 vsize=13440536 memory=0 CPUtime=0 cores=0,2,4,6
/proc/638/task/643/stat : 643 (java) S 635 638 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 186606478 13763108864 3997 18446744073709551615 4194304 4196468 140736529636048 140675157903760 140675238500053 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=644] ppid=635 vsize=13440536 memory=139898362376914 CPUtime=0 cores=0,2,4,6
/proc/638/task/644/stat : 644 (java) S 635 638 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 186606478 13763108864 3997 18446744073709551615 4194304 4196468 140736529636048 140675156850960 140675238500053 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=645] ppid=635 vsize=13440536 memory=0 CPUtime=0 cores=0,2,4,6
/proc/638/task/645/stat : 645 (java) S 635 638 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 186606478 13763108864 3997 18446744073709551615 4194304 4196468 140736529636048 140675155798672 140675238500053 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=646] ppid=635 vsize=13440536 memory=0 CPUtime=0 cores=0,2,4,6
/proc/638/task/646/stat : 646 (java) S 635 638 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 186606478 13763108864 3997 18446744073709551615 4194304 4196468 140736529636048 140675154745872 140675238500053 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=647] ppid=635 vsize=13440536 memory=0 CPUtime=0 cores=0,2,4,6
/proc/638/task/647/stat : 647 (java) S 635 638 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 186606479 13763108864 3997 18446744073709551615 4194304 4196468 140736529636048 140674739456624 140675238500994 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13375000 KiB
Current children cumulated memory: 15460 KiB
[startup+0.220425 s]*
/proc/loadavg: 1.66 1.43 1.36 3/216 655
/proc/meminfo: memFree=30241728/32770624 swapFree=67108776/67108860
[pid=638] ppid=635 vsize=13975920 memory=29908 CPUtime=0.09 cores=0,2,4,6
/proc/638/stat : 638 (java) S 635 638 7084 0 -1 1077944320 6789 0 0 0 8 1 0 0 20 0 15 0 186606469 14311342080 7477 18446744073709551615 4194304 4196468 140736529636048 140736529618592 140675238489847 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
/proc/638/statm: 3493980 7477 3352 1 0 3482759 0
[pid=638/tid=641] ppid=635 vsize=13975920 memory=8390339637985935414 CPUtime=0.07 cores=0,2,4,6
/proc/638/task/641/stat : 641 (java) R 635 638 7084 0 -1 4202560 4883 0 0 0 7 0 0 0 20 0 15 0 186606477 14311342080 7477 18446744073709551615 4194304 4196468 140736529636048 140675242692976 140675222570334 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=643] ppid=635 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/638/task/643/stat : 643 (java) S 635 638 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 186606478 14311342080 7477 18446744073709551615 4194304 4196468 140736529636048 140675157903760 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=644] ppid=635 vsize=13975920 memory=139898362376914 CPUtime=0 cores=0,2,4,6
/proc/638/task/644/stat : 644 (java) S 635 638 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 186606478 14311342080 7477 18446744073709551615 4194304 4196468 140736529636048 140675156850960 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=645] ppid=635 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/638/task/645/stat : 645 (java) S 635 638 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 186606478 14311342080 7477 18446744073709551615 4194304 4196468 140736529636048 140675155798672 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=646] ppid=635 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/638/task/646/stat : 646 (java) S 635 638 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 186606478 14311342080 7477 18446744073709551615 4194304 4196468 140736529636048 140675154745872 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=647] ppid=635 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/638/task/647/stat : 647 (java) S 635 638 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 186606479 14311342080 7477 18446744073709551615 4194304 4196468 140736529636048 140674739456624 140675238500994 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=648] ppid=635 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/638/task/648/stat : 648 (java) S 635 638 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 186606480 14311342080 7477 18446744073709551615 4194304 4196468 140736529636048 140674738402592 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=649] ppid=635 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/638/task/649/stat : 649 (java) S 635 638 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 186606480 14311342080 7477 18446744073709551615 4194304 4196468 140736529636048 140674737350256 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=650] ppid=635 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/638/task/650/stat : 650 (java) S 635 638 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 186606482 14311342080 7477 18446744073709551615 4194304 4196468 140736529636048 140674736298576 140675238508443 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=651] ppid=635 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/638/task/651/stat : 651 (java) R 635 638 7084 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 186606482 14311342080 7477 18446744073709551615 4194304 4196468 140736529636048 140674735245424 140675238500994 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=652] ppid=635 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/638/task/652/stat : 652 (java) R 635 638 7084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 186606482 14311342080 7477 18446744073709551615 4194304 4196468 140736529636048 140674734192624 140675238500994 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=653] ppid=635 vsize=13975920 memory=139898362357376 CPUtime=0 cores=0,2,4,6
/proc/638/task/653/stat : 653 (java) R 635 638 7084 0 -1 4202560 241 0 0 0 0 0 0 0 20 0 15 0 186606482 14311342080 7477 18446744073709551615 4194304 4196468 140736529636048 140674733140336 140675238511194 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=654] ppid=635 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/638/task/654/stat : 654 (java) S 635 638 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 186606483 14311342080 7477 18446744073709551615 4194304 4196468 140736529636048 140674732087776 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=655] ppid=635 vsize=13975920 memory=139898362357376 CPUtime=0 cores=0,2,4,6
/proc/638/task/655/stat : 655 (java) S 635 638 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 186606489 14311342080 7477 18446744073709551615 4194304 4196468 140736529636048 140674731035568 140675238500994 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 29908 KiB
[startup+0.310517 s]*
/proc/loadavg: 1.66 1.43 1.36 3/216 655
/proc/meminfo: memFree=30231444/32770624 swapFree=67108776/67108860
[pid=638] ppid=635 vsize=13975920 memory=39220 CPUtime=0.24 cores=0,2,4,6
/proc/638/stat : 638 (java) S 635 638 7084 0 -1 1077944320 10043 0 0 0 21 3 0 0 20 0 15 0 186606469 14311342080 9805 18446744073709551615 4194304 4196468 140736529636048 140736529618592 140675238489847 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
/proc/638/statm: 3493980 9805 3548 1 0 3482759 0
[pid=638/tid=641] ppid=635 vsize=13975920 memory=1398720917958146503 CPUtime=0.16 cores=0,2,4,6
/proc/638/task/641/stat : 641 (java) R 635 638 7084 0 -1 4202560 7801 0 0 0 14 2 0 0 20 0 15 0 186606477 14311342080 9870 18446744073709551615 4194304 4196468 140736529636048 140675242708096 140675238511773 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=643] ppid=635 vsize=13975920 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/638/task/643/stat : 643 (java) S 635 638 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 186606478 14311342080 9870 18446744073709551615 4194304 4196468 140736529636048 140675157903760 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=644] ppid=635 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/638/task/644/stat : 644 (java) S 635 638 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 186606478 14311342080 9870 18446744073709551615 4194304 4196468 140736529636048 140675156850960 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=645] ppid=635 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/638/task/645/stat : 645 (java) S 635 638 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 186606478 14311342080 9870 18446744073709551615 4194304 4196468 140736529636048 140675155798672 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=646] ppid=635 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/638/task/646/stat : 646 (java) S 635 638 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 186606478 14311342080 9870 18446744073709551615 4194304 4196468 140736529636048 140675154745872 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=647] ppid=635 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/638/task/647/stat : 647 (java) S 635 638 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 186606479 14311342080 9870 18446744073709551615 4194304 4196468 140736529636048 140674739456624 140675238500994 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=648] ppid=635 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/638/task/648/stat : 648 (java) S 635 638 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 186606480 14311342080 9870 18446744073709551615 4194304 4196468 140736529636048 140674738402592 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=649] ppid=635 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/638/task/649/stat : 649 (java) S 635 638 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 186606480 14311342080 9870 18446744073709551615 4194304 4196468 140736529636048 140674737350256 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=650] ppid=635 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/638/task/650/stat : 650 (java) S 635 638 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 186606482 14311342080 9870 18446744073709551615 4194304 4196468 140736529636048 140674736298576 140675238508443 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=651] ppid=635 vsize=13975920 memory=139898225190272 CPUtime=0.01 cores=0,2,4,6
/proc/638/task/651/stat : 651 (java) S 635 638 7084 0 -1 1077944384 466 0 0 0 1 0 0 0 20 0 15 0 186606482 14311342080 9870 18446744073709551615 4194304 4196468 140736529636048 140674735245424 140675238500994 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=652] ppid=635 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/638/task/652/stat : 652 (java) S 635 638 7084 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 186606482 14311342080 9870 18446744073709551615 4194304 4196468 140736529636048 140674734192624 140675238500994 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=653] ppid=635 vsize=13975920 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/638/task/653/stat : 653 (java) R 635 638 7084 0 -1 4202560 365 0 0 0 4 0 0 0 20 0 15 0 186606482 14311342080 9870 18446744073709551615 4194304 4196468 140736529636048 140674733140336 140675217151190 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=654] ppid=635 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/638/task/654/stat : 654 (java) S 635 638 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 186606483 14311342080 9870 18446744073709551615 4194304 4196468 140736529636048 140674732087776 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=655] ppid=635 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/638/task/655/stat : 655 (java) S 635 638 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 186606489 14311342080 9870 18446744073709551615 4194304 4196468 140736529636048 140674731035568 140675238500994 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39220 KiB
[startup+0.70066 s]
/proc/loadavg: 1.66 1.43 1.36 4/216 655
/proc/meminfo: memFree=30219460/32770624 swapFree=67108776/67108860
[pid=638] ppid=635 vsize=13977988 memory=69124 CPUtime=1.04 cores=0,2,4,6
/proc/638/stat : 638 (java) S 635 638 7084 0 -1 1077944320 13975 0 0 0 100 4 0 0 20 0 15 0 186606469 14313459712 17281 18446744073709551615 4194304 4196468 140736529636048 140736529618592 140675238489847 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
/proc/638/statm: 3494497 17281 3725 1 0 3483271 0
[pid=638/tid=641] ppid=635 vsize=13977988 memory=1152 CPUtime=0.54 cores=0,2,4,6
/proc/638/task/641/stat : 641 (java) R 635 638 7084 0 -1 4202560 10302 0 0 0 51 3 0 0 20 0 15 0 186606477 14313459712 17281 18446744073709551615 4194304 4196468 140736529636048 140675242725216 140674825570462 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=643] ppid=635 vsize=13977988 memory=2996 CPUtime=0 cores=0,2,4,6
/proc/638/task/643/stat : 643 (java) S 635 638 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 186606478 14313459712 17281 18446744073709551615 4194304 4196468 140736529636048 140675157903760 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=644] ppid=635 vsize=13977988 memory=1052868 CPUtime=0 cores=0,2,4,6
/proc/638/task/644/stat : 644 (java) S 635 638 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 186606478 14313459712 17281 18446744073709551615 4194304 4196468 140736529636048 140675156850960 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=645] ppid=635 vsize=13977988 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/638/task/645/stat : 645 (java) S 635 638 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 186606478 14313459712 17281 18446744073709551615 4194304 4196468 140736529636048 140675155798672 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=646] ppid=635 vsize=13977988 memory=4080 CPUtime=0 cores=0,2,4,6
/proc/638/task/646/stat : 646 (java) S 635 638 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 186606478 14313459712 17281 18446744073709551615 4194304 4196468 140736529636048 140675154745872 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=647] ppid=635 vsize=13977988 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/638/task/647/stat : 647 (java) S 635 638 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 186606479 14313459712 17281 18446744073709551615 4194304 4196468 140736529636048 140674739456624 140675238500994 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=648] ppid=635 vsize=13977988 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/638/task/648/stat : 648 (java) S 635 638 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 186606480 14313459712 17281 18446744073709551615 4194304 4196468 140736529636048 140674738402592 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=649] ppid=635 vsize=13977988 memory=796 CPUtime=0 cores=0,2,4,6
/proc/638/task/649/stat : 649 (java) S 635 638 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 186606480 14313459712 17281 18446744073709551615 4194304 4196468 140736529636048 140674737350256 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=650] ppid=635 vsize=13977988 memory=5768 CPUtime=0 cores=0,2,4,6
/proc/638/task/650/stat : 650 (java) S 635 638 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 186606482 14313459712 17281 18446744073709551615 4194304 4196468 140736529636048 140674736298576 140675238508443 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=651] ppid=635 vsize=13977988 memory=2008 CPUtime=0.13 cores=0,2,4,6
/proc/638/task/651/stat : 651 (java) S 635 638 7084 0 -1 1077944384 874 0 0 0 13 0 0 0 20 0 15 0 186606482 14313459712 17281 18446744073709551615 4194304 4196468 140736529636048 140674735245424 140675238500994 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=652] ppid=635 vsize=13977988 memory=9396 CPUtime=0.12 cores=0,2,4,6
/proc/638/task/652/stat : 652 (java) S 635 638 7084 0 -1 1077944384 565 0 0 0 12 0 0 0 20 0 15 0 186606482 14313459712 17281 18446744073709551615 4194304 4196468 140736529636048 140674734192624 140675238500994 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=653] ppid=635 vsize=13977988 memory=1224 CPUtime=0.22 cores=0,2,4,6
/proc/638/task/653/stat : 653 (java) R 635 638 7084 0 -1 4202560 853 0 0 0 22 0 0 0 20 0 15 0 186606482 14313459712 17281 18446744073709551615 4194304 4196468 140736529636048 140674733136064 140675231206999 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=654] ppid=635 vsize=13977988 memory=4600 CPUtime=0 cores=0,2,4,6
/proc/638/task/654/stat : 654 (java) S 635 638 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 186606483 14313459712 17281 18446744073709551615 4194304 4196468 140736529636048 140674732087776 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=655] ppid=635 vsize=13977988 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/638/task/655/stat : 655 (java) S 635 638 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 186606489 14313459712 17281 18446744073709551615 4194304 4196468 140736529636048 140674731035568 140675238500994 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 69124 KiB
[startup+1.50144 s]
/proc/loadavg: 1.66 1.43 1.36 5/216 655
/proc/meminfo: memFree=30166528/32770624 swapFree=67108776/67108860
[pid=638] ppid=635 vsize=13982084 memory=157508 CPUtime=3.7 cores=0,2,4,6
/proc/638/stat : 638 (java) S 635 638 7084 0 -1 1077944320 27709 0 0 0 362 8 0 0 20 0 15 0 186606469 14317654016 39377 18446744073709551615 4194304 4196468 140736529636048 140736529618592 140675238489847 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
/proc/638/statm: 3495521 39377 3768 1 0 3484295 0
[pid=638/tid=641] ppid=635 vsize=13982084 memory=0 CPUtime=1.33 cores=0,2,4,6
/proc/638/task/641/stat : 641 (java) R 635 638 7084 0 -1 4202560 13174 0 0 0 128 5 0 0 20 0 15 0 186606477 14317654016 39377 18446744073709551615 4194304 4196468 140736529636048 140675242727472 140675238511773 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=643] ppid=635 vsize=13982084 memory=288230377041174303 CPUtime=0 cores=0,2,4,6
/proc/638/task/643/stat : 643 (java) S 635 638 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 186606478 14317654016 39377 18446744073709551615 4194304 4196468 140736529636048 140675157903760 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=644] ppid=635 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/638/task/644/stat : 644 (java) S 635 638 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 186606478 14317654016 39377 18446744073709551615 4194304 4196468 140736529636048 140675156850960 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=645] ppid=635 vsize=13982084 memory=3908 CPUtime=0 cores=0,2,4,6
/proc/638/task/645/stat : 645 (java) S 635 638 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 186606478 14317654016 39377 18446744073709551615 4194304 4196468 140736529636048 140675155798672 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=646] ppid=635 vsize=13982084 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/638/task/646/stat : 646 (java) S 635 638 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 186606478 14317654016 39377 18446744073709551615 4194304 4196468 140736529636048 140675154745872 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=647] ppid=635 vsize=13982084 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/638/task/647/stat : 647 (java) S 635 638 7084 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 186606479 14317654016 39377 18446744073709551615 4194304 4196468 140736529636048 140674739456624 140675238500994 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=648] ppid=635 vsize=13982084 memory=4080 CPUtime=0 cores=0,2,4,6
/proc/638/task/648/stat : 648 (java) S 635 638 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 186606480 14317654016 39377 18446744073709551615 4194304 4196468 140736529636048 140674738402592 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=649] ppid=635 vsize=13982084 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/638/task/649/stat : 649 (java) S 635 638 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 186606480 14317654016 39377 18446744073709551615 4194304 4196468 140736529636048 140674737350256 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=650] ppid=635 vsize=13982084 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/638/task/650/stat : 650 (java) S 635 638 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 186606482 14317654016 39377 18446744073709551615 4194304 4196468 140736529636048 140674736298576 140675238508443 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=651] ppid=635 vsize=13982084 memory=796 CPUtime=0.82 cores=0,2,4,6
/proc/638/task/651/stat : 651 (java) R 635 638 7084 0 -1 4202560 4018 0 0 0 82 0 0 0 20 0 15 0 186606482 14317654016 39377 18446744073709551615 4194304 4196468 140736529636048 140674735236184 140675218341988 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=652] ppid=635 vsize=13982084 memory=0 CPUtime=0.86 cores=0,2,4,6
/proc/638/task/652/stat : 652 (java) R 635 638 7084 0 -1 4202560 5141 0 0 0 86 0 0 0 20 0 15 0 186606482 14317654016 39377 18446744073709551615 4194304 4196468 140736529636048 140674734182096 140675223856336 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=653] ppid=635 vsize=13982084 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/638/task/653/stat : 653 (java) R 635 638 7084 0 -1 4202560 3938 0 0 0 63 0 0 0 20 0 15 0 186606482 14317654016 39377 18446744073709551615 4194304 4196468 140736529636048 140674733136192 140675238511194 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=654] ppid=635 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/638/task/654/stat : 654 (java) S 635 638 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 186606483 14317654016 39377 18446744073709551615 4194304 4196468 140736529636048 140674732087776 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=655] ppid=635 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/638/task/655/stat : 655 (java) S 635 638 7084 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 186606489 14317654016 39377 18446744073709551615 4194304 4196468 140736529636048 140674731035568 140675238500994 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
################
# More data... #
################
/proc/638/task/641/stat : 641 (java) R 635 638 7084 0 -1 4202560 104230 0 0 0 235651 67 0 0 20 0 15 0 186606477 14317654016 200522 18446744073709551615 4194304 4196468 140736529636048 140675242728160 140674836839389 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=643] ppid=635 vsize=13982084 memory=763252 CPUtime=19.89 cores=0,2,4,6
/proc/638/task/643/stat : 643 (java) S 635 638 7084 0 -1 1077944384 15921 0 0 0 1910 79 0 0 20 0 15 0 186606478 14317654016 200522 18446744073709551615 4194304 4196468 140736529636048 140675157903760 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=644] ppid=635 vsize=13982084 memory=764808 CPUtime=19.88 cores=0,2,4,6
/proc/638/task/644/stat : 644 (java) S 635 638 7084 0 -1 1077944384 14258 0 0 0 1907 81 0 0 20 0 15 0 186606478 14317654016 200522 18446744073709551615 4194304 4196468 140736529636048 140675156850960 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=645] ppid=635 vsize=13982084 memory=749916 CPUtime=19.88 cores=0,2,4,6
/proc/638/task/645/stat : 645 (java) S 635 638 7084 0 -1 1077944384 17852 0 0 0 1907 81 0 0 20 0 15 0 186606478 14317654016 200522 18446744073709551615 4194304 4196468 140736529636048 140675155798672 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=646] ppid=635 vsize=13982084 memory=733500 CPUtime=19.89 cores=0,2,4,6
/proc/638/task/646/stat : 646 (java) S 635 638 7084 0 -1 1077944384 17893 0 0 0 1908 81 0 0 20 0 15 0 186606478 14317654016 200522 18446744073709551615 4194304 4196468 140736529636048 140675154745872 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=647] ppid=635 vsize=13982084 memory=742492 CPUtime=3.16 cores=0,2,4,6
/proc/638/task/647/stat : 647 (java) S 635 638 7084 0 -1 1077944384 85336 0 0 0 264 52 0 0 20 0 15 0 186606479 14317654016 200522 18446744073709551615 4194304 4196468 140736529636048 140674739456624 140675238500994 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=648] ppid=635 vsize=13982084 memory=742492 CPUtime=0 cores=0,2,4,6
/proc/638/task/648/stat : 648 (java) S 635 638 7084 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 186606480 14317654016 200522 18446744073709551615 4194304 4196468 140736529636048 140674738402656 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=649] ppid=635 vsize=13982084 memory=742492 CPUtime=0 cores=0,2,4,6
/proc/638/task/649/stat : 649 (java) S 635 638 7084 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 186606480 14317654016 200522 18446744073709551615 4194304 4196468 140736529636048 140674737350272 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=650] ppid=635 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/638/task/650/stat : 650 (java) S 635 638 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 186606482 14317654016 200522 18446744073709551615 4194304 4196468 140736529636048 140674736298576 140675238508443 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=651] ppid=635 vsize=13982084 memory=735552 CPUtime=2.93 cores=0,2,4,6
/proc/638/task/651/stat : 651 (java) S 635 638 7084 0 -1 1077944384 25113 0 0 0 290 3 0 0 20 0 15 0 186606482 14317654016 200522 18446744073709551615 4194304 4196468 140736529636048 140674735245424 140675238500994 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=652] ppid=635 vsize=13982084 memory=742492 CPUtime=3.09 cores=0,2,4,6
/proc/638/task/652/stat : 652 (java) S 635 638 7084 0 -1 1077944384 23793 0 0 0 307 2 0 0 20 0 15 0 186606482 14317654016 200522 18446744073709551615 4194304 4196468 140736529636048 140674734192624 140675238500994 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=653] ppid=635 vsize=13982084 memory=764376 CPUtime=1.21 cores=0,2,4,6
/proc/638/task/653/stat : 653 (java) S 635 638 7084 0 -1 1077944384 23281 0 0 0 118 3 0 0 20 0 15 0 186606482 14317654016 200522 18446744073709551615 4194304 4196468 140736529636048 140674733140336 140675238500994 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=654] ppid=635 vsize=13982084 memory=729396 CPUtime=0 cores=0,2,4,6
/proc/638/task/654/stat : 654 (java) S 635 638 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 186606483 14317654016 200522 18446744073709551615 4194304 4196468 140736529636048 140674732087776 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=655] ppid=635 vsize=13982084 memory=729396 CPUtime=1.42 cores=0,2,4,6
/proc/638/task/655/stat : 655 (java) S 635 638 7084 0 -1 1077944384 1357 0 0 0 66 76 0 0 20 0 15 0 186606489 14317654016 200522 18446744073709551615 4194304 4196468 140736529636048 140674731035568 140675238500994 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
Current children cumulated CPU time: 2448.65 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 802088 KiB
[startup+2442.3 s]
/proc/loadavg: 1.20 1.40 1.40 3/213 909
/proc/meminfo: memFree=29480952/32770624 swapFree=67108776/67108860
[pid=638] ppid=635 vsize=13982084 memory=692972 CPUtime=2510.12 cores=0,2,4,6
/proc/638/stat : 638 (java) S 635 638 7084 0 -1 1077944320 332182 0 0 0 250510 502 0 0 20 0 15 0 186606469 14317654016 173243 18446744073709551615 4194304 4196468 140736529636048 140736529618592 140675238489847 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
/proc/638/statm: 3495521 173243 3844 1 0 3484295 0
[pid=638/tid=641] ppid=635 vsize=13982084 memory=696564 CPUtime=2416.57 cores=0,2,4,6
/proc/638/task/641/stat : 641 (java) R 635 638 7084 0 -1 4202560 104628 0 0 0 241589 68 0 0 20 0 15 0 186606477 14317654016 173243 18446744073709551615 4194304 4196468 140736529636048 140675242728272 140674835435215 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=643] ppid=635 vsize=13982084 memory=700156 CPUtime=20.38 cores=0,2,4,6
/proc/638/task/643/stat : 643 (java) S 635 638 7084 0 -1 1077944384 16127 0 0 0 1959 79 0 0 20 0 15 0 186606478 14317654016 173243 18446744073709551615 4194304 4196468 140736529636048 140675157903760 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=644] ppid=635 vsize=13982084 memory=717596 CPUtime=20.38 cores=0,2,4,6
/proc/638/task/644/stat : 644 (java) S 635 638 7084 0 -1 1077944384 14657 0 0 0 1956 82 0 0 20 0 15 0 186606478 14317654016 173243 18446744073709551615 4194304 4196468 140736529636048 140675156850960 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=645] ppid=635 vsize=13982084 memory=758560 CPUtime=20.38 cores=0,2,4,6
/proc/638/task/645/stat : 645 (java) S 635 638 7084 0 -1 1077944384 18163 0 0 0 1956 82 0 0 20 0 15 0 186606478 14317654016 173243 18446744073709551615 4194304 4196468 140736529636048 140675155798672 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=646] ppid=635 vsize=13982084 memory=732472 CPUtime=20.39 cores=0,2,4,6
/proc/638/task/646/stat : 646 (java) S 635 638 7084 0 -1 1077944384 18088 0 0 0 1957 82 0 0 20 0 15 0 186606478 14317654016 173243 18446744073709551615 4194304 4196468 140736529636048 140675154745872 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=647] ppid=635 vsize=13982084 memory=714004 CPUtime=3.24 cores=0,2,4,6
/proc/638/task/647/stat : 647 (java) S 635 638 7084 0 -1 1077944384 85511 0 0 0 270 54 0 0 20 0 15 0 186606479 14317654016 173243 18446744073709551615 4194304 4196468 140736529636048 140674739456624 140675238500994 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=648] ppid=635 vsize=13982084 memory=696564 CPUtime=0 cores=0,2,4,6
/proc/638/task/648/stat : 648 (java) S 635 638 7084 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 186606480 14317654016 173243 18446744073709551615 4194304 4196468 140736529636048 140674738402656 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=649] ppid=635 vsize=13982084 memory=692972 CPUtime=0 cores=0,2,4,6
/proc/638/task/649/stat : 649 (java) S 635 638 7084 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 186606480 14317654016 173243 18446744073709551615 4194304 4196468 140736529636048 140674737350272 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=650] ppid=635 vsize=13982084 memory=797548 CPUtime=0 cores=0,2,4,6
/proc/638/task/650/stat : 650 (java) S 635 638 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 186606482 14317654016 173243 18446744073709551615 4194304 4196468 140736529636048 140674736298576 140675238508443 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=651] ppid=635 vsize=13982084 memory=808740 CPUtime=2.93 cores=0,2,4,6
/proc/638/task/651/stat : 651 (java) S 635 638 7084 0 -1 1077944384 25118 0 0 0 290 3 0 0 20 0 15 0 186606482 14317654016 173243 18446744073709551615 4194304 4196468 140736529636048 140674735245424 140675238500994 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=652] ppid=635 vsize=13982084 memory=709388 CPUtime=3.09 cores=0,2,4,6
/proc/638/task/652/stat : 652 (java) S 635 638 7084 0 -1 1077944384 23795 0 0 0 307 2 0 0 20 0 15 0 186606482 14317654016 173243 18446744073709551615 4194304 4196468 140736529636048 140674734192624 140675238500994 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=653] ppid=635 vsize=13982084 memory=1296 CPUtime=1.21 cores=0,2,4,6
/proc/638/task/653/stat : 653 (java) S 635 638 7084 0 -1 1077944384 23283 0 0 0 118 3 0 0 20 0 15 0 186606482 14317654016 173243 18446744073709551615 4194304 4196468 140736529636048 140674733140336 140675238500994 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=654] ppid=635 vsize=13982084 memory=696564 CPUtime=0 cores=0,2,4,6
/proc/638/task/654/stat : 654 (java) S 635 638 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 186606483 14317654016 173243 18446744073709551615 4194304 4196468 140736529636048 140674732087776 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=655] ppid=635 vsize=13982084 memory=4156 CPUtime=1.46 cores=0,2,4,6
/proc/638/task/655/stat : 655 (java) S 635 638 7084 0 -1 1077944384 1372 0 0 0 68 78 0 0 20 0 15 0 186606489 14317654016 173243 18446744073709551615 4194304 4196468 140736529636048 140674731035568 140675238500994 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
Current children cumulated CPU time: 2510.12 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 692972 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2451.9 s]
/proc/loadavg: 1.17 1.38 1.40 3/213 909
/proc/meminfo: memFree=29490500/32770624 swapFree=67108776/67108860
[pid=638] ppid=635 vsize=13982084 memory=678608 CPUtime=2520.04 cores=0,2,4,6
/proc/638/stat : 638 (java) S 635 638 7084 0 -1 1077944320 334901 0 0 0 251501 503 0 0 20 0 15 0 186606469 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140736529618592 140675238489847 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
/proc/638/statm: 3495521 169652 3844 1 0 3484295 0
[pid=638/tid=641] ppid=635 vsize=13982084 memory=2008 CPUtime=2426.03 cores=0,2,4,6
/proc/638/task/641/stat : 641 (java) R 635 638 7084 0 -1 4202560 104704 0 0 0 242535 68 0 0 20 0 15 0 186606477 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140675242728272 140674835435257 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=643] ppid=635 vsize=13982084 memory=678608 CPUtime=20.49 cores=0,2,4,6
/proc/638/task/643/stat : 643 (java) S 635 638 7084 0 -1 1077944384 16263 0 0 0 1969 80 0 0 20 0 15 0 186606478 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140675157903760 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=644] ppid=635 vsize=13982084 memory=678608 CPUtime=20.48 cores=0,2,4,6
/proc/638/task/644/stat : 644 (java) S 635 638 7084 0 -1 1077944384 14874 0 0 0 1966 82 0 0 20 0 15 0 186606478 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140675156850960 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=645] ppid=635 vsize=13982084 memory=685792 CPUtime=20.49 cores=0,2,4,6
/proc/638/task/645/stat : 645 (java) S 635 638 7084 0 -1 1077944384 18315 0 0 0 1967 82 0 0 20 0 15 0 186606478 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140675155798672 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=646] ppid=635 vsize=13982084 memory=758560 CPUtime=20.49 cores=0,2,4,6
/proc/638/task/646/stat : 646 (java) S 635 638 7084 0 -1 1077944384 18232 0 0 0 1967 82 0 0 20 0 15 0 186606478 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140675154745872 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=647] ppid=635 vsize=13982084 memory=714004 CPUtime=3.26 cores=0,2,4,6
/proc/638/task/647/stat : 647 (java) S 635 638 7084 0 -1 1077944384 87505 0 0 0 272 54 0 0 20 0 15 0 186606479 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140674739456624 140675238500994 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=648] ppid=635 vsize=13982084 memory=689380 CPUtime=0 cores=0,2,4,6
/proc/638/task/648/stat : 648 (java) S 635 638 7084 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 186606480 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140674738402656 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=649] ppid=635 vsize=13982084 memory=678608 CPUtime=0 cores=0,2,4,6
/proc/638/task/649/stat : 649 (java) S 635 638 7084 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 186606480 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140674737350272 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=650] ppid=635 vsize=13982084 memory=678608 CPUtime=0 cores=0,2,4,6
/proc/638/task/650/stat : 650 (java) S 635 638 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 186606482 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140674736298576 140675238508443 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=651] ppid=635 vsize=13982084 memory=797548 CPUtime=2.93 cores=0,2,4,6
/proc/638/task/651/stat : 651 (java) S 635 638 7084 0 -1 1077944384 25118 0 0 0 290 3 0 0 20 0 15 0 186606482 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140674735245424 140675238500994 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=652] ppid=635 vsize=13982084 memory=808740 CPUtime=3.09 cores=0,2,4,6
/proc/638/task/652/stat : 652 (java) S 635 638 7084 0 -1 1077944384 23795 0 0 0 307 2 0 0 20 0 15 0 186606482 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140674734192624 140675238500994 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=653] ppid=635 vsize=13982084 memory=682200 CPUtime=1.21 cores=0,2,4,6
/proc/638/task/653/stat : 653 (java) S 635 638 7084 0 -1 1077944384 23283 0 0 0 118 3 0 0 20 0 15 0 186606482 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140674733140336 140675238500994 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=654] ppid=635 vsize=13982084 memory=4156 CPUtime=0 cores=0,2,4,6
/proc/638/task/654/stat : 654 (java) S 635 638 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 186606483 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140674732087776 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=655] ppid=635 vsize=13982084 memory=678608 CPUtime=1.47 cores=0,2,4,6
/proc/638/task/655/stat : 655 (java) S 635 638 7084 0 -1 1077944384 1372 0 0 0 69 78 0 0 20 0 15 0 186606489 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140674731035568 140675238500994 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 678608 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2451.93 s]
# the end of solver process 638 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.03 s, system=5.04455 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2451.9 s]
/proc/loadavg: 1.17 1.38 1.40 3/213 909
/proc/meminfo: memFree=29490500/32770624 swapFree=67108776/67108860
[pid=638] ppid=635 vsize=13982084 memory=678608 CPUtime=2520.04 cores=0,2,4,6
/proc/638/stat : 638 (java) S 635 638 7084 0 -1 1077944320 334901 0 0 0 251501 503 0 0 20 0 15 0 186606469 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140736529618592 140675238489847 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
/proc/638/statm: 3495521 169652 3844 1 0 3484295 0
[pid=638/tid=641] ppid=635 vsize=13982084 memory=2008 CPUtime=2426.03 cores=0,2,4,6
/proc/638/task/641/stat : 641 (java) R 635 638 7084 0 -1 4202560 104704 0 0 0 242535 68 0 0 20 0 15 0 186606477 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140675242728272 140674835435257 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=643] ppid=635 vsize=13982084 memory=678608 CPUtime=20.49 cores=0,2,4,6
/proc/638/task/643/stat : 643 (java) S 635 638 7084 0 -1 1077944384 16263 0 0 0 1969 80 0 0 20 0 15 0 186606478 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140675157903760 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=644] ppid=635 vsize=13982084 memory=678608 CPUtime=20.48 cores=0,2,4,6
/proc/638/task/644/stat : 644 (java) S 635 638 7084 0 -1 1077944384 14874 0 0 0 1966 82 0 0 20 0 15 0 186606478 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140675156850960 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=645] ppid=635 vsize=13982084 memory=685792 CPUtime=20.49 cores=0,2,4,6
/proc/638/task/645/stat : 645 (java) S 635 638 7084 0 -1 1077944384 18315 0 0 0 1967 82 0 0 20 0 15 0 186606478 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140675155798672 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=646] ppid=635 vsize=13982084 memory=758560 CPUtime=20.49 cores=0,2,4,6
/proc/638/task/646/stat : 646 (java) S 635 638 7084 0 -1 1077944384 18232 0 0 0 1967 82 0 0 20 0 15 0 186606478 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140675154745872 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=647] ppid=635 vsize=13982084 memory=714004 CPUtime=3.26 cores=0,2,4,6
/proc/638/task/647/stat : 647 (java) S 635 638 7084 0 -1 1077944384 87505 0 0 0 272 54 0 0 20 0 15 0 186606479 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140674739456624 140675238500994 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=648] ppid=635 vsize=13982084 memory=689380 CPUtime=0 cores=0,2,4,6
/proc/638/task/648/stat : 648 (java) S 635 638 7084 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 186606480 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140674738402656 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=649] ppid=635 vsize=13982084 memory=678608 CPUtime=0 cores=0,2,4,6
/proc/638/task/649/stat : 649 (java) S 635 638 7084 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 186606480 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140674737350272 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=650] ppid=635 vsize=13982084 memory=678608 CPUtime=0 cores=0,2,4,6
/proc/638/task/650/stat : 650 (java) S 635 638 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 186606482 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140674736298576 140675238508443 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=651] ppid=635 vsize=13982084 memory=797548 CPUtime=2.93 cores=0,2,4,6
/proc/638/task/651/stat : 651 (java) S 635 638 7084 0 -1 1077944384 25118 0 0 0 290 3 0 0 20 0 15 0 186606482 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140674735245424 140675238500994 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=652] ppid=635 vsize=13982084 memory=808740 CPUtime=3.09 cores=0,2,4,6
/proc/638/task/652/stat : 652 (java) S 635 638 7084 0 -1 1077944384 23795 0 0 0 307 2 0 0 20 0 15 0 186606482 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140674734192624 140675238500994 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=653] ppid=635 vsize=13982084 memory=682200 CPUtime=1.21 cores=0,2,4,6
/proc/638/task/653/stat : 653 (java) S 635 638 7084 0 -1 1077944384 23283 0 0 0 118 3 0 0 20 0 15 0 186606482 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140674733140336 140675238500994 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=654] ppid=635 vsize=13982084 memory=4156 CPUtime=0 cores=0,2,4,6
/proc/638/task/654/stat : 654 (java) S 635 638 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 186606483 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140674732087776 140675238500053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
[pid=638/tid=655] ppid=635 vsize=13982084 memory=678608 CPUtime=1.47 cores=0,2,4,6
/proc/638/task/655/stat : 655 (java) S 635 638 7084 0 -1 1077944384 1372 0 0 0 69 78 0 0 20 0 15 0 186606489 14317654016 169652 18446744073709551615 4194304 4196468 140736529636048 140674731035568 140675238500994 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8863744 140736529637748 140736529637929 140736529637929 140736529641423 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 678608 KiB
Child status: 143
Real time (s): 2451.93
CPU time (s): 2520.08
CPU user time (s): 2515.03
CPU system time (s): 5.04455
CPU usage (%): 102.779
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 1505960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.03
system time used= 5.04455
maximum resident set size= 1525244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335122
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119069
involuntary context switches= 7278
# summary of solver processes directly reported to runsolver:
# pid: 638
# total CPU time (s): 2520.08
# total CPU user time (s): 2515.03
# total CPU system time (s): 5.04455
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1783 second user time and 22.7035 second system time
The end