runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4249758-1500767261/watcher-4249758-1500767261 -o /tmp/evaluation-result-4249758-1500767261/solver-4249758-1500767261 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500753143-27513 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 933630215 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4249758-1500767261.xml
pid=29263
running on 8 cores: 0,2,4,6,8,10,12,14
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.94 2.02 2.00 3/261 29266
/proc/meminfo: memFree=29680136/32770624 swapFree=5932/348396
[pid=29266] ppid=29263 vsize=10635564 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/stat : 29266 (java) S 29263 29266 27482 0 -1 1077944320 2228 0 0 0 0 0 0 0 20 0 3 0 11996163 10890817536 2432 33554432000 4194304 4196468 140731911134128 140731911116672 140540271329015 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
/proc/29266/statm: 2658891 2432 1188 1 0 2647802 0
[pid=29266/tid=29267] ppid=29263 vsize=10636592 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29267/stat : 29267 (java) R 29263 29266 27482 0 -1 4202560 917 0 0 0 0 0 0 0 20 0 4 0 11996164 10891870208 2432 33554432000 4194304 4196468 140731911134128 140540275570384 140540264045978 0 4 0 16784584 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29268] ppid=29263 vsize=10637620 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29268/stat : 29268 (java) S 29263 29266 27482 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 5 0 11996165 10892922880 2498 33554432000 4194304 4196468 140731911134128 140540189809888 140540271339221 0 4 0 16784584 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29269] ppid=29263 vsize=10637620 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29269/stat : 29269 (java) S 29263 29266 27482 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 5 0 11996165 10892922880 2498 33554432000 4194304 4196468 140731911134128 140539869523040 140540271339221 0 4 0 16784584 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29270] ppid=29263 vsize=10638648 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29270/stat : 29270 (java) S 29263 29266 27482 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 11996165 10893975552 2498 33554432000 4194304 4196468 140731911134128 140539868470752 140540271339221 0 4 0 16784584 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29271] ppid=29263 vsize=10638648 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29271/stat : 29271 (java) S 29263 29266 27482 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 11996165 10893975552 2498 33554432000 4194304 4196468 140731911134128 140539867417952 140540271339221 0 4 0 16784584 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29272] ppid=29263 vsize=10639676 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29272/stat : 29272 (java) R 29263 29266 27482 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 7 0 11996165 10895028224 2498 33554432000 4194304 4196468 140731911134128 140540275570384 140540264068865 0 4 0 16784584 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[startup+0.100163 s]
/proc/loadavg: 1.94 2.02 2.00 3/261 29266
/proc/meminfo: memFree=29680136/32770624 swapFree=5932/348396
[pid=29266] ppid=29263 vsize=13264380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/29266/stat : 29266 (java) S 29263 29266 27482 0 -1 1077944320 5784 0 0 0 8 1 0 0 20 0 20 0 11996163 13582725120 6354 33554432000 4194304 4196468 140731911134128 140731911116672 140540271329015 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
/proc/29266/statm: 3316095 6354 3313 1 0 3303815 0
[pid=29266/tid=29267] ppid=29263 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29267/stat : 29267 (java) R 29263 29266 27482 0 -1 4202560 3856 0 0 0 7 1 0 0 20 0 20 0 11996164 13582725120 6354 33554432000 4194304 4196468 140731911134128 140540275571296 140540271350941 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29268] ppid=29263 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29268/stat : 29268 (java) S 29263 29266 27482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 11996165 13582725120 6354 33554432000 4194304 4196468 140731911134128 140540189809552 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29269] ppid=29263 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29269/stat : 29269 (java) S 29263 29266 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11996165 13582725120 6354 33554432000 4194304 4196468 140731911134128 140539869522704 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29270] ppid=29263 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29270/stat : 29270 (java) S 29263 29266 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11996165 13582725120 6354 33554432000 4194304 4196468 140731911134128 140539868470416 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29271] ppid=29263 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29271/stat : 29271 (java) S 29263 29266 27482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 11996165 13582725120 6354 33554432000 4194304 4196468 140731911134128 140539867417616 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29272] ppid=29263 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29272/stat : 29272 (java) S 29263 29266 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11996165 13582725120 6354 33554432000 4194304 4196468 140731911134128 140539866364304 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380
[startup+0.200674 s]
/proc/loadavg: 1.94 2.02 2.00 3/261 29266
/proc/meminfo: memFree=29680136/32770624 swapFree=5932/348396
[pid=29266] ppid=29263 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/29266/stat : 29266 (java) S 29263 29266 27482 0 -1 1077944320 8953 0 0 0 24 2 0 0 20 0 20 0 11996163 13582245888 8977 33554432000 4194304 4196468 140731911134128 140731911116672 140540271329015 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
/proc/29266/statm: 3315978 8977 3552 1 0 3303698 0
[pid=29266/tid=29267] ppid=29263 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29267/stat : 29267 (java) D 29263 29266 27482 0 -1 1077944384 6652 0 0 0 17 1 0 0 20 0 20 0 11996164 13582245888 8977 33554432000 4194304 4196468 140731911134128 140540275537168 140540264008237 0 4 0 16800975 18446744072101658148 0 0 -1 10 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29268] ppid=29263 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29268/stat : 29268 (java) S 29263 29266 27482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 11996165 13582245888 8977 33554432000 4194304 4196468 140731911134128 140540189809552 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29269] ppid=29263 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29269/stat : 29269 (java) S 29263 29266 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11996165 13582245888 8977 33554432000 4194304 4196468 140731911134128 140539869522704 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29270] ppid=29263 vsize=13263944 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29270/stat : 29270 (java) S 29263 29266 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11996165 13582278656 8977 33554432000 4194304 4196468 140731911134128 140539868470416 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29271] ppid=29263 vsize=13263944 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29271/stat : 29271 (java) S 29263 29266 27482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 11996165 13582278656 8977 33554432000 4194304 4196468 140731911134128 140539867417616 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29272] ppid=29263 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29272/stat : 29272 (java) S 29263 29266 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11996165 13582245888 8977 33554432000 4194304 4196468 140731911134128 140539866364304 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912
[startup+0.300518 s]
/proc/loadavg: 1.94 2.02 2.00 3/261 29266
/proc/meminfo: memFree=29680136/32770624 swapFree=5932/348396
[pid=29266] ppid=29263 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/29266/stat : 29266 (java) S 29263 29266 27482 0 -1 1077944320 9911 0 0 0 39 3 0 0 20 0 20 0 11996163 13582245888 11095 33554432000 4194304 4196468 140731911134128 140731911116672 140540271329015 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
/proc/29266/statm: 3315978 11095 3606 1 0 3303698 0
[pid=29266/tid=29267] ppid=29263 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29267/stat : 29267 (java) R 29263 29266 27482 0 -1 4202560 7355 0 0 0 25 2 0 0 20 0 20 0 11996164 13582245888 11095 33554432000 4194304 4196468 140731911134128 140540275546480 140540255409502 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29268] ppid=29263 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29268/stat : 29268 (java) S 29263 29266 27482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 11996165 13582245888 11095 33554432000 4194304 4196468 140731911134128 140540189809552 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29269] ppid=29263 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29269/stat : 29269 (java) S 29263 29266 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11996165 13582245888 11095 33554432000 4194304 4196468 140731911134128 140539869522704 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29270] ppid=29263 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29270/stat : 29270 (java) S 29263 29266 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11996165 13582245888 11095 33554432000 4194304 4196468 140731911134128 140539868470416 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29271] ppid=29263 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29271/stat : 29271 (java) S 29263 29266 27482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 11996165 13582245888 11095 33554432000 4194304 4196468 140731911134128 140539867417616 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29272] ppid=29263 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29272/stat : 29272 (java) S 29263 29266 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11996165 13582245888 11095 33554432000 4194304 4196468 140731911134128 140539866364304 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912
[startup+0.700486 s]
/proc/loadavg: 1.94 2.02 2.00 3/261 29266
/proc/meminfo: memFree=29680136/32770624 swapFree=5932/348396
[pid=29266] ppid=29263 vsize=13265980 CPUtime=1.52 cores=0,2,4,6,8,10,12,14
/proc/29266/stat : 29266 (java) S 29263 29266 27482 0 -1 1077944320 14667 0 0 0 148 4 0 0 20 0 20 0 11996163 13584363520 20486 33554432000 4194304 4196468 140731911134128 140731911116672 140540271329015 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
/proc/29266/statm: 3316495 20486 3767 1 0 3304210 0
[pid=29266/tid=29267] ppid=29263 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29267/stat : 29267 (java) R 29263 29266 27482 0 -1 4202560 8620 0 0 0 65 2 0 0 20 0 20 0 11996164 13584363520 20486 33554432000 4194304 4196468 140731911134128 140540275549200 140540271340950 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29268] ppid=29263 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29268/stat : 29268 (java) S 29263 29266 27482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 11996165 13584363520 20486 33554432000 4194304 4196468 140731911134128 140540189809552 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29269] ppid=29263 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29269/stat : 29269 (java) S 29263 29266 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11996165 13584363520 20486 33554432000 4194304 4196468 140731911134128 140539869522704 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29270] ppid=29263 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29270/stat : 29270 (java) S 29263 29266 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11996165 13584363520 20486 33554432000 4194304 4196468 140731911134128 140539868470416 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29271] ppid=29263 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29271/stat : 29271 (java) S 29263 29266 27482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 11996165 13584363520 20486 33554432000 4194304 4196468 140731911134128 140539867417616 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29272] ppid=29263 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29272/stat : 29272 (java) S 29263 29266 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11996165 13584363520 20486 33554432000 4194304 4196468 140731911134128 140539866364304 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 13265980
[startup+1.50106 s]
/proc/loadavg: 1.94 2.02 2.00 6/281 29286
/proc/meminfo: memFree=29531300/32770624 swapFree=5932/348416
[pid=29266] ppid=29263 vsize=13270076 CPUtime=4.39 cores=0,2,4,6,8,10,12,14
/proc/29266/stat : 29266 (java) S 29263 29266 27482 0 -1 1077944320 30531 0 0 0 423 16 0 0 20 0 20 0 11996163 13588557824 58200 33554432000 4194304 4196468 140731911134128 140731911116672 140540271329015 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
/proc/29266/statm: 3317519 58200 3797 1 0 3305234 0
[pid=29266/tid=29267] ppid=29263 vsize=13270076 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29267/stat : 29267 (java) R 29263 29266 27482 0 -1 4202560 12493 0 0 0 140 4 0 0 20 0 20 0 11996164 13588557824 58200 33554432000 4194304 4196468 140731911134128 140540275564312 140539877468020 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29268] ppid=29263 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29268/stat : 29268 (java) S 29263 29266 27482 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 11996165 13588557824 58200 33554432000 4194304 4196468 140731911134128 140540189809552 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29269] ppid=29263 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29269/stat : 29269 (java) S 29263 29266 27482 0 -1 1077944384 34 0 0 0 0 1 0 0 20 0 20 0 11996165 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539869522704 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29270] ppid=29263 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29270/stat : 29270 (java) S 29263 29266 27482 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 20 0 11996165 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539868470416 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29271] ppid=29263 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29271/stat : 29271 (java) S 29263 29266 27482 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 11996165 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539867417616 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29272] ppid=29263 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29272/stat : 29272 (java) S 29263 29266 27482 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 20 0 11996165 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539866364304 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29273] ppid=29263 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29273/stat : 29273 (java) S 29263 29266 27482 0 -1 1077944384 73 0 0 0 0 1 0 0 20 0 20 0 11996165 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539865311504 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29274] ppid=29263 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29274/stat : 29274 (java) S 29263 29266 27482 0 -1 1077944384 56 0 0 0 0 1 0 0 20 0 20 0 11996165 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539864259216 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29276] ppid=29263 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29276/stat : 29276 (java) S 29263 29266 27482 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 11996165 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539863206416 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29277] ppid=29263 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29277/stat : 29277 (java) S 29263 29266 27482 0 -1 1077944384 679 0 0 0 0 0 0 0 20 0 20 0 11996167 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539734796912 140540271340162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29278] ppid=29263 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29278/stat : 29278 (java) S 29263 29266 27482 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 20 0 11996168 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539733742944 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29279] ppid=29263 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29279/stat : 29279 (java) S 29263 29266 27482 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 11996168 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539732690560 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29280] ppid=29263 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29280/stat : 29280 (java) S 29263 29266 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11996172 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539731638864 140540271347611 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29281] ppid=29263 vsize=13270076 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29281/stat : 29281 (java) R 29263 29266 27482 0 -1 4202560 3508 0 0 0 70 0 0 0 20 0 20 0 11996172 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539730571176 140540249331557 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29282] ppid=29263 vsize=13270076 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29282/stat : 29282 (java) R 29263 29266 27482 0 -1 4202560 2260 0 0 0 68 0 0 0 20 0 20 0 11996172 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539729521856 140540271350362 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29283] ppid=29263 vsize=13270076 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29283/stat : 29283 (java) R 29263 29266 27482 0 -1 4202560 2592 0 0 0 63 0 0 0 20 0 20 0 11996172 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539728461744 140540254804265 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29284] ppid=29263 vsize=13270076 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29284/stat : 29284 (java) S 29263 29266 27482 0 -1 1077944384 6877 0 0 0 73 1 0 0 20 0 20 0 11996172 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539727427824 140540271340162 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29285] ppid=29263 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29285/stat : 29285 (java) S 29263 29266 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11996172 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539726375776 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29286] ppid=29263 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29286/stat : 29286 (java) S 29263 29266 27482 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 11996172 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539725323056 140540271340162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 13270076
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29266 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.50106 s]
/proc/loadavg: 1.94 2.02 2.00 6/281 29286
/proc/meminfo: memFree=29531300/32770624 swapFree=5932/348416
[pid=29266] ppid=29263 vsize=13270076 CPUtime=4.39 cores=0,2,4,6,8,10,12,14
/proc/29266/stat : 29266 (java) S 29263 29266 27482 0 -1 1077944320 30531 0 0 0 423 16 0 0 20 0 20 0 11996163 13588557824 58200 33554432000 4194304 4196468 140731911134128 140731911116672 140540271329015 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
/proc/29266/statm: 3317519 58200 3797 1 0 3305234 0
[pid=29266/tid=29267] ppid=29263 vsize=13270076 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29267/stat : 29267 (java) R 29263 29266 27482 0 -1 4202560 12493 0 0 0 140 4 0 0 20 0 20 0 11996164 13588557824 58200 33554432000 4194304 4196468 140731911134128 140540275564312 140539877468020 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29268] ppid=29263 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29268/stat : 29268 (java) S 29263 29266 27482 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 11996165 13588557824 58200 33554432000 4194304 4196468 140731911134128 140540189809552 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29269] ppid=29263 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29269/stat : 29269 (java) S 29263 29266 27482 0 -1 1077944384 34 0 0 0 0 1 0 0 20 0 20 0 11996165 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539869522704 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29270] ppid=29263 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29270/stat : 29270 (java) S 29263 29266 27482 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 20 0 11996165 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539868470416 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29271] ppid=29263 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29271/stat : 29271 (java) S 29263 29266 27482 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 11996165 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539867417616 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29272] ppid=29263 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29272/stat : 29272 (java) S 29263 29266 27482 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 20 0 11996165 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539866364304 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29273] ppid=29263 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29273/stat : 29273 (java) S 29263 29266 27482 0 -1 1077944384 73 0 0 0 0 1 0 0 20 0 20 0 11996165 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539865311504 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29274] ppid=29263 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29274/stat : 29274 (java) S 29263 29266 27482 0 -1 1077944384 56 0 0 0 0 1 0 0 20 0 20 0 11996165 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539864259216 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29276] ppid=29263 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29276/stat : 29276 (java) S 29263 29266 27482 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 11996165 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539863206416 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29277] ppid=29263 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29277/stat : 29277 (java) S 29263 29266 27482 0 -1 1077944384 679 0 0 0 0 0 0 0 20 0 20 0 11996167 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539734796912 140540271340162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29278] ppid=29263 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29278/stat : 29278 (java) S 29263 29266 27482 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 20 0 11996168 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539733742944 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29279] ppid=29263 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29279/stat : 29279 (java) S 29263 29266 27482 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 11996168 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539732690560 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29280] ppid=29263 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29280/stat : 29280 (java) S 29263 29266 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11996172 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539731638864 140540271347611 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29281] ppid=29263 vsize=13270076 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29281/stat : 29281 (java) R 29263 29266 27482 0 -1 4202560 3508 0 0 0 70 0 0 0 20 0 20 0 11996172 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539730571176 140540249331557 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29282] ppid=29263 vsize=13270076 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29282/stat : 29282 (java) R 29263 29266 27482 0 -1 4202560 2260 0 0 0 68 0 0 0 20 0 20 0 11996172 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539729521856 140540271350362 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29283] ppid=29263 vsize=13270076 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29283/stat : 29283 (java) R 29263 29266 27482 0 -1 4202560 2592 0 0 0 63 0 0 0 20 0 20 0 11996172 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539728461744 140540254804265 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29284] ppid=29263 vsize=13270076 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29284/stat : 29284 (java) S 29263 29266 27482 0 -1 1077944384 6877 0 0 0 73 1 0 0 20 0 20 0 11996172 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539727427824 140540271340162 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29285] ppid=29263 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29285/stat : 29285 (java) S 29263 29266 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11996172 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539726375776 140540271339221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
[pid=29266/tid=29286] ppid=29263 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29266/task/29286/stat : 29286 (java) S 29263 29266 27482 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 11996172 13588557824 58200 33554432000 4194304 4196468 140731911134128 140539725323056 140540271340162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32555008 140731911136394 140731911136580 140731911136580 140731911139279 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 13270076
Child status: 0
Real time (s): 1.56073
CPU time (s): 4.59925
CPU user time (s): 4.42512
CPU system time (s): 0.174129
CPU usage (%): 294.686
Max. virtual memory (cumulated for all children) (KiB): 13270076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.42512
system time used= 0.174129
maximum resident set size= 236312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31298
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= 3662
involuntary context switches= 337
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.019157 second user time and 0.023415 second system time
The end