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 (13837 MiB free)
memory of node 1: 16384 MiB (13963 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273617-1502795700/watcher-4273617-1502795700 -o /tmp/evaluation-result-4273617-1502795700/solver-4273617-1502795700 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502789816-11229 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 352238990 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273617-1502795700.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=11845, runsolver pid=11842
[startup+0.100203 s]*
/proc/loadavg: 1.50 1.48 1.47 2/216 11860
/proc/meminfo: memFree=28447240/32770624 swapFree=67108860/67108860
[pid=11845] ppid=11842 vsize=13980164 memory=33932 CPUtime=0.12 cores=0,2,4,6
/proc/11845/stat : 11845 (java) S 11842 11845 11198 0 -1 1077944320 8357 0 0 0 11 1 0 0 20 0 15 0 112651020 14315687936 8483 33554432000 4194304 4196468 140734787398096 140734787380640 139655909895927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
/proc/11845/statm: 3495041 8483 3412 1 0 3482761 0
[pid=11845/tid=11847] ppid=11842 vsize=13980164 memory=-7038777180040225399 CPUtime=0.09 cores=0,2,4,6
/proc/11845/task/11847/stat : 11847 (java) R 11842 11845 11198 0 -1 4202560 6325 0 0 0 8 1 0 0 20 0 15 0 112651020 14315687936 8483 33554432000 4194304 4196468 140734787398096 139655914085376 139655893976414 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11848] ppid=11842 vsize=13980164 memory=5793855250158205369 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11848/stat : 11848 (java) S 11842 11845 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112651021 14315687936 8483 33554432000 4194304 4196468 140734787398096 139655839984144 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11849] ppid=11842 vsize=13980164 memory=139999148312192 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11849/stat : 11849 (java) S 11842 11845 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112651021 14315687936 8483 33554432000 4194304 4196468 140734787398096 139655838931600 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11850] ppid=11842 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11850/stat : 11850 (java) S 11842 11845 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112651021 14315687936 8483 33554432000 4194304 4196468 140734787398096 139655837878544 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11851] ppid=11842 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11851/stat : 11851 (java) S 11842 11845 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112651021 14315687936 8483 33554432000 4194304 4196468 140734787398096 139655836826000 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11852] ppid=11842 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11852/stat : 11852 (java) S 11842 11845 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112651022 14315687936 8483 33554432000 4194304 4196468 140734787398096 139654821047024 139655909907074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11853] ppid=11842 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11853/stat : 11853 (java) S 11842 11845 11198 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112651023 14315687936 8483 33554432000 4194304 4196468 140734787398096 139654819993248 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11854] ppid=11842 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11854/stat : 11854 (java) S 11842 11845 11198 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112651023 14315687936 8483 33554432000 4194304 4196468 140734787398096 139654818940144 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11855] ppid=11842 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11855/stat : 11855 (java) S 11842 11845 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112651025 14315687936 8483 33554432000 4194304 4196468 140734787398096 139654817888720 139655909914523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11856] ppid=11842 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11856/stat : 11856 (java) S 11842 11845 11198 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 112651025 14315687936 8483 33554432000 4194304 4196468 140734787398096 139654816835824 139655909907074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11857] ppid=11842 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11857/stat : 11857 (java) S 11842 11845 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112651025 14315687936 8483 33554432000 4194304 4196468 140734787398096 139654815783280 139655909907074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11858] ppid=11842 vsize=13980164 memory=139999148312192 CPUtime=0.01 cores=0,2,4,6
/proc/11845/task/11858/stat : 11858 (java) R 11842 11845 11198 0 -1 4202560 353 0 0 0 1 0 0 0 20 0 15 0 112651025 14315687936 8483 33554432000 4194304 4196468 140734787398096 139654814730224 139655888904515 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11859] ppid=11842 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11859/stat : 11859 (java) S 11842 11845 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112651026 14315687936 8483 33554432000 4194304 4196468 140734787398096 139654813677920 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11860] ppid=11842 vsize=13980164 memory=139999148312192 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11860/stat : 11860 (java) S 11842 11845 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112651026 14315687936 8483 33554432000 4194304 4196468 140734787398096 139654812625968 139655909907074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 33932 KiB
[startup+0.210473 s]*
/proc/loadavg: 1.50 1.48 1.47 3/216 11860
/proc/meminfo: memFree=28439468/32770624 swapFree=67108860/67108860
[pid=11845] ppid=11842 vsize=13980164 memory=43340 CPUtime=0.29 cores=0,2,4,6
/proc/11845/stat : 11845 (java) S 11842 11845 11198 0 -1 1077944320 9407 0 0 0 28 1 0 0 20 0 15 0 112651020 14315687936 10835 33554432000 4194304 4196468 140734787398096 140734787380640 139655909895927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
/proc/11845/statm: 3495041 10835 3631 1 0 3482761 0
[pid=11845/tid=11847] ppid=11842 vsize=13980164 memory=6735269665583770266 CPUtime=0.19 cores=0,2,4,6
/proc/11845/task/11847/stat : 11847 (java) R 11842 11845 11198 0 -1 4202560 6944 0 0 0 18 1 0 0 20 0 15 0 112651020 14315687936 10835 33554432000 4194304 4196468 140734787398096 139655914113936 139655909917853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11848] ppid=11842 vsize=13980164 memory=4211973725353102730 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11848/stat : 11848 (java) S 11842 11845 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112651021 14315687936 10835 33554432000 4194304 4196468 140734787398096 139655839984144 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11849] ppid=11842 vsize=13980164 memory=139999148312192 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11849/stat : 11849 (java) S 11842 11845 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112651021 14315687936 10835 33554432000 4194304 4196468 140734787398096 139655838931600 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11850] ppid=11842 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11850/stat : 11850 (java) S 11842 11845 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112651021 14315687936 10835 33554432000 4194304 4196468 140734787398096 139655837878544 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11851] ppid=11842 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11851/stat : 11851 (java) S 11842 11845 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112651021 14315687936 10835 33554432000 4194304 4196468 140734787398096 139655836826000 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11852] ppid=11842 vsize=13980164 memory=139999148312192 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11852/stat : 11852 (java) S 11842 11845 11198 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112651022 14315687936 10835 33554432000 4194304 4196468 140734787398096 139654821047024 139655909907074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11853] ppid=11842 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11853/stat : 11853 (java) S 11842 11845 11198 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112651023 14315687936 10835 33554432000 4194304 4196468 140734787398096 139654819993248 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11854] ppid=11842 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11854/stat : 11854 (java) S 11842 11845 11198 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112651023 14315687936 10835 33554432000 4194304 4196468 140734787398096 139654818940144 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11855] ppid=11842 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11855/stat : 11855 (java) S 11842 11845 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112651025 14315687936 10835 33554432000 4194304 4196468 140734787398096 139654817888720 139655909914523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11856] ppid=11842 vsize=13980164 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/11845/task/11856/stat : 11856 (java) S 11842 11845 11198 0 -1 1077944384 529 0 0 0 1 0 0 0 20 0 15 0 112651025 14315687936 10835 33554432000 4194304 4196468 140734787398096 139654816835824 139655909907074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11857] ppid=11842 vsize=13980164 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/11845/task/11857/stat : 11857 (java) S 11842 11845 11198 0 -1 1077944384 125 0 0 0 2 0 0 0 20 0 15 0 112651025 14315687936 10835 33554432000 4194304 4196468 140734787398096 139654815783280 139655909907074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11858] ppid=11842 vsize=13980164 memory=139999148312192 CPUtime=0.05 cores=0,2,4,6
/proc/11845/task/11858/stat : 11858 (java) S 11842 11845 11198 0 -1 1077944384 429 0 0 0 5 0 0 0 20 0 15 0 112651025 14315687936 10835 33554432000 4194304 4196468 140734787398096 139654814730224 139655909907074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11859] ppid=11842 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11859/stat : 11859 (java) S 11842 11845 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112651026 14315687936 10835 33554432000 4194304 4196468 140734787398096 139654813677920 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11860] ppid=11842 vsize=13980164 memory=139999148312192 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11860/stat : 11860 (java) S 11842 11845 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112651026 14315687936 10835 33554432000 4194304 4196468 140734787398096 139654812625968 139655909907074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 43340 KiB
[startup+0.310207 s]*
/proc/loadavg: 1.50 1.48 1.47 4/216 11860
/proc/meminfo: memFree=28433016/32770624 swapFree=67108860/67108860
[pid=11845] ppid=11842 vsize=13980184 memory=50540 CPUtime=0.48 cores=0,2,4,6
/proc/11845/stat : 11845 (java) S 11842 11845 11198 0 -1 1077944320 10445 0 0 0 46 2 0 0 20 0 15 0 112651020 14315708416 12635 33554432000 4194304 4196468 140734787398096 140734787380640 139655909895927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
/proc/11845/statm: 3495046 12635 3714 1 0 3482761 0
[pid=11845/tid=11847] ppid=11842 vsize=13980184 memory=4871374705135476842 CPUtime=0.28 cores=0,2,4,6
/proc/11845/task/11847/stat : 11847 (java) R 11842 11845 11198 0 -1 4202560 7575 0 0 0 27 1 0 0 20 0 15 0 112651020 14315708416 12635 33554432000 4194304 4196468 140734787398096 139655914104128 139655509049872 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11848] ppid=11842 vsize=13980184 memory=4211973725353102730 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11848/stat : 11848 (java) S 11842 11845 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112651021 14315708416 12635 33554432000 4194304 4196468 140734787398096 139655839984144 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11849] ppid=11842 vsize=13980184 memory=139999148314549 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11849/stat : 11849 (java) S 11842 11845 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112651021 14315708416 12635 33554432000 4194304 4196468 140734787398096 139655838931600 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11850] ppid=11842 vsize=13980184 memory=139999022536142 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11850/stat : 11850 (java) S 11842 11845 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112651021 14315708416 12635 33554432000 4194304 4196468 140734787398096 139655837878544 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11851] ppid=11842 vsize=13980184 memory=139999022534095 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11851/stat : 11851 (java) S 11842 11845 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112651021 14315708416 12635 33554432000 4194304 4196468 140734787398096 139655836826000 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11852] ppid=11842 vsize=13980184 memory=139999148323417 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11852/stat : 11852 (java) S 11842 11845 11198 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112651022 14315708416 12635 33554432000 4194304 4196468 140734787398096 139654821047024 139655909907074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11853] ppid=11842 vsize=13980184 memory=139999022543279 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11853/stat : 11853 (java) S 11842 11845 11198 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112651023 14315708416 12635 33554432000 4194304 4196468 140734787398096 139654819993248 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11854] ppid=11842 vsize=13980184 memory=279998045077392 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11854/stat : 11854 (java) S 11842 11845 11198 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112651023 14315708416 12635 33554432000 4194304 4196468 140734787398096 139654818940144 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11855] ppid=11842 vsize=13980184 memory=279998045075088 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11855/stat : 11855 (java) S 11842 11845 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112651025 14315708416 12635 33554432000 4194304 4196468 140734787398096 139654817888720 139655909914523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11856] ppid=11842 vsize=13980184 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/11845/task/11856/stat : 11856 (java) S 11842 11845 11198 0 -1 1077944384 719 0 0 0 5 0 0 0 20 0 15 0 112651025 14315708416 12635 33554432000 4194304 4196468 140734787398096 139654816835824 139655909907074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11857] ppid=11842 vsize=13980184 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/11845/task/11857/stat : 11857 (java) S 11842 11845 11198 0 -1 1077944384 328 0 0 0 4 0 0 0 20 0 15 0 112651025 14315708416 12635 33554432000 4194304 4196468 140734787398096 139654815783280 139655909907074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11858] ppid=11842 vsize=13980184 memory=139999148312192 CPUtime=0.08 cores=0,2,4,6
/proc/11845/task/11858/stat : 11858 (java) S 11842 11845 11198 0 -1 1077944384 441 0 0 0 8 0 0 0 20 0 15 0 112651025 14315708416 12635 33554432000 4194304 4196468 140734787398096 139654814730224 139655909907074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11859] ppid=11842 vsize=13980184 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11859/stat : 11859 (java) S 11842 11845 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112651026 14315708416 12635 33554432000 4194304 4196468 140734787398096 139654813677920 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11860] ppid=11842 vsize=13980184 memory=139999148312192 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11860/stat : 11860 (java) S 11842 11845 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112651026 14315708416 12635 33554432000 4194304 4196468 140734787398096 139654812625968 139655909907074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 13980184 KiB
Current children cumulated memory: 50540 KiB
[startup+0.700708 s]
/proc/loadavg: 1.50 1.48 1.47 3/216 11860
/proc/meminfo: memFree=28419524/32770624 swapFree=67108860/67108860
[pid=11845] ppid=11842 vsize=13984280 memory=78772 CPUtime=1.15 cores=0,2,4,6
/proc/11845/stat : 11845 (java) S 11842 11845 11198 0 -1 1077944320 12824 0 0 0 111 4 0 0 20 0 15 0 112651020 14319902720 19693 33554432000 4194304 4196468 140734787398096 140734787380640 139655909895927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
/proc/11845/statm: 3496070 19693 3748 1 0 3483785 0
[pid=11845/tid=11847] ppid=11842 vsize=13984280 memory=1952 CPUtime=0.67 cores=0,2,4,6
/proc/11845/task/11847/stat : 11847 (java) R 11842 11845 11198 0 -1 4202560 9144 0 0 0 64 3 0 0 20 0 15 0 112651020 14319902720 19693 33554432000 4194304 4196468 140734787398096 139655914132144 139655909917853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11848] ppid=11842 vsize=13984280 memory=5796 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11848/stat : 11848 (java) S 11842 11845 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112651021 14319902720 19693 33554432000 4194304 4196468 140734787398096 139655839984144 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11849] ppid=11842 vsize=13984280 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11849/stat : 11849 (java) S 11842 11845 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112651021 14319902720 19693 33554432000 4194304 4196468 140734787398096 139655838931600 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11850] ppid=11842 vsize=13984280 memory=7523356985603351872 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11850/stat : 11850 (java) S 11842 11845 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112651021 14319902720 19693 33554432000 4194304 4196468 140734787398096 139655837878544 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11851] ppid=11842 vsize=13984280 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11851/stat : 11851 (java) S 11842 11845 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112651021 14319902720 19693 33554432000 4194304 4196468 140734787398096 139655836826000 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11852] ppid=11842 vsize=13984280 memory=6935663622157783120 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11852/stat : 11852 (java) S 11842 11845 11198 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112651022 14319902720 19693 33554432000 4194304 4196468 140734787398096 139654821047024 139655909907074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11853] ppid=11842 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11853/stat : 11853 (java) S 11842 11845 11198 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112651023 14319902720 19693 33554432000 4194304 4196468 140734787398096 139654819993248 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11854] ppid=11842 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11854/stat : 11854 (java) S 11842 11845 11198 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112651023 14319902720 19693 33554432000 4194304 4196468 140734787398096 139654818940144 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11855] ppid=11842 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11855/stat : 11855 (java) S 11842 11845 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112651025 14319902720 19693 33554432000 4194304 4196468 140734787398096 139654817888720 139655909914523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11856] ppid=11842 vsize=13984280 memory=85 CPUtime=0.1 cores=0,2,4,6
/proc/11845/task/11856/stat : 11856 (java) S 11842 11845 11198 0 -1 1077944384 772 0 0 0 10 0 0 0 20 0 15 0 112651025 14319902720 19693 33554432000 4194304 4196468 140734787398096 139654816835824 139655909907074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11857] ppid=11842 vsize=13984280 memory=4 CPUtime=0.13 cores=0,2,4,6
/proc/11845/task/11857/stat : 11857 (java) S 11842 11845 11198 0 -1 1077944384 625 0 0 0 13 0 0 0 20 0 15 0 112651025 14319902720 19693 33554432000 4194304 4196468 140734787398096 139654815783280 139655909907074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11858] ppid=11842 vsize=13984280 memory=7254 CPUtime=0.22 cores=0,2,4,6
/proc/11845/task/11858/stat : 11858 (java) S 11842 11845 11198 0 -1 1077944384 901 0 0 0 22 0 0 0 20 0 15 0 112651025 14319902720 19693 33554432000 4194304 4196468 140734787398096 139654814730224 139655909907074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11859] ppid=11842 vsize=13984280 memory=279998045261296 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11859/stat : 11859 (java) S 11842 11845 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112651026 14319902720 19693 33554432000 4194304 4196468 140734787398096 139654813677920 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11860] ppid=11842 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11860/stat : 11860 (java) S 11842 11845 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112651026 14319902720 19693 33554432000 4194304 4196468 140734787398096 139654812625968 139655909907074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 13984280 KiB
Current children cumulated memory: 78772 KiB
[startup+1.32963 s]
# the end of solver process 11845 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.87589 s, system=0.074632 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.804244 s]
/proc/loadavg: 1.50 1.48 1.47 3/216 11860
/proc/meminfo: memFree=28419524/32770624 swapFree=67108860/67108860
[pid=11845] ppid=11842 vsize=13986328 memory=87252 CPUtime=1.35 cores=0,2,4,6
/proc/11845/stat : 11845 (java) S 11842 11845 11198 0 -1 1077944320 13364 0 0 0 131 4 0 0 20 0 15 0 112651020 14321999872 21813 33554432000 4194304 4196468 140734787398096 140734787380640 139655909895927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
/proc/11845/statm: 3496582 21813 3770 1 0 3484297 0
[pid=11845/tid=11847] ppid=11842 vsize=13986328 memory=8851400225972064177 CPUtime=0.77 cores=0,2,4,6
/proc/11845/task/11847/stat : 11847 (java) R 11842 11845 11198 0 -1 4202560 9492 0 0 0 74 3 0 0 20 0 15 0 112651020 14321999872 21813 33554432000 4194304 4196468 140734787398096 139655914132768 139655512513139 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11848] ppid=11842 vsize=13986328 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11848/stat : 11848 (java) S 11842 11845 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112651021 14321999872 21813 33554432000 4194304 4196468 140734787398096 139655839984144 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11849] ppid=11842 vsize=13986328 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11849/stat : 11849 (java) S 11842 11845 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112651021 14321999872 21813 33554432000 4194304 4196468 140734787398096 139655838931600 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11850] ppid=11842 vsize=13986328 memory=2608 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11850/stat : 11850 (java) S 11842 11845 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112651021 14321999872 21813 33554432000 4194304 4196468 140734787398096 139655837878544 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11851] ppid=11842 vsize=13986328 memory=7151822037873354048 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11851/stat : 11851 (java) S 11842 11845 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112651021 14321999872 21813 33554432000 4194304 4196468 140734787398096 139655836826000 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11852] ppid=11842 vsize=13986328 memory=7739276948477997159 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11852/stat : 11852 (java) S 11842 11845 11198 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112651022 14321999872 21813 33554432000 4194304 4196468 140734787398096 139654821047024 139655909907074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11853] ppid=11842 vsize=13986328 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11853/stat : 11853 (java) S 11842 11845 11198 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112651023 14321999872 21813 33554432000 4194304 4196468 140734787398096 139654819993248 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11854] ppid=11842 vsize=13986328 memory=5931337922918891617 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11854/stat : 11854 (java) S 11842 11845 11198 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112651023 14321999872 21813 33554432000 4194304 4196468 140734787398096 139654818940144 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11855] ppid=11842 vsize=13986328 memory=5788079181670928464 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11855/stat : 11855 (java) S 11842 11845 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112651025 14321999872 21813 33554432000 4194304 4196468 140734787398096 139654817888720 139655909914523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11856] ppid=11842 vsize=13986328 memory=8311777531775520915 CPUtime=0.12 cores=0,2,4,6
/proc/11845/task/11856/stat : 11856 (java) R 11842 11845 11198 0 -1 1077944384 787 0 0 0 12 0 0 0 20 0 15 0 112651025 14321999872 21813 33554432000 4194304 4196468 140734787398096 139654816828848 139655909906133 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11857] ppid=11842 vsize=13986328 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/11845/task/11857/stat : 11857 (java) S 11842 11845 11198 0 -1 1077944384 655 0 0 0 16 0 0 0 20 0 15 0 112651025 14321999872 21813 33554432000 4194304 4196468 140734787398096 139654815783280 139655909907074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11858] ppid=11842 vsize=13986328 memory=128405508 CPUtime=0.28 cores=0,2,4,6
/proc/11845/task/11858/stat : 11858 (java) R 11842 11845 11198 0 -1 4202560 1050 0 0 0 28 0 0 0 20 0 15 0 112651025 14321999872 21813 33554432000 4194304 4196468 140734787398096 139654814728016 139655888441878 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11859] ppid=11842 vsize=13986328 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11859/stat : 11859 (java) S 11842 11845 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112651026 14321999872 21813 33554432000 4194304 4196468 140734787398096 139654813677920 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11860] ppid=11842 vsize=13986328 memory=279998045353568 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11860/stat : 11860 (java) S 11842 11845 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112651026 14321999872 21813 33554432000 4194304 4196468 140734787398096 139654812625968 139655909907074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 87252 KiB
[startup+1.20069 s]
/proc/loadavg: 1.50 1.48 1.47 5/216 11860
/proc/meminfo: memFree=28367980/32770624 swapFree=67108860/67108860
[pid=11845] ppid=11842 vsize=13986328 memory=124400 CPUtime=2.58 cores=0,2,4,6
/proc/11845/stat : 11845 (java) S 11842 11845 11198 0 -1 1077944320 24454 0 0 0 252 6 0 0 20 0 15 0 112651020 14321999872 31100 33554432000 4194304 4196468 140734787398096 140734787380640 139655909895927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
/proc/11845/statm: 3496582 31100 3783 1 0 3484297 0
[pid=11845/tid=11847] ppid=11842 vsize=13986328 memory=3760844545416505982 CPUtime=1.17 cores=0,2,4,6
/proc/11845/task/11847/stat : 11847 (java) R 11842 11845 11198 0 -1 4202560 10468 0 0 0 113 4 0 0 20 0 15 0 112651020 14321999872 31100 33554432000 4194304 4196468 140734787398096 139655914131312 139655512386499 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11848] ppid=11842 vsize=13986328 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11848/stat : 11848 (java) S 11842 11845 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112651021 14321999872 31100 33554432000 4194304 4196468 140734787398096 139655839984144 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11849] ppid=11842 vsize=13986328 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11849/stat : 11849 (java) S 11842 11845 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112651021 14321999872 31100 33554432000 4194304 4196468 140734787398096 139655838931600 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11850] ppid=11842 vsize=13986328 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11850/stat : 11850 (java) S 11842 11845 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112651021 14321999872 31100 33554432000 4194304 4196468 140734787398096 139655837878544 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11851] ppid=11842 vsize=13986328 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11851/stat : 11851 (java) S 11842 11845 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112651021 14321999872 31100 33554432000 4194304 4196468 140734787398096 139655836826000 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11852] ppid=11842 vsize=13986328 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11852/stat : 11852 (java) S 11842 11845 11198 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 112651022 14321999872 31100 33554432000 4194304 4196468 140734787398096 139654821047024 139655909907074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11853] ppid=11842 vsize=13986328 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11853/stat : 11853 (java) S 11842 11845 11198 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112651023 14321999872 31100 33554432000 4194304 4196468 140734787398096 139654819993248 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11854] ppid=11842 vsize=13986328 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11854/stat : 11854 (java) S 11842 11845 11198 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112651023 14321999872 31100 33554432000 4194304 4196468 140734787398096 139654818940144 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11855] ppid=11842 vsize=13986328 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11855/stat : 11855 (java) S 11842 11845 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112651025 14321999872 31100 33554432000 4194304 4196468 140734787398096 139654817888720 139655909914523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11856] ppid=11842 vsize=13986328 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/11845/task/11856/stat : 11856 (java) R 11842 11845 11198 0 -1 4202560 6139 0 0 0 50 0 0 0 20 0 15 0 112651025 14321999872 31100 33554432000 4194304 4196468 140734787398096 139654816828928 139655902185376 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11857] ppid=11842 vsize=13986328 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/11845/task/11857/stat : 11857 (java) R 11842 11845 11198 0 -1 4202560 4488 0 0 0 54 0 0 0 20 0 15 0 112651025 14321999872 31100 33554432000 4194304 4196468 140734787398096 139654815763496 139655888029489 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11858] ppid=11842 vsize=13986328 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/11845/task/11858/stat : 11858 (java) S 11842 11845 11198 0 -1 1077944384 1971 0 0 0 33 1 0 0 20 0 15 0 112651025 14321999872 31100 33554432000 4194304 4196468 140734787398096 139654814730224 139655909907074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11859] ppid=11842 vsize=13986328 memory=7719231575392067615 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11859/stat : 11859 (java) S 11842 11845 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112651026 14321999872 31100 33554432000 4194304 4196468 140734787398096 139654813677920 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11860] ppid=11842 vsize=13986328 memory=-6160033262581301397 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11860/stat : 11860 (java) S 11842 11845 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112651026 14321999872 31100 33554432000 4194304 4196468 140734787398096 139654812625968 139655909907074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
Current children cumulated CPU time: 2.58 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 124400 KiB
[startup+1.30069 s]
/proc/loadavg: 1.50 1.48 1.47 5/216 11860
/proc/meminfo: memFree=28367980/32770624 swapFree=67108860/67108860
[pid=11845] ppid=11842 vsize=13986328 memory=128564 CPUtime=2.89 cores=0,2,4,6
/proc/11845/stat : 11845 (java) S 11842 11845 11198 0 -1 1077944320 25027 0 0 0 282 7 0 0 20 0 15 0 112651020 14321999872 32141 33554432000 4194304 4196468 140734787398096 140734787380640 139655909895927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
/proc/11845/statm: 3496582 32141 3783 1 0 3484297 0
[pid=11845/tid=11847] ppid=11842 vsize=13986328 memory=70444 CPUtime=1.27 cores=0,2,4,6
/proc/11845/task/11847/stat : 11847 (java) R 11842 11845 11198 0 -1 4202560 10474 0 0 0 123 4 0 0 20 0 15 0 112651020 14321999872 32141 33554432000 4194304 4196468 140734787398096 139655914131312 139655512632093 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11848] ppid=11842 vsize=13986328 memory=85 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11848/stat : 11848 (java) S 11842 11845 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112651021 14321999872 32141 33554432000 4194304 4196468 140734787398096 139655839984144 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11849] ppid=11842 vsize=13986328 memory=4 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11849/stat : 11849 (java) S 11842 11845 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112651021 14321999872 32141 33554432000 4194304 4196468 140734787398096 139655838931600 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11850] ppid=11842 vsize=13986328 memory=7254 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11850/stat : 11850 (java) S 11842 11845 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112651021 14321999872 32141 33554432000 4194304 4196468 140734787398096 139655837878544 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11851] ppid=11842 vsize=13986328 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11851/stat : 11851 (java) S 11842 11845 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112651021 14321999872 32141 33554432000 4194304 4196468 140734787398096 139655836826000 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11852] ppid=11842 vsize=13986328 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11852/stat : 11852 (java) S 11842 11845 11198 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 112651022 14321999872 32141 33554432000 4194304 4196468 140734787398096 139654821047024 139655909907074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11853] ppid=11842 vsize=13986328 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11853/stat : 11853 (java) S 11842 11845 11198 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112651023 14321999872 32141 33554432000 4194304 4196468 140734787398096 139654819993248 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11854] ppid=11842 vsize=13986328 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11854/stat : 11854 (java) S 11842 11845 11198 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112651023 14321999872 32141 33554432000 4194304 4196468 140734787398096 139654818940144 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11855] ppid=11842 vsize=13986328 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11855/stat : 11855 (java) S 11842 11845 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112651025 14321999872 32141 33554432000 4194304 4196468 140734787398096 139654817888720 139655909914523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11856] ppid=11842 vsize=13986328 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/11845/task/11856/stat : 11856 (java) R 11842 11845 11198 0 -1 4202560 6600 0 0 0 60 0 0 0 20 0 15 0 112651025 14321999872 32141 33554432000 4194304 4196468 140734787398096 139654816828928 139655887753088 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11857] ppid=11842 vsize=13986328 memory=279997776563647 CPUtime=0.64 cores=0,2,4,6
/proc/11845/task/11857/stat : 11857 (java) R 11842 11845 11198 0 -1 4202560 4586 0 0 0 64 0 0 0 20 0 15 0 112651025 14321999872 32141 33554432000 4194304 4196468 140734787398096 139654815763496 139655891440392 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11858] ppid=11842 vsize=13986328 memory=279998045170640 CPUtime=0.34 cores=0,2,4,6
/proc/11845/task/11858/stat : 11858 (java) S 11842 11845 11198 0 -1 1077944384 1971 0 0 0 33 1 0 0 20 0 15 0 112651025 14321999872 32141 33554432000 4194304 4196468 140734787398096 139654814730224 139655909907074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11859] ppid=11842 vsize=13986328 memory=554 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11859/stat : 11859 (java) S 11842 11845 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112651026 14321999872 32141 33554432000 4194304 4196468 140734787398096 139654813677920 139655909906133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
[pid=11845/tid=11860] ppid=11842 vsize=13986328 memory=85 CPUtime=0 cores=0,2,4,6
/proc/11845/task/11860/stat : 11860 (java) S 11842 11845 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112651026 14321999872 32141 33554432000 4194304 4196468 140734787398096 139654812625968 139655909907074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37875712 140734787404901 140734787405087 140734787405087 140734787407823 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 128564 KiB
Child status: 0
Real time (s): 1.32968
CPU time (s): 2.95052
CPU user time (s): 2.87589
CPU system time (s): 0.074632
CPU usage (%): 221.897
Max. virtual memory (cumulated for all children) (KiB): 13986328
Max. memory (cumulated for all children) (KiB): 128564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.87589
system time used= 0.074632
maximum resident set size= 130984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25386
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2141
involuntary context switches= 5
# summary of solver processes directly reported to runsolver:
# pid: 11845
# total CPU time (s): 2.95052
# total CPU user time (s): 2.87589
# total CPU system time (s): 0.074632
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029438 second user time and 0.058254 second system time
The end