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 (1433 MiB free)
memory of node 1: 16384 MiB (1048 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403179-1568969996/watcher-4403179-1568969996 -o /var/tmp/evaluation-result-4403179-1568969996/solver-4403179-1568969996 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1568967597-26298 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=673415012 HOME/instance-4403179-1568969996.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=26745, runsolver pid=26742
Current StackSize limit: 8192 KiB
[startup+0.100112 s]*
/proc/loadavg: 1.67 1.70 1.62 3/224 26782
/proc/meminfo: memFree=2531504/32770624 swapFree=66976736/67108860
[pid=26745] ppid=26742 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/26745/stat : 26745 (bash) S 26742 26745 26267 0 -1 4202496 893 5668 0 1 0 0 0 1 20 0 1 0 472939735 115974144 404 33554432000 4194304 5098028 140726140848096 140726140842104 140003370155008 0 0 4100 65536 18446744071580971376 0 0 17 0 0 0 0 0 0 7196144 7232144 13434880 140726140851201 140726140851329 140726140851329 140726140854254 0
/proc/26745/statm: 28314 404 320 221 0 119 0
[pid=26772] ppid=26745 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/26772/stat : 26772 (bash) S 26745 26745 26267 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 1 0 472939738 115974144 178 33554432000 4194304 5098028 140726140848096 140726140840776 140003369980540 0 65536 4096 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13434880 140726140851201 140726140851329 140726140851329 140726140854254 0
/proc/26772/statm: 28314 178 94 221 0 119 0
[pid=26773] ppid=26772 vsize=10260324 memory=21764 CPUtime=0.04 cores=0,2,4,6
/proc/26773/stat : 26773 (java) S 26772 26745 26267 0 -1 1077944320 4346 0 0 0 3 1 0 0 20 0 9 0 472939738 10506571776 5441 33554432000 4194304 4196468 140721118913776 140721118896320 140152339496695 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30785536 140721118917756 140721118917770 140721118917770 140721118920655 0
/proc/26773/statm: 2565081 5441 2161 1 0 2527622 0
[pid=26773/tid=26775] ppid=26772 vsize=10260324 memory=8514701219880993954 CPUtime=0.02 cores=0,2,4,6
/proc/26773/task/26775/stat : 26775 (java) R 26772 26745 26267 0 -1 4202560 3003 0 0 0 2 0 0 0 20 0 9 0 472939739 10506571776 5441 33554432000 4194304 4196468 140721118913776 140152343734640 140152339518621 0 4 0 16800971 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30785536 140721118917756 140721118917770 140721118917770 140721118920655 0
[pid=26773/tid=26776] ppid=26772 vsize=10260324 memory=6944656425122832000 CPUtime=0 cores=0,2,4,6
/proc/26773/task/26776/stat : 26776 (java) S 26772 26745 26267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 472939743 10506571776 5441 33554432000 4194304 4196468 140721118913776 140152300456464 140152339506901 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30785536 140721118917756 140721118917770 140721118917770 140721118920655 0
[pid=26773/tid=26777] ppid=26772 vsize=10260324 memory=140078155773568 CPUtime=0 cores=0,2,4,6
/proc/26773/task/26777/stat : 26777 (java) S 26772 26745 26267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 472939743 10506571776 5441 33554432000 4194304 4196468 140721118913776 140151945403024 140152339506901 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30785536 140721118917756 140721118917770 140721118917770 140721118920655 0
[pid=26773/tid=26778] ppid=26772 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26773/task/26778/stat : 26778 (java) S 26772 26745 26267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 472939743 10506571776 5441 33554432000 4194304 4196468 140721118913776 140151944349968 140152339506901 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30785536 140721118917756 140721118917770 140721118917770 140721118920655 0
[pid=26773/tid=26779] ppid=26772 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26773/task/26779/stat : 26779 (java) S 26772 26745 26267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 472939743 10506571776 5441 33554432000 4194304 4196468 140721118913776 140151943297424 140152339506901 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30785536 140721118917756 140721118917770 140721118917770 140721118920655 0
[pid=26773/tid=26780] ppid=26772 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26773/task/26780/stat : 26780 (java) S 26772 26745 26267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 472939744 10506571776 5441 33554432000 4194304 4196468 140721118913776 140151898671856 140152339507842 0 0 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30785536 140721118917756 140721118917770 140721118917770 140721118920655 0
[pid=26773/tid=26781] ppid=26772 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26773/task/26781/stat : 26781 (java) S 26772 26745 26267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 472939745 10506571776 5441 33554432000 4194304 4196468 140721118913776 140151897618080 140152339506901 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30785536 140721118917756 140721118917770 140721118917770 140721118920655 0
[pid=26773/tid=26782] ppid=26772 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26773/task/26782/stat : 26782 (java) S 26772 26745 26267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 472939745 10506571776 5441 33554432000 4194304 4196468 140721118913776 140151829292272 140152339506901 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30785536 140721118917756 140721118917770 140721118917770 140721118920655 0
[pid=26774] ppid=26772 vsize=584 memory=4 CPUtime=0 cores=0,2,4,6
/proc/26774/stat : 26774 (awk) D 26772 26745 26267 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 472939738 598016 1 33554432000 0 0 140720309949612 140726140840840 140003369982455 0 0 4096 0 18446744071580431491 0 0 17 2 0 0 0 0 0 0 0 6746112 140720309949612 0 0 0 0
/proc/26774/statm: 146 1 0 0 0 42 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10487420 KiB
Current children cumulated memory: 24096 KiB
[startup+0.210376 s]*
/proc/loadavg: 1.67 1.70 1.62 4/227 26811
/proc/meminfo: memFree=2523412/32770624 swapFree=66976736/67108860
[pid=26745] ppid=26742 vsize=10819416 memory=31920 CPUtime=0.17 cores=0,2,4,6
/proc/26745/stat : 26745 (java) S 26742 26745 26267 0 -1 1077944320 6351 13386 0 2 8 1 5 3 20 0 15 0 472939735 11079081984 7980 33554432000 4194304 4196468 140721386646000 140721386628544 140485505449719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
/proc/26745/statm: 2704854 7980 2941 1 0 2667149 0
[pid=26745/tid=26798] ppid=26742 vsize=10819416 memory=-8540663193526752614 CPUtime=0.14 cores=0,2,4,6
/proc/26745/task/26798/stat : 26798 (java) R 26742 26745 26267 0 -1 4202560 3445 13386 0 2 6 0 5 3 20 0 15 0 472939749 11079081984 7980 33554432000 4194304 4196468 140721386646000 140485477288496 140485108800071 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26799] ppid=26742 vsize=10819416 memory=4211973804360564106 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26799/stat : 26799 (java) S 26742 26745 26267 0 -1 1077944384 1 13386 0 2 0 0 5 3 20 0 15 0 472939750 11079081984 7980 33554432000 4194304 4196468 140721386646000 140485509692432 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26800] ppid=26742 vsize=10819416 memory=140078155773568 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26800/stat : 26800 (java) S 26742 26745 26267 0 -1 1077944384 1 13386 0 2 0 0 5 3 20 0 15 0 472939750 11079081984 7980 33554432000 4194304 4196468 140721386646000 140485078211728 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26801] ppid=26742 vsize=10819416 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26801/stat : 26801 (java) S 26742 26745 26267 0 -1 1077944384 1 13386 0 2 0 0 5 3 20 0 15 0 472939750 11079081984 7980 33554432000 4194304 4196468 140721386646000 140485077158672 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26802] ppid=26742 vsize=10819416 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26802/stat : 26802 (java) S 26742 26745 26267 0 -1 1077944384 2 13386 0 2 0 0 5 3 20 0 15 0 472939750 11079081984 7980 33554432000 4194304 4196468 140721386646000 140485076106128 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26803] ppid=26742 vsize=10819416 memory=140078155773568 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26803/stat : 26803 (java) S 26742 26745 26267 0 -1 1077944384 2 13386 0 2 0 0 5 3 20 0 15 0 472939751 11079081984 7980 33554432000 4194304 4196468 140721386646000 140485032012016 140485505460866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26804] ppid=26742 vsize=10819416 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26804/stat : 26804 (java) S 26742 26745 26267 0 -1 1077944384 13 13386 0 2 0 0 5 3 20 0 15 0 472939752 11079081984 7980 33554432000 4194304 4196468 140721386646000 140484957693088 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26805] ppid=26742 vsize=10819416 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26805/stat : 26805 (java) S 26742 26745 26267 0 -1 1077944384 1 13386 0 2 0 0 5 3 20 0 15 0 472939752 11079081984 7980 33554432000 4194304 4196468 140721386646000 140484353712880 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26806] ppid=26742 vsize=10819416 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26806/stat : 26806 (java) S 26742 26745 26267 0 -1 1077944384 3 13386 0 2 0 0 5 3 20 0 15 0 472939755 11079081984 7980 33554432000 4194304 4196468 140721386646000 140484046313424 140485505468315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26807] ppid=26742 vsize=10819416 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26807/stat : 26807 (java) S 26742 26745 26267 0 -1 1077944384 429 13386 0 2 0 0 5 3 20 0 15 0 472939755 11079081984 7980 33554432000 4194304 4196468 140721386646000 140485030959856 140485505460866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26808] ppid=26742 vsize=10819416 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26808/stat : 26808 (java) S 26742 26745 26267 0 -1 1077944384 9 13386 0 2 0 0 5 3 20 0 15 0 472939755 11079081984 7980 33554432000 4194304 4196468 140721386646000 140485029907312 140485505460866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26809] ppid=26742 vsize=10819416 memory=140078155773568 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26809/stat : 26809 (java) R 26742 26745 26267 0 -1 4202560 244 13386 0 2 0 0 5 3 20 0 15 0 472939755 11079081984 7980 33554432000 4194304 4196468 140721386646000 140485028854256 140485486690032 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26810] ppid=26742 vsize=10819416 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26810/stat : 26810 (java) S 26742 26745 26267 0 -1 1077944384 3 13386 0 2 0 0 5 3 20 0 15 0 472939755 11079081984 7980 33554432000 4194304 4196468 140721386646000 140484012755808 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26811] ppid=26742 vsize=10819416 memory=140078155773568 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26811/stat : 26811 (java) S 26742 26745 26267 0 -1 1077944384 1 13386 0 2 0 0 5 3 20 0 15 0 472939755 11079081984 7980 33554432000 4194304 4196468 140721386646000 140485027801648 140485505460866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 10819416 KiB
Current children cumulated memory: 31920 KiB
[startup+0.310431 s]*
/proc/loadavg: 1.67 1.70 1.62 5/227 26811
/proc/meminfo: memFree=2505936/32770624 swapFree=66976736/67108860
[pid=26745] ppid=26742 vsize=10820196 memory=48032 CPUtime=0.34 cores=0,2,4,6
/proc/26745/stat : 26745 (java) S 26742 26745 26267 0 -1 1077944320 10221 13386 0 2 24 2 5 3 20 0 15 0 472939735 11079880704 12008 33554432000 4194304 4196468 140721386646000 140721386628544 140485505449719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
/proc/26745/statm: 2705049 12008 3300 1 0 2667149 0
[pid=26745/tid=26798] ppid=26742 vsize=10820196 memory=6791534058613427641 CPUtime=0.24 cores=0,2,4,6
/proc/26745/task/26798/stat : 26798 (java) R 26742 26745 26267 0 -1 4202560 6716 13386 0 2 15 1 5 3 20 0 15 0 472939749 11079880704 12008 33554432000 4194304 4196468 140721386646000 140485477271200 140485488636528 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26799] ppid=26742 vsize=10820196 memory=-7003737579269690708 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26799/stat : 26799 (java) S 26742 26745 26267 0 -1 1077944384 1 13386 0 2 0 0 5 3 20 0 15 0 472939750 11079880704 12008 33554432000 4194304 4196468 140721386646000 140485509692432 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26800] ppid=26742 vsize=10820196 memory=-8187100386482147110 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26800/stat : 26800 (java) S 26742 26745 26267 0 -1 1077944384 1 13386 0 2 0 0 5 3 20 0 15 0 472939750 11079880704 12008 33554432000 4194304 4196468 140721386646000 140485078211728 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26801] ppid=26742 vsize=10820196 memory=8326441112148417179 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26801/stat : 26801 (java) S 26742 26745 26267 0 -1 1077944384 1 13386 0 2 0 0 5 3 20 0 15 0 472939750 11079880704 12008 33554432000 4194304 4196468 140721386646000 140485077158672 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26802] ppid=26742 vsize=10820196 memory=6935054825532540783 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26802/stat : 26802 (java) S 26742 26745 26267 0 -1 1077944384 2 13386 0 2 0 0 5 3 20 0 15 0 472939750 11079880704 12008 33554432000 4194304 4196468 140721386646000 140485076106128 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26803] ppid=26742 vsize=10820196 memory=140078155780561 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26803/stat : 26803 (java) S 26742 26745 26267 0 -1 1077944384 2 13386 0 2 0 0 5 3 20 0 15 0 472939751 11079880704 12008 33554432000 4194304 4196468 140721386646000 140485032012016 140485505460866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26804] ppid=26742 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26804/stat : 26804 (java) S 26742 26745 26267 0 -1 1077944384 13 13386 0 2 0 0 5 3 20 0 15 0 472939752 11079880704 12008 33554432000 4194304 4196468 140721386646000 140484957693088 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26805] ppid=26742 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26805/stat : 26805 (java) S 26742 26745 26267 0 -1 1077944384 1 13386 0 2 0 0 5 3 20 0 15 0 472939752 11079880704 12008 33554432000 4194304 4196468 140721386646000 140484353712880 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26806] ppid=26742 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26806/stat : 26806 (java) S 26742 26745 26267 0 -1 1077944384 3 13386 0 2 0 0 5 3 20 0 15 0 472939755 11079880704 12008 33554432000 4194304 4196468 140721386646000 140484046313424 140485505468315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26807] ppid=26742 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/26745/task/26807/stat : 26807 (java) S 26742 26745 26267 0 -1 1077944384 476 13386 0 2 2 0 5 3 20 0 15 0 472939755 11079880704 12008 33554432000 4194304 4196468 140721386646000 140485030959856 140485505460866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26808] ppid=26742 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/26745/task/26808/stat : 26808 (java) S 26742 26745 26267 0 -1 1077944384 186 13386 0 2 1 0 5 3 20 0 15 0 472939755 11079880704 12008 33554432000 4194304 4196468 140721386646000 140485029907312 140485505460866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26809] ppid=26742 vsize=10820196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/26745/task/26809/stat : 26809 (java) S 26742 26745 26267 0 -1 1077944384 608 13386 0 2 4 0 5 3 20 0 15 0 472939755 11079880704 12008 33554432000 4194304 4196468 140721386646000 140485028854256 140485505460866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26810] ppid=26742 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26810/stat : 26810 (java) S 26742 26745 26267 0 -1 1077944384 3 13386 0 2 0 0 5 3 20 0 15 0 472939755 11079880704 12008 33554432000 4194304 4196468 140721386646000 140484012755808 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26811] ppid=26742 vsize=10820196 memory=140078155773568 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26811/stat : 26811 (java) S 26742 26745 26267 0 -1 1077944384 1 13386 0 2 0 0 5 3 20 0 15 0 472939755 11079880704 12008 33554432000 4194304 4196468 140721386646000 140485027801648 140485505460866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 48032 KiB
[startup+0.700744 s]
/proc/loadavg: 1.67 1.70 1.62 4/227 26811
/proc/meminfo: memFree=2492872/32770624 swapFree=66976736/67108860
[pid=26745] ppid=26742 vsize=10822316 memory=78328 CPUtime=1.06 cores=0,2,4,6
/proc/26745/stat : 26745 (java) S 26742 26745 26267 0 -1 1077944320 14881 13386 0 2 94 4 5 3 20 0 15 0 472939735 11082051584 19582 33554432000 4194304 4196468 140721386646000 140721386628544 140485505449719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
/proc/26745/statm: 2705579 19582 3504 1 0 2667661 0
[pid=26745/tid=26798] ppid=26742 vsize=10822316 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/26745/task/26798/stat : 26798 (java) R 26742 26745 26267 0 -1 4202560 10279 13386 0 2 52 3 5 3 20 0 15 0 472939749 11082051584 19582 33554432000 4194304 4196468 140721386646000 140485477278048 140485505461654 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26799] ppid=26742 vsize=10822316 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26799/stat : 26799 (java) S 26742 26745 26267 0 -1 1077944384 1 13386 0 2 0 0 5 3 20 0 15 0 472939750 11082051584 19582 33554432000 4194304 4196468 140721386646000 140485509692432 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26800] ppid=26742 vsize=10822316 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26800/stat : 26800 (java) S 26742 26745 26267 0 -1 1077944384 1 13386 0 2 0 0 5 3 20 0 15 0 472939750 11082051584 19582 33554432000 4194304 4196468 140721386646000 140485078211728 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26801] ppid=26742 vsize=10822316 memory=4627829647351778678 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26801/stat : 26801 (java) S 26742 26745 26267 0 -1 1077944384 1 13386 0 2 0 0 5 3 20 0 15 0 472939750 11082051584 19582 33554432000 4194304 4196468 140721386646000 140485077158672 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26802] ppid=26742 vsize=10822316 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26802/stat : 26802 (java) S 26742 26745 26267 0 -1 1077944384 2 13386 0 2 0 0 5 3 20 0 15 0 472939750 11082051584 19582 33554432000 4194304 4196468 140721386646000 140485076106128 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26803] ppid=26742 vsize=10822316 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26803/stat : 26803 (java) S 26742 26745 26267 0 -1 1077944384 5 13386 0 2 0 0 5 3 20 0 15 0 472939751 11082051584 19582 33554432000 4194304 4196468 140721386646000 140485032012016 140485505460866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26804] ppid=26742 vsize=10822316 memory=3620 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26804/stat : 26804 (java) S 26742 26745 26267 0 -1 1077944384 13 13386 0 2 0 0 5 3 20 0 15 0 472939752 11082051584 19582 33554432000 4194304 4196468 140721386646000 140484957693088 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26805] ppid=26742 vsize=10822316 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26805/stat : 26805 (java) S 26742 26745 26267 0 -1 1077944384 1 13386 0 2 0 0 5 3 20 0 15 0 472939752 11082051584 19582 33554432000 4194304 4196468 140721386646000 140484353712880 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26806] ppid=26742 vsize=10822316 memory=14837461314444328 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26806/stat : 26806 (java) S 26742 26745 26267 0 -1 1077944384 3 13386 0 2 0 0 5 3 20 0 15 0 472939755 11082051584 19582 33554432000 4194304 4196468 140721386646000 140484046313424 140485505468315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26807] ppid=26742 vsize=10822316 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/26745/task/26807/stat : 26807 (java) R 26742 26745 26267 0 -1 1077944384 936 13386 0 2 13 0 5 3 20 0 15 0 472939755 11082051584 19582 33554432000 4194304 4196468 140721386646000 140485030959856 140485505460866 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26808] ppid=26742 vsize=10822316 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/26745/task/26808/stat : 26808 (java) R 26742 26745 26267 0 -1 4202560 653 13386 0 2 10 0 5 3 20 0 15 0 472939755 11082051584 19582 33554432000 4194304 4196468 140721386646000 140485029907312 140485489837042 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26809] ppid=26742 vsize=10822316 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/26745/task/26809/stat : 26809 (java) R 26742 26745 26267 0 -1 4202560 775 13386 0 2 16 0 5 3 20 0 15 0 472939755 11082051584 19582 33554432000 4194304 4196468 140721386646000 140485028854256 140485484404702 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26810] ppid=26742 vsize=10822316 memory=280156019097840 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26810/stat : 26810 (java) S 26742 26745 26267 0 -1 1077944384 3 13386 0 2 0 0 5 3 20 0 15 0 472939755 11082051584 19582 33554432000 4194304 4196468 140721386646000 140484012755808 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26811] ppid=26742 vsize=10822316 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26811/stat : 26811 (java) S 26742 26745 26267 0 -1 1077944384 1 13386 0 2 0 0 5 3 20 0 15 0 472939755 11082051584 19582 33554432000 4194304 4196468 140721386646000 140485027801648 140485505460866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 10822316 KiB
Current children cumulated memory: 78328 KiB
[startup+1.50077 s]
/proc/loadavg: 1.67 1.70 1.62 3/227 26811
/proc/meminfo: memFree=2457324/32770624 swapFree=66976736/67108860
[pid=26745] ppid=26742 vsize=10834680 memory=168552 CPUtime=2.38 cores=0,2,4,6
/proc/26745/stat : 26745 (java) S 26742 26745 26267 0 -1 1077944320 21652 13386 0 2 223 7 5 3 20 0 15 0 472939735 11094712320 42138 33554432000 4194304 4196468 140721386646000 140721386628544 140485505449719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
/proc/26745/statm: 2708670 42138 3583 1 0 2670733 0
[pid=26745/tid=26798] ppid=26742 vsize=10834680 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/26745/task/26798/stat : 26798 (java) R 26742 26745 26267 0 -1 4202560 15239 13386 0 2 127 4 5 3 20 0 15 0 472939749 11094712320 42138 33554432000 4194304 4196468 140721386646000 140485477274224 140485505461654 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26799] ppid=26742 vsize=10834680 memory=94000 CPUtime=0.09 cores=0,2,4,6
/proc/26745/task/26799/stat : 26799 (java) S 26742 26745 26267 0 -1 1077944384 78 13386 0 2 1 0 5 3 20 0 15 0 472939750 11094712320 42138 33554432000 4194304 4196468 140721386646000 140485509692432 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26800] ppid=26742 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/26745/task/26800/stat : 26800 (java) S 26742 26745 26267 0 -1 1077944384 27 13386 0 2 1 0 5 3 20 0 15 0 472939750 11094712320 42138 33554432000 4194304 4196468 140721386646000 140485078211728 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26801] ppid=26742 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/26745/task/26801/stat : 26801 (java) S 26742 26745 26267 0 -1 1077944384 46 13386 0 2 1 0 5 3 20 0 15 0 472939750 11094712320 42138 33554432000 4194304 4196468 140721386646000 140485077158672 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26802] ppid=26742 vsize=10834680 memory=280156019164864 CPUtime=0.09 cores=0,2,4,6
/proc/26745/task/26802/stat : 26802 (java) S 26742 26745 26267 0 -1 1077944384 394 13386 0 2 1 0 5 3 20 0 15 0 472939750 11094712320 42138 33554432000 4194304 4196468 140721386646000 140485076106128 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26803] ppid=26742 vsize=10834680 memory=280156019142816 CPUtime=0.09 cores=0,2,4,6
/proc/26745/task/26803/stat : 26803 (java) S 26742 26745 26267 0 -1 1077944384 150 13386 0 2 1 0 5 3 20 0 15 0 472939751 11094712320 42138 33554432000 4194304 4196468 140721386646000 140485032012016 140485505460866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26804] ppid=26742 vsize=10834680 memory=280156165364464 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26804/stat : 26804 (java) S 26742 26745 26267 0 -1 1077944384 15 13386 0 2 0 0 5 3 20 0 15 0 472939752 11094712320 42138 33554432000 4194304 4196468 140721386646000 140484957693152 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26805] ppid=26742 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
################
# More data... #
################
/proc/26745/task/26798/stat : 26798 (java) R 26742 26745 26267 0 -1 4202560 67652 13386 0 2 223589 50 5 3 20 0 15 0 472939749 11109412864 232897 33554432000 4194304 4196468 140721386646000 140485477285984 140485125253215 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26799] ppid=26742 vsize=10849036 memory=931588 CPUtime=11.88 cores=0,2,4,6
/proc/26745/task/26799/stat : 26799 (java) S 26742 26745 26267 0 -1 1077944384 7941 13386 0 2 1123 57 5 3 20 0 15 0 472939750 11109412864 232897 33554432000 4194304 4196468 140721386646000 140485509692432 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26800] ppid=26742 vsize=10849036 memory=931588 CPUtime=11.84 cores=0,2,4,6
/proc/26745/task/26800/stat : 26800 (java) S 26742 26745 26267 0 -1 1077944384 9835 13386 0 2 1121 55 5 3 20 0 15 0 472939750 11109412864 232897 33554432000 4194304 4196468 140721386646000 140485078211728 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26801] ppid=26742 vsize=10849036 memory=931588 CPUtime=11.88 cores=0,2,4,6
/proc/26745/task/26801/stat : 26801 (java) S 26742 26745 26267 0 -1 1077944384 14657 13386 0 2 1127 53 5 3 20 0 15 0 472939750 11109412864 232897 33554432000 4194304 4196468 140721386646000 140485077158672 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26802] ppid=26742 vsize=10849036 memory=931588 CPUtime=11.88 cores=0,2,4,6
/proc/26745/task/26802/stat : 26802 (java) S 26742 26745 26267 0 -1 1077944384 12147 13386 0 2 1118 62 5 3 20 0 15 0 472939750 11109412864 232897 33554432000 4194304 4196468 140721386646000 140485076106128 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26803] ppid=26742 vsize=10849036 memory=931588 CPUtime=10.67 cores=0,2,4,6
/proc/26745/task/26803/stat : 26803 (java) S 26742 26745 26267 0 -1 1077944384 13232 13386 0 2 1002 57 5 3 20 0 15 0 472939751 11109412864 232897 33554432000 4194304 4196468 140721386646000 140485032012016 140485505460866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26804] ppid=26742 vsize=10849036 memory=931588 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26804/stat : 26804 (java) S 26742 26745 26267 0 -1 1077944384 16 13386 0 2 0 0 5 3 20 0 15 0 472939752 11109412864 232897 33554432000 4194304 4196468 140721386646000 140484957693216 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26805] ppid=26742 vsize=10849036 memory=2008 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26805/stat : 26805 (java) S 26742 26745 26267 0 -1 1077944384 10 13386 0 2 0 0 5 3 20 0 15 0 472939752 11109412864 232897 33554432000 4194304 4196468 140721386646000 140484353712896 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26806] ppid=26742 vsize=10849036 memory=1436 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26806/stat : 26806 (java) S 26742 26745 26267 0 -1 1077944384 3 13386 0 2 0 0 5 3 20 0 15 0 472939755 11109412864 232897 33554432000 4194304 4196468 140721386646000 140484046313424 140485505468315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26807] ppid=26742 vsize=10849036 memory=931588 CPUtime=3.02 cores=0,2,4,6
/proc/26745/task/26807/stat : 26807 (java) S 26742 26745 26267 0 -1 1077944384 11901 13386 0 2 292 2 5 3 20 0 15 0 472939755 11109412864 232897 33554432000 4194304 4196468 140721386646000 140485030959856 140485505460866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26808] ppid=26742 vsize=10849036 memory=931588 CPUtime=3.18 cores=0,2,4,6
/proc/26745/task/26808/stat : 26808 (java) S 26742 26745 26267 0 -1 1077944384 18575 13386 0 2 307 3 5 3 20 0 15 0 472939755 11109412864 232897 33554432000 4194304 4196468 140721386646000 140485029907312 140485505460866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26809] ppid=26742 vsize=10849036 memory=931588 CPUtime=1.89 cores=0,2,4,6
/proc/26745/task/26809/stat : 26809 (java) S 26742 26745 26267 0 -1 1077944384 11967 13386 0 2 178 3 5 3 20 0 15 0 472939755 11109412864 232897 33554432000 4194304 4196468 140721386646000 140485028854256 140485505460866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26810] ppid=26742 vsize=10849036 memory=931588 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26810/stat : 26810 (java) S 26742 26745 26267 0 -1 1077944384 3 13386 0 2 0 0 5 3 20 0 15 0 472939755 11109412864 232897 33554432000 4194304 4196468 140721386646000 140484012755808 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26811] ppid=26742 vsize=10849036 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/26745/task/26811/stat : 26811 (java) S 26742 26745 26267 0 -1 1077944384 855 13386 0 2 69 65 5 3 20 0 15 0 472939755 11109412864 232897 33554432000 4194304 4196468 140721386646000 140485027801648 140485505460866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
Current children cumulated CPU time: 2303.51 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 931588 KiB
[startup+2322.3 s]
/proc/loadavg: 1.44 1.46 1.48 3/227 27689
/proc/meminfo: memFree=2414416/32770624 swapFree=66976736/67108860
[pid=26745] ppid=26742 vsize=10849036 memory=931588 CPUtime=2364.5 cores=0,2,4,6
/proc/26745/stat : 26745 (java) S 26742 26745 26267 0 -1 1077944320 172228 13386 0 2 236090 352 5 3 20 0 15 0 472939735 11109412864 232897 33554432000 4194304 4196468 140721386646000 140721386628544 140485505449719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
/proc/26745/statm: 2712259 232897 3629 1 0 2674317 0
[pid=26745/tid=26798] ppid=26742 vsize=10849036 memory=931588 CPUtime=2295.73 cores=0,2,4,6
/proc/26745/task/26798/stat : 26798 (java) R 26742 26745 26267 0 -1 4202560 68321 13386 0 2 229515 50 5 3 20 0 15 0 472939749 11109412864 232897 33554432000 4194304 4196468 140721386646000 140485477285792 140485124246080 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26799] ppid=26742 vsize=10849036 memory=931588 CPUtime=12.22 cores=0,2,4,6
/proc/26745/task/26799/stat : 26799 (java) S 26742 26745 26267 0 -1 1077944384 8099 13386 0 2 1156 58 5 3 20 0 15 0 472939750 11109412864 232897 33554432000 4194304 4196468 140721386646000 140485509692432 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26800] ppid=26742 vsize=10849036 memory=931588 CPUtime=12.18 cores=0,2,4,6
/proc/26745/task/26800/stat : 26800 (java) S 26742 26745 26267 0 -1 1077944384 9850 13386 0 2 1154 56 5 3 20 0 15 0 472939750 11109412864 232897 33554432000 4194304 4196468 140721386646000 140485078211728 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26801] ppid=26742 vsize=10849036 memory=931588 CPUtime=12.23 cores=0,2,4,6
/proc/26745/task/26801/stat : 26801 (java) S 26742 26745 26267 0 -1 1077944384 14768 13386 0 2 1160 55 5 3 20 0 15 0 472939750 11109412864 232897 33554432000 4194304 4196468 140721386646000 140485077158672 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26802] ppid=26742 vsize=10849036 memory=931588 CPUtime=12.23 cores=0,2,4,6
/proc/26745/task/26802/stat : 26802 (java) S 26742 26745 26267 0 -1 1077944384 12202 13386 0 2 1150 65 5 3 20 0 15 0 472939750 11109412864 232897 33554432000 4194304 4196468 140721386646000 140485076106128 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26803] ppid=26742 vsize=10849036 memory=931588 CPUtime=10.97 cores=0,2,4,6
/proc/26745/task/26803/stat : 26803 (java) S 26742 26745 26267 0 -1 1077944384 13433 13386 0 2 1031 58 5 3 20 0 15 0 472939751 11109412864 232897 33554432000 4194304 4196468 140721386646000 140485032012016 140485505460866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26804] ppid=26742 vsize=10849036 memory=931588 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26804/stat : 26804 (java) S 26742 26745 26267 0 -1 1077944384 16 13386 0 2 0 0 5 3 20 0 15 0 472939752 11109412864 232897 33554432000 4194304 4196468 140721386646000 140484957693216 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26805] ppid=26742 vsize=10849036 memory=931588 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26805/stat : 26805 (java) S 26742 26745 26267 0 -1 1077944384 10 13386 0 2 0 0 5 3 20 0 15 0 472939752 11109412864 232897 33554432000 4194304 4196468 140721386646000 140484353712896 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26806] ppid=26742 vsize=10849036 memory=931588 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26806/stat : 26806 (java) S 26742 26745 26267 0 -1 1077944384 3 13386 0 2 0 0 5 3 20 0 15 0 472939755 11109412864 232897 33554432000 4194304 4196468 140721386646000 140484046313424 140485505468315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26807] ppid=26742 vsize=10849036 memory=931588 CPUtime=3.02 cores=0,2,4,6
/proc/26745/task/26807/stat : 26807 (java) S 26742 26745 26267 0 -1 1077944384 11903 13386 0 2 292 2 5 3 20 0 15 0 472939755 11109412864 232897 33554432000 4194304 4196468 140721386646000 140485030959856 140485505460866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26808] ppid=26742 vsize=10849036 memory=931588 CPUtime=3.18 cores=0,2,4,6
/proc/26745/task/26808/stat : 26808 (java) S 26742 26745 26267 0 -1 1077944384 18577 13386 0 2 307 3 5 3 20 0 15 0 472939755 11109412864 232897 33554432000 4194304 4196468 140721386646000 140485029907312 140485505460866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26809] ppid=26742 vsize=10849036 memory=931588 CPUtime=1.89 cores=0,2,4,6
/proc/26745/task/26809/stat : 26809 (java) S 26742 26745 26267 0 -1 1077944384 11969 13386 0 2 178 3 5 3 20 0 15 0 472939755 11109412864 232897 33554432000 4194304 4196468 140721386646000 140485028854256 140485505460866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26810] ppid=26742 vsize=10849036 memory=931588 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26810/stat : 26810 (java) S 26742 26745 26267 0 -1 1077944384 3 13386 0 2 0 0 5 3 20 0 15 0 472939755 11109412864 232897 33554432000 4194304 4196468 140721386646000 140484012755808 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26811] ppid=26742 vsize=10849036 memory=931588 CPUtime=1.46 cores=0,2,4,6
/proc/26745/task/26811/stat : 26811 (java) S 26742 26745 26267 0 -1 1077944384 867 13386 0 2 72 66 5 3 20 0 15 0 472939755 11109412864 232897 33554432000 4194304 4196468 140721386646000 140485027801648 140485505460866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
Current children cumulated CPU time: 2364.5 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 931588 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2357.3 s]
/proc/loadavg: 1.47 1.46 1.48 3/227 27693
/proc/meminfo: memFree=2451696/32770624 swapFree=66976736/67108860
[pid=26745] ppid=26742 vsize=10849036 memory=933636 CPUtime=2400.08 cores=0,2,4,6
/proc/26745/stat : 26745 (java) S 26742 26745 26267 0 -1 1077944320 173635 13386 0 2 239642 358 5 3 20 0 15 0 472939735 11109412864 233409 33554432000 4194304 4196468 140721386646000 140721386628544 140485505449719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
/proc/26745/statm: 2712259 233409 3629 1 0 2674317 0
[pid=26745/tid=26798] ppid=26742 vsize=10849036 memory=933636 CPUtime=2330.32 cores=0,2,4,6
/proc/26745/task/26798/stat : 26798 (java) R 26742 26745 26267 0 -1 4202560 68943 13386 0 2 232973 51 5 3 20 0 15 0 472939749 11109412864 233409 33554432000 4194304 4196468 140721386646000 140485477285600 140485124246080 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26799] ppid=26742 vsize=10849036 memory=933636 CPUtime=12.42 cores=0,2,4,6
/proc/26745/task/26799/stat : 26799 (java) S 26742 26745 26267 0 -1 1077944384 8141 13386 0 2 1175 59 5 3 20 0 15 0 472939750 11109412864 233409 33554432000 4194304 4196468 140721386646000 140485509692432 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26800] ppid=26742 vsize=10849036 memory=927492 CPUtime=12.38 cores=0,2,4,6
/proc/26745/task/26800/stat : 26800 (java) S 26742 26745 26267 0 -1 1077944384 10010 13386 0 2 1173 57 5 3 20 0 15 0 472939750 11109412864 233409 33554432000 4194304 4196468 140721386646000 140485078211728 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26801] ppid=26742 vsize=10849036 memory=933636 CPUtime=12.42 cores=0,2,4,6
/proc/26745/task/26801/stat : 26801 (java) S 26742 26745 26267 0 -1 1077944384 15013 13386 0 2 1178 56 5 3 20 0 15 0 472939750 11109412864 233409 33554432000 4194304 4196468 140721386646000 140485077158672 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26802] ppid=26742 vsize=10849036 memory=933636 CPUtime=12.43 cores=0,2,4,6
/proc/26745/task/26802/stat : 26802 (java) S 26742 26745 26267 0 -1 1077944384 12315 13386 0 2 1170 65 5 3 20 0 15 0 472939750 11109412864 233409 33554432000 4194304 4196468 140721386646000 140485076106128 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26803] ppid=26742 vsize=10849036 memory=111636 CPUtime=11.14 cores=0,2,4,6
/proc/26745/task/26803/stat : 26803 (java) S 26742 26745 26267 0 -1 1077944384 13634 13386 0 2 1047 59 5 3 20 0 15 0 472939751 11109412864 233409 33554432000 4194304 4196468 140721386646000 140485032012016 140485505460866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26804] ppid=26742 vsize=10849036 memory=933636 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26804/stat : 26804 (java) S 26742 26745 26267 0 -1 1077944384 16 13386 0 2 0 0 5 3 20 0 15 0 472939752 11109412864 233409 33554432000 4194304 4196468 140721386646000 140484957693216 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26805] ppid=26742 vsize=10849036 memory=294 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26805/stat : 26805 (java) S 26742 26745 26267 0 -1 1077944384 10 13386 0 2 0 0 5 3 20 0 15 0 472939752 11109412864 233409 33554432000 4194304 4196468 140721386646000 140484353712896 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26806] ppid=26742 vsize=10849036 memory=280154073047980 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26806/stat : 26806 (java) S 26742 26745 26267 0 -1 1077944384 3 13386 0 2 0 0 5 3 20 0 15 0 472939755 11109412864 233409 33554432000 4194304 4196468 140721386646000 140484046313424 140485505468315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26807] ppid=26742 vsize=10849036 memory=6944656592455359580 CPUtime=3.02 cores=0,2,4,6
/proc/26745/task/26807/stat : 26807 (java) S 26742 26745 26267 0 -1 1077944384 11905 13386 0 2 292 2 5 3 20 0 15 0 472939755 11109412864 233409 33554432000 4194304 4196468 140721386646000 140485030959856 140485505460866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26808] ppid=26742 vsize=10849036 memory=1660 CPUtime=3.18 cores=0,2,4,6
/proc/26745/task/26808/stat : 26808 (java) S 26742 26745 26267 0 -1 1077944384 18579 13386 0 2 307 3 5 3 20 0 15 0 472939755 11109412864 233409 33554432000 4194304 4196468 140721386646000 140485029907312 140485505460866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26809] ppid=26742 vsize=10849036 memory=55428 CPUtime=1.89 cores=0,2,4,6
/proc/26745/task/26809/stat : 26809 (java) S 26742 26745 26267 0 -1 1077944384 11971 13386 0 2 178 3 5 3 20 0 15 0 472939755 11109412864 233409 33554432000 4194304 4196468 140721386646000 140485028854256 140485505460866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26810] ppid=26742 vsize=10849036 memory=933636 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26810/stat : 26810 (java) S 26742 26745 26267 0 -1 1077944384 3 13386 0 2 0 0 5 3 20 0 15 0 472939755 11109412864 233409 33554432000 4194304 4196468 140721386646000 140484012755808 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26811] ppid=26742 vsize=10849036 memory=55428 CPUtime=1.48 cores=0,2,4,6
/proc/26745/task/26811/stat : 26811 (java) S 26742 26745 26267 0 -1 1077944384 885 13386 0 2 73 67 5 3 20 0 15 0 472939755 11109412864 233409 33554432000 4194304 4196468 140721386646000 140485027801648 140485505460866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 933636 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2357.33 s]
# the end of solver process 26745 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.5 s, system=3.62035 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2357.3 s]
/proc/loadavg: 1.47 1.46 1.48 3/227 27693
/proc/meminfo: memFree=2451696/32770624 swapFree=66976736/67108860
[pid=26745] ppid=26742 vsize=10849036 memory=933636 CPUtime=2400.08 cores=0,2,4,6
/proc/26745/stat : 26745 (java) S 26742 26745 26267 0 -1 1077944320 173635 13386 0 2 239642 358 5 3 20 0 15 0 472939735 11109412864 233409 33554432000 4194304 4196468 140721386646000 140721386628544 140485505449719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
/proc/26745/statm: 2712259 233409 3629 1 0 2674317 0
[pid=26745/tid=26798] ppid=26742 vsize=10849036 memory=933636 CPUtime=2330.32 cores=0,2,4,6
/proc/26745/task/26798/stat : 26798 (java) R 26742 26745 26267 0 -1 4202560 68943 13386 0 2 232973 51 5 3 20 0 15 0 472939749 11109412864 233409 33554432000 4194304 4196468 140721386646000 140485477285600 140485124246080 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26799] ppid=26742 vsize=10849036 memory=933636 CPUtime=12.42 cores=0,2,4,6
/proc/26745/task/26799/stat : 26799 (java) S 26742 26745 26267 0 -1 1077944384 8141 13386 0 2 1175 59 5 3 20 0 15 0 472939750 11109412864 233409 33554432000 4194304 4196468 140721386646000 140485509692432 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26800] ppid=26742 vsize=10849036 memory=927492 CPUtime=12.38 cores=0,2,4,6
/proc/26745/task/26800/stat : 26800 (java) S 26742 26745 26267 0 -1 1077944384 10010 13386 0 2 1173 57 5 3 20 0 15 0 472939750 11109412864 233409 33554432000 4194304 4196468 140721386646000 140485078211728 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26801] ppid=26742 vsize=10849036 memory=933636 CPUtime=12.42 cores=0,2,4,6
/proc/26745/task/26801/stat : 26801 (java) S 26742 26745 26267 0 -1 1077944384 15013 13386 0 2 1178 56 5 3 20 0 15 0 472939750 11109412864 233409 33554432000 4194304 4196468 140721386646000 140485077158672 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26802] ppid=26742 vsize=10849036 memory=933636 CPUtime=12.43 cores=0,2,4,6
/proc/26745/task/26802/stat : 26802 (java) S 26742 26745 26267 0 -1 1077944384 12315 13386 0 2 1170 65 5 3 20 0 15 0 472939750 11109412864 233409 33554432000 4194304 4196468 140721386646000 140485076106128 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26803] ppid=26742 vsize=10849036 memory=111636 CPUtime=11.14 cores=0,2,4,6
/proc/26745/task/26803/stat : 26803 (java) S 26742 26745 26267 0 -1 1077944384 13634 13386 0 2 1047 59 5 3 20 0 15 0 472939751 11109412864 233409 33554432000 4194304 4196468 140721386646000 140485032012016 140485505460866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26804] ppid=26742 vsize=10849036 memory=933636 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26804/stat : 26804 (java) S 26742 26745 26267 0 -1 1077944384 16 13386 0 2 0 0 5 3 20 0 15 0 472939752 11109412864 233409 33554432000 4194304 4196468 140721386646000 140484957693216 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26805] ppid=26742 vsize=10849036 memory=294 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26805/stat : 26805 (java) S 26742 26745 26267 0 -1 1077944384 10 13386 0 2 0 0 5 3 20 0 15 0 472939752 11109412864 233409 33554432000 4194304 4196468 140721386646000 140484353712896 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26806] ppid=26742 vsize=10849036 memory=280154073047980 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26806/stat : 26806 (java) S 26742 26745 26267 0 -1 1077944384 3 13386 0 2 0 0 5 3 20 0 15 0 472939755 11109412864 233409 33554432000 4194304 4196468 140721386646000 140484046313424 140485505468315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26807] ppid=26742 vsize=10849036 memory=6944656592455359580 CPUtime=3.02 cores=0,2,4,6
/proc/26745/task/26807/stat : 26807 (java) S 26742 26745 26267 0 -1 1077944384 11905 13386 0 2 292 2 5 3 20 0 15 0 472939755 11109412864 233409 33554432000 4194304 4196468 140721386646000 140485030959856 140485505460866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26808] ppid=26742 vsize=10849036 memory=1660 CPUtime=3.18 cores=0,2,4,6
/proc/26745/task/26808/stat : 26808 (java) S 26742 26745 26267 0 -1 1077944384 18579 13386 0 2 307 3 5 3 20 0 15 0 472939755 11109412864 233409 33554432000 4194304 4196468 140721386646000 140485029907312 140485505460866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26809] ppid=26742 vsize=10849036 memory=55428 CPUtime=1.89 cores=0,2,4,6
/proc/26745/task/26809/stat : 26809 (java) S 26742 26745 26267 0 -1 1077944384 11971 13386 0 2 178 3 5 3 20 0 15 0 472939755 11109412864 233409 33554432000 4194304 4196468 140721386646000 140485028854256 140485505460866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26810] ppid=26742 vsize=10849036 memory=933636 CPUtime=0.08 cores=0,2,4,6
/proc/26745/task/26810/stat : 26810 (java) S 26742 26745 26267 0 -1 1077944384 3 13386 0 2 0 0 5 3 20 0 15 0 472939755 11109412864 233409 33554432000 4194304 4196468 140721386646000 140484012755808 140485505459925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
[pid=26745/tid=26811] ppid=26742 vsize=10849036 memory=55428 CPUtime=1.48 cores=0,2,4,6
/proc/26745/task/26811/stat : 26811 (java) S 26742 26745 26267 0 -1 1077944384 885 13386 0 2 73 67 5 3 20 0 15 0 472939755 11109412864 233409 33554432000 4194304 4196468 140721386646000 140485027801648 140485505460866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 30978048 140721386650212 140721386652853 140721386652853 140721386655695 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 933636 KiB
Child status: 143
Real time (s): 2357.33
CPU time (s): 2400.12
CPU user time (s): 2396.5
CPU system time (s): 3.62035
CPU usage (%): 101.815
Max. virtual memory (cumulated for all children) (KiB): 10849036
Max. memory (cumulated for all children) (KiB): 933636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.5
system time used= 3.62035
maximum resident set size= 937848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188039
page faults= 2
swaps= 0
block input operations= 256
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 288283
involuntary context switches= 12835
# summary of solver processes directly reported to runsolver:
# pid: 26745
# total CPU time (s): 2400.12
# total CPU user time (s): 2396.5
# total CPU system time (s): 3.62035
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0422 second user time and 22.7603 second system time
The end