runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3457446-1307221252/watcher-3457446-1307221252 -o /tmp/evaluation-result-3457446-1307221252/solver-3457446-1307221252 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457446-1307221252.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.16 2.04 2.01 2/455 16309
/proc/meminfo: memFree=20526784/32951124 swapFree=50923800/67111528
[pid=16309] ppid=16307 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/16309/stat : 16309 (java) S 16307 16309 15674 0 -1 4202496 4058 0 1 0 0 0 0 0 25 0 2 0 814540781 10694979584 3760 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/16309/statm: 2611079 3760 917 9 0 2602235 0
[pid=16309/tid=16310] ppid=16307 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16310/stat : 16310 (java) R 16307 16309 15674 0 -1 4202560 5280 0 1 0 0 0 0 0 25 0 2 0 814540781 10694979584 6096 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270338077755 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.0974519 s]
/proc/loadavg: 2.16 2.04 2.01 2/455 16309
/proc/meminfo: memFree=20526784/32951124 swapFree=50923800/67111528
[pid=16309] ppid=16307 vsize=10539964 CPUtime=0.11 cores=0,2,4,6
/proc/16309/stat : 16309 (java) S 16307 16309 15674 0 -1 4202496 12993 0 1 0 10 1 0 0 25 0 18 0 814540781 10792923136 12690 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16309/statm: 2634991 12690 2092 9 0 2625725 0
[pid=16309/tid=16310] ppid=16307 vsize=10539964 CPUtime=0.08 cores=0,2,4,6
/proc/16309/task/16310/stat : 16310 (java) R 16307 16309 15674 0 -1 4202560 11081 0 1 0 8 0 0 0 18 0 18 0 814540781 10792923136 12691 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270338044961 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539964
[startup+0.100391 s]
/proc/loadavg: 2.16 2.04 2.01 2/455 16309
/proc/meminfo: memFree=20526784/32951124 swapFree=50923800/67111528
[pid=16309] ppid=16307 vsize=10539964 CPUtime=0.11 cores=0,2,4,6
/proc/16309/stat : 16309 (java) S 16307 16309 15674 0 -1 4202496 13063 0 1 0 10 1 0 0 25 0 18 0 814540781 10792923136 12760 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16309/statm: 2634991 12760 2092 9 0 2625725 0
[pid=16309/tid=16310] ppid=16307 vsize=10539964 CPUtime=0.08 cores=0,2,4,6
/proc/16309/task/16310/stat : 16310 (java) R 16307 16309 15674 0 -1 4202560 11150 0 1 0 8 0 0 0 18 0 18 0 814540781 10792923136 12760 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 46912496195905 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539964
[startup+0.460235 s]
/proc/loadavg: 2.16 2.04 2.01 2/455 16309
/proc/meminfo: memFree=20526784/32951124 swapFree=50923800/67111528
[pid=16309] ppid=16307 vsize=10552896 CPUtime=1.04 cores=0,2,4,6
/proc/16309/stat : 16309 (java) S 16307 16309 15674 0 -1 4202496 24712 0 1 0 101 3 0 0 25 0 19 0 814540781 10806165504 21454 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16309/statm: 2638224 21454 2211 9 0 2628958 0
[pid=16309/tid=16310] ppid=16307 vsize=10552896 CPUtime=0.46 cores=0,2,4,6
/proc/16309/task/16310/stat : 16310 (java) R 16307 16309 15674 0 -1 4202560 15615 0 1 0 45 1 0 0 18 0 19 0 814540781 10806165504 21982 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 46912505551857 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 10552896
[startup+0.803279 s]
/proc/loadavg: 2.16 2.04 2.01 2/455 16309
/proc/meminfo: memFree=20526784/32951124 swapFree=50923800/67111528
[pid=16309] ppid=16307 vsize=10557984 CPUtime=1.97 cores=0,2,4,6
/proc/16309/stat : 16309 (java) S 16307 16309 15674 0 -1 4202496 46707 0 1 0 191 6 0 0 25 0 19 0 814540781 10811375616 37953 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16309/statm: 2639496 37958 2223 9 0 2630230 0
[pid=16309/tid=16310] ppid=16307 vsize=10557984 CPUtime=0.78 cores=0,2,4,6
/proc/16309/task/16310/stat : 16310 (java) R 16307 16309 15674 0 -1 4202560 30134 0 1 0 75 3 0 0 18 0 19 0 814540781 10811375616 37960 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 46912505618987 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 10557984
[startup+1.50118 s]
/proc/loadavg: 2.16 2.04 2.01 3/474 16328
/proc/meminfo: memFree=20210388/32951124 swapFree=50923800/67111528
[pid=16309] ppid=16307 vsize=10557984 CPUtime=2.98 cores=0,2,4,6
/proc/16309/stat : 16309 (java) S 16307 16309 15674 0 -1 4202496 109983 0 1 0 284 14 0 0 25 0 19 0 814540781 10811375616 98950 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16309/statm: 2639496 98955 2227 9 0 2630230 0
[pid=16309/tid=16310] ppid=16307 vsize=10557984 CPUtime=1.48 cores=0,2,4,6
/proc/16309/task/16310/stat : 16310 (java) R 16307 16309 15674 0 -1 4202560 91097 0 1 0 137 11 0 0 18 0 19 0 814540781 10811375616 98957 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 46912505583017 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16309/tid=16312] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16312/stat : 16312 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10811375616 98960 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16313] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16313/stat : 16313 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10811375616 98962 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16314] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16314/stat : 16314 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10811375616 98965 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16315] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16315/stat : 16315 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10811375616 98967 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16316] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16316/stat : 16316 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10811375616 98969 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16317] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16317/stat : 16317 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10811375616 98972 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16318] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16318/stat : 16318 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10811375616 98976 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16319] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16319/stat : 16319 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10811375616 98978 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16320] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16320/stat : 16320 (java) S 16307 16309 15674 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814540784 10811375616 98980 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350200320 0 0 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16321] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16321/stat : 16321 (java) S 16307 16309 15674 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814540785 10811375616 98982 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16322] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16322/stat : 16322 (java) S 16307 16309 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814540785 10811375616 98984 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16323] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16323/stat : 16323 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540787 10811375616 98985 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350207409 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16324] ppid=16307 vsize=10557984 CPUtime=0.73 cores=0,2,4,6
/proc/16309/task/16324/stat : 16324 (java) S 16307 16309 15674 0 -1 4202560 10851 0 0 0 71 2 0 0 15 0 19 0 814540787 10811375616 98988 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 2 0 0 0
[pid=16309/tid=16325] ppid=16307 vsize=10557984 CPUtime=0.74 cores=0,2,4,6
/proc/16309/task/16325/stat : 16325 (java) S 16307 16309 15674 0 -1 4202560 6882 0 0 0 74 0 0 0 15 0 19 0 814540787 10811375616 98990 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 4 0 0 0
[pid=16309/tid=16326] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16326/stat : 16326 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540787 10811375616 98993 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16327] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16327/stat : 16327 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814540787 10811375616 98995 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350200320 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16328] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16328/stat : 16328 (java) S 16307 16309 15674 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814540807 10811375616 98997 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350200320 0 4 0 16800975 18446604446340229184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 10557984
[startup+3.1008 s]
/proc/loadavg: 2.16 2.04 2.01 3/474 16328
/proc/meminfo: memFree=19801808/32951124 swapFree=50923800/67111528
[pid=16309] ppid=16307 vsize=10557984 CPUtime=4.58 cores=0,2,4,6
/proc/16309/stat : 16309 (java) S 16307 16309 15674 0 -1 4202496 256823 0 1 0 427 31 0 0 25 0 19 0 814540781 10811375616 245790 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16309/statm: 2639496 245793 2227 9 0 2630230 0
[pid=16309/tid=16310] ppid=16307 vsize=10557984 CPUtime=3.08 cores=0,2,4,6
/proc/16309/task/16310/stat : 16310 (java) R 16307 16309 15674 0 -1 4202560 237935 0 1 0 280 28 0 0 19 0 19 0 814540781 10811375616 245794 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 46912505583032 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16309/tid=16312] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16312/stat : 16312 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10811375616 245798 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16313] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16313/stat : 16313 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10811375616 245800 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16314] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16314/stat : 16314 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10811375616 245802 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16315] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16315/stat : 16315 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10811375616 245805 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16316] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16316/stat : 16316 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10811375616 245808 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16317] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16317/stat : 16317 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10811375616 245810 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16318] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16318/stat : 16318 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10811375616 245813 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16319] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16319/stat : 16319 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10811375616 245815 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16320] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16320/stat : 16320 (java) S 16307 16309 15674 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814540784 10811375616 245818 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350200320 0 0 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16321] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16321/stat : 16321 (java) S 16307 16309 15674 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814540785 10811375616 245820 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16322] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16322/stat : 16322 (java) S 16307 16309 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814540785 10811375616 245822 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16323] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16323/stat : 16323 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540787 10811375616 245825 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350207409 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16324] ppid=16307 vsize=10557984 CPUtime=0.74 cores=0,2,4,6
/proc/16309/task/16324/stat : 16324 (java) S 16307 16309 15674 0 -1 4202560 10851 0 0 0 72 2 0 0 15 0 19 0 814540787 10811375616 245828 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 2 0 0 0
[pid=16309/tid=16325] ppid=16307 vsize=10557984 CPUtime=0.75 cores=0,2,4,6
/proc/16309/task/16325/stat : 16325 (java) S 16307 16309 15674 0 -1 4202560 6882 0 0 0 75 0 0 0 15 0 19 0 814540787 10811375616 245831 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 4 0 0 0
[pid=16309/tid=16326] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16326/stat : 16326 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540787 10811375616 245834 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16327] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16327/stat : 16327 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814540787 10811375616 245837 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350200320 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16328] ppid=16307 vsize=10557984 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16328/stat : 16328 (java) S 16307 16309 15674 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814540807 10811375616 245838 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350200320 0 4 0 16800975 18446604446340229184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.58
Current children cumulated vsize (KiB) 10557984
[startup+6.30121 s]
/proc/loadavg: 2.15 2.04 2.01 3/474 16329
/proc/meminfo: memFree=18655548/32951124 swapFree=50923800/67111528
[pid=16309] ppid=16307 vsize=10552604 CPUtime=7.79 cores=0,2,4,6
/proc/16309/stat : 16309 (java) S 16307 16309 15674 0 -1 4202496 529209 0 1 0 714 65 0 0 25 0 19 0 814540781 10805866496 516821 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16309/statm: 2638151 516825 2228 9 0 2628885 0
[pid=16309/tid=16310] ppid=16307 vsize=10552604 CPUtime=6.28 cores=0,2,4,6
/proc/16309/task/16310/stat : 16310 (java) R 16307 16309 15674 0 -1 4202560 510320 0 1 0 566 62 0 0 25 0 19 0 814540781 10805866496 516827 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 46912505628954 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16309/tid=16312] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16312/stat : 16312 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10805866496 516829 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16313] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16313/stat : 16313 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10805866496 516831 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16314] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16314/stat : 16314 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10805866496 516834 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16315] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16315/stat : 16315 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10805866496 516836 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16316] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16316/stat : 16316 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10805866496 516838 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16317] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16317/stat : 16317 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10805866496 516840 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16318] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16318/stat : 16318 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10805866496 516842 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16319] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16319/stat : 16319 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10805866496 516844 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16320] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16320/stat : 16320 (java) S 16307 16309 15674 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814540784 10805866496 516846 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350200320 0 0 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16321] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16321/stat : 16321 (java) S 16307 16309 15674 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814540785 10805866496 516848 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16322] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16322/stat : 16322 (java) S 16307 16309 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814540785 10805866496 516850 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16323] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16323/stat : 16323 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540787 10805866496 516851 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350207409 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16324] ppid=16307 vsize=10552604 CPUtime=0.74 cores=0,2,4,6
/proc/16309/task/16324/stat : 16324 (java) S 16307 16309 15674 0 -1 4202560 10851 0 0 0 72 2 0 0 15 0 19 0 814540787 10805866496 516853 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 2 0 0 0
[pid=16309/tid=16325] ppid=16307 vsize=10552604 CPUtime=0.75 cores=0,2,4,6
/proc/16309/task/16325/stat : 16325 (java) S 16307 16309 15674 0 -1 4202560 6883 0 0 0 75 0 0 0 15 0 19 0 814540787 10805866496 516855 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 4 0 0 0
[pid=16309/tid=16326] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16326/stat : 16326 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540787 10805866496 516857 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16327] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16327/stat : 16327 (java) S 16307 16309 15674 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 814540787 10805866496 516859 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350200320 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16328] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16328/stat : 16328 (java) S 16307 16309 15674 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814540807 10805866496 516862 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350200320 0 4 0 16800975 18446604446340229184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.79
Current children cumulated vsize (KiB) 10552604
Solver just ended. Dumping a history of the last processes samples
[startup+6.60115 s]
/proc/loadavg: 2.15 2.04 2.01 3/474 16329
/proc/meminfo: memFree=18655548/32951124 swapFree=50923800/67111528
[pid=16309] ppid=16307 vsize=10552604 CPUtime=8.1 cores=0,2,4,6
/proc/16309/stat : 16309 (java) S 16307 16309 15674 0 -1 4202496 553250 0 1 0 742 68 0 0 25 0 19 0 814540781 10805866496 540862 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16309/statm: 2638151 540865 2228 9 0 2628885 0
[pid=16309/tid=16310] ppid=16307 vsize=10552604 CPUtime=6.58 cores=0,2,4,6
/proc/16309/task/16310/stat : 16310 (java) R 16307 16309 15674 0 -1 4202560 534360 0 1 0 594 64 0 0 25 0 19 0 814540781 10805866496 540867 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 46912505628654 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16309/tid=16312] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16312/stat : 16312 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10805866496 540869 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16313] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16313/stat : 16313 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10805866496 540871 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16314] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16314/stat : 16314 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10805866496 540873 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16315] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16315/stat : 16315 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10805866496 540875 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16316] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16316/stat : 16316 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10805866496 540876 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16317] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16317/stat : 16317 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10805866496 540878 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16318] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16318/stat : 16318 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10805866496 540879 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16319] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16319/stat : 16319 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540783 10805866496 540881 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16320] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16320/stat : 16320 (java) S 16307 16309 15674 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814540784 10805866496 540883 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350200320 0 0 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16321] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16321/stat : 16321 (java) S 16307 16309 15674 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814540785 10805866496 540886 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16322] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16322/stat : 16322 (java) S 16307 16309 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814540785 10805866496 540888 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16323] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16323/stat : 16323 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540787 10805866496 540890 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350207409 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16324] ppid=16307 vsize=10552604 CPUtime=0.74 cores=0,2,4,6
/proc/16309/task/16324/stat : 16324 (java) S 16307 16309 15674 0 -1 4202560 10851 0 0 0 72 2 0 0 15 0 19 0 814540787 10805866496 540892 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 2 0 0 0
[pid=16309/tid=16325] ppid=16307 vsize=10552604 CPUtime=0.75 cores=0,2,4,6
/proc/16309/task/16325/stat : 16325 (java) S 16307 16309 15674 0 -1 4202560 6883 0 0 0 75 0 0 0 15 0 19 0 814540787 10805866496 540894 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 4 0 0 0
[pid=16309/tid=16326] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16326/stat : 16326 (java) S 16307 16309 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540787 10805866496 540897 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350199705 0 4 0 16800975 18446604446340229184 0 0 -1 6 0 0 0
[pid=16309/tid=16327] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16327/stat : 16327 (java) R 16307 16309 15674 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 814540787 10805866496 540899 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350200320 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16309/tid=16328] ppid=16307 vsize=10552604 CPUtime=0 cores=0,2,4,6
/proc/16309/task/16328/stat : 16328 (java) S 16307 16309 15674 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814540807 10805866496 540901 33554432000 1073741824 1073778376 140737016863136 18446744073709551615 270350200320 0 4 0 16800975 18446604446340229184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.1
Current children cumulated vsize (KiB) 10552604
[startup+6.80108 s]
/proc/loadavg: 2.15 2.04 2.01 3/457 16330
/proc/meminfo: memFree=19871392/32951124 swapFree=50923800/67111528
[pid=16309] ppid=16307 vsize=0 CPUtime=8.32 cores=0,2,4,6
/proc/16309/stat : 16309 (java) Z 16307 16309 15674 0 -1 4203548 561583 0 1 0 756 76 0 0 18 0 2 0 814540781 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16309/statm: 0 0 0 0 0 0 0
[pid=16309/tid=16319] ppid=16307 vsize=0 CPUtime=0.07 cores=0,2,4,6
/proc/16309/task/16319/stat : 16319 (java) R 16307 16309 15674 0 -1 4203588 1 0 0 0 0 7 0 0 18 0 2 0 814540783 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.32
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 6.83095
CPU time (s): 8.34173
CPU user time (s): 7.56285
CPU system time (s): 0.778881
CPU usage (%): 122.117
Max. virtual memory (cumulated for all children) (KiB): 10557984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.56285
system time used= 0.778881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 561583
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 336
involuntary context switches= 26
runsolver used 0.036994 second user time and 0.078987 second system time
The end