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-4249807-1500767303/watcher-4249807-1500767303 -o /tmp/evaluation-result-4249807-1500767303/solver-4249807-1500767303 -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 584421778 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4249807-1500767303.xml
pid=29956
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.83 1.98 1.99 2/238 29959
/proc/meminfo: memFree=31546408/32770624 swapFree=5932/348276
[pid=29959] ppid=29956 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/stat : 29959 (java) S 29956 29959 27482 0 -1 1077944320 1717 0 0 0 0 0 0 0 20 0 2 0 12000360 369864704 1924 33554432000 4194304 4196468 140723371068896 140723371051440 139657370513143 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
/proc/29959/statm: 90299 1924 1072 1 0 79210 0
[pid=29959/tid=29961] ppid=29956 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29961/stat : 29961 (java) S 29956 29959 27482 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 12000360 369864704 1924 33554432000 4194304 4196468 140723371068896 139657374755232 139657370524290 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[startup+0.100072 s]
/proc/loadavg: 1.83 1.98 1.99 2/238 29959
/proc/meminfo: memFree=31546408/32770624 swapFree=5932/348276
[pid=29959] ppid=29956 vsize=13264380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/29959/stat : 29959 (java) S 29956 29959 27482 0 -1 1077944320 5532 0 0 0 8 1 0 0 20 0 20 0 12000360 13582725120 6113 33554432000 4194304 4196468 140723371068896 140723371051440 139657370513143 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
/proc/29959/statm: 3316095 6113 3306 1 0 3303815 0
[pid=29959/tid=29961] ppid=29956 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29961/stat : 29961 (java) R 29956 29959 27482 0 -1 4202560 3615 0 0 0 8 0 0 0 20 0 20 0 12000360 13582725120 6113 33554432000 4194304 4196468 140723371068896 139657374752760 139657362750270 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380
[startup+0.200439 s]
/proc/loadavg: 1.83 1.98 1.99 2/238 29959
/proc/meminfo: memFree=31546408/32770624 swapFree=5932/348276
[pid=29959] ppid=29956 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/29959/stat : 29959 (java) S 29956 29959 27482 0 -1 1077944320 8763 0 0 0 24 2 0 0 20 0 20 0 12000360 13582245888 8810 33554432000 4194304 4196468 140723371068896 140723371051440 139657370513143 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
/proc/29959/statm: 3315978 8810 3570 1 0 3303698 0
[pid=29959/tid=29961] ppid=29956 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29961/stat : 29961 (java) R 29956 29959 27482 0 -1 4202560 6473 0 0 0 17 1 0 0 20 0 20 0 12000360 13582245888 8810 33554432000 4194304 4196468 140723371068896 139657374694784 139657354593660 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912
[startup+0.300367 s]
/proc/loadavg: 1.83 1.98 1.99 2/238 29959
/proc/meminfo: memFree=31546408/32770624 swapFree=5932/348276
[pid=29959] ppid=29956 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/29959/stat : 29959 (java) S 29956 29959 27482 0 -1 1077944320 9794 0 0 0 39 3 0 0 20 0 20 0 12000360 13582245888 11069 33554432000 4194304 4196468 140723371068896 140723371051440 139657370513143 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
/proc/29959/statm: 3315978 11069 3629 1 0 3303698 0
[pid=29959/tid=29961] ppid=29956 vsize=13263912 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29961/stat : 29961 (java) R 29956 29959 27482 0 -1 4202560 7225 0 0 0 26 2 0 0 20 0 20 0 12000360 13582245888 11069 33554432000 4194304 4196468 140723371068896 139657374732816 139657354593630 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912
[startup+0.700303 s]
/proc/loadavg: 1.83 1.98 1.99 2/238 29959
/proc/meminfo: memFree=31546408/32770624 swapFree=5932/348276
[pid=29959] ppid=29956 vsize=13265980 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/29959/stat : 29959 (java) S 29956 29959 27482 0 -1 1077944320 14253 0 0 0 142 5 0 0 20 0 20 0 12000360 13584363520 19621 33554432000 4194304 4196468 140723371068896 140723371051440 139657370513143 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
/proc/29959/statm: 3316495 19621 3762 1 0 3304210 0
[pid=29959/tid=29961] ppid=29956 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29961/stat : 29961 (java) R 29956 29959 27482 0 -1 4202560 8612 0 0 0 64 3 0 0 20 0 20 0 12000360 13584363520 19621 33554432000 4194304 4196468 140723371068896 139657374748192 139657370525078 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13265980
[startup+1.50074 s]
/proc/loadavg: 1.68 1.95 1.98 10/281 30024
/proc/meminfo: memFree=31333328/32770624 swapFree=5932/348532
[pid=29959] ppid=29956 vsize=13270076 CPUtime=4.49 cores=0,2,4,6,8,10,12,14
/proc/29959/stat : 29959 (java) S 29956 29959 27482 0 -1 1077944320 29402 0 0 0 431 18 0 0 20 0 20 0 12000360 13588557824 59722 33554432000 4194304 4196468 140723371068896 140723371051440 139657370513143 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
/proc/29959/statm: 3317519 59722 3802 1 0 3305234 0
[pid=29959/tid=29961] ppid=29956 vsize=13270076 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29961/stat : 29961 (java) R 29956 29959 27482 0 -1 4202560 11072 0 0 0 139 5 0 0 20 0 20 0 12000360 13588557824 59722 33554432000 4194304 4196468 140723371068896 139657374748488 139656992539116 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29965] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29965/stat : 29965 (java) S 29956 29959 27482 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 12000361 13588557824 59722 33554432000 4194304 4196468 140723371068896 139657309477136 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29966] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29966/stat : 29966 (java) S 29956 29959 27482 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 12000361 13588557824 59722 33554432000 4194304 4196468 140723371068896 139657308424592 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29967] ppid=29956 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29967/stat : 29967 (java) S 29956 29959 27482 0 -1 1077944384 224 0 0 0 0 1 0 0 20 0 20 0 12000361 13588557824 59722 33554432000 4194304 4196468 140723371068896 139657307372048 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29968] ppid=29956 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29968/stat : 29968 (java) S 29956 29959 27482 0 -1 1077944384 42 0 0 0 0 1 0 0 20 0 20 0 12000361 13588557824 59722 33554432000 4194304 4196468 140723371068896 139657306319504 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29969] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29969/stat : 29969 (java) S 29956 29959 27482 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 12000361 13588557824 59722 33554432000 4194304 4196468 140723371068896 139657305266960 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29970] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29970/stat : 29970 (java) S 29956 29959 27482 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 12000361 13588557824 59722 33554432000 4194304 4196468 140723371068896 139656964823952 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29971] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29971/stat : 29971 (java) S 29956 29959 27482 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 20 0 12000361 13588557824 59722 33554432000 4194304 4196468 140723371068896 139656963771408 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29972] ppid=29956 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29972/stat : 29972 (java) S 29956 29959 27482 0 -1 1077944384 45 0 0 0 0 1 0 0 20 0 20 0 12000361 13588557824 59722 33554432000 4194304 4196468 140723371068896 139656962718864 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29979] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29979/stat : 29979 (java) S 29956 29959 27482 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 12000364 13588557824 59722 33554432000 4194304 4196468 140723371068896 139656102926320 139657370524290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29980] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29980/stat : 29980 (java) S 29956 29959 27482 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 12000364 13588557824 59722 33554432000 4194304 4196468 140723371068896 139656101872544 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29981] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29981/stat : 29981 (java) S 29956 29959 27482 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 12000365 13588557824 59722 33554432000 4194304 4196468 140723371068896 139656100819952 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29983] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29983/stat : 29983 (java) S 29956 29959 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 12000368 13588557824 59722 33554432000 4194304 4196468 140723371068896 139656099768528 139657370531739 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29984] ppid=29956 vsize=13270076 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29984/stat : 29984 (java) R 29956 29959 27482 0 -1 4202560 3339 0 0 0 67 1 0 0 20 0 20 0 12000368 13588557824 59722 33554432000 4194304 4196468 140723371068896 139656098697160 139657370534490 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29985] ppid=29956 vsize=13270076 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29985/stat : 29985 (java) R 29956 29959 27482 0 -1 4202560 4058 0 0 0 73 1 0 0 20 0 20 0 12000368 13588557824 59722 33554432000 4194304 4196468 140723371068896 139656097644616 139657354007382 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29986] ppid=29956 vsize=13270076 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29986/stat : 29986 (java) R 29956 29959 27482 0 -1 4202560 2424 0 0 0 73 0 0 0 20 0 20 0 12000368 13588557824 59722 33554432000 4194304 4196468 140723371068896 139655626339416 139657354506040 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29987] ppid=29956 vsize=13270076 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29987/stat : 29987 (java) S 29956 29959 27482 0 -1 1077944384 6464 0 0 0 69 1 0 0 20 0 20 0 12000369 13588557824 59722 33554432000 4194304 4196468 140723371068896 139655625300848 139657370524290 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29988] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29988/stat : 29988 (java) S 29956 29959 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 12000369 13588557824 59722 33554432000 4194304 4196468 140723371068896 139655624247520 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29990] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29990/stat : 29990 (java) S 29956 29959 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 12000369 13588557824 59722 33554432000 4194304 4196468 140723371068896 139655623195056 139657370524290 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 13270076
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29959 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60091 s]
/proc/loadavg: 1.68 1.95 1.98 10/281 30024
/proc/meminfo: memFree=31333328/32770624 swapFree=5932/348532
[pid=29959] ppid=29956 vsize=13270076 CPUtime=4.88 cores=0,2,4,6,8,10,12,14
/proc/29959/stat : 29959 (java) S 29956 29959 27482 0 -1 1077944320 31424 0 0 0 470 18 0 0 20 0 20 0 12000360 13588557824 61632 33554432000 4194304 4196468 140723371068896 140723371051440 139657370513143 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
/proc/29959/statm: 3317519 61632 3802 1 0 3305234 0
[pid=29959/tid=29961] ppid=29956 vsize=13270076 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29961/stat : 29961 (java) R 29956 29959 27482 0 -1 4202560 11072 0 0 0 149 5 0 0 20 0 20 0 12000360 13588557824 61632 33554432000 4194304 4196468 140723371068896 139657374748600 139656992539340 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29965] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29965/stat : 29965 (java) S 29956 29959 27482 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 12000361 13588557824 61632 33554432000 4194304 4196468 140723371068896 139657309477136 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29966] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29966/stat : 29966 (java) S 29956 29959 27482 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 12000361 13588557824 61632 33554432000 4194304 4196468 140723371068896 139657308424592 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29967] ppid=29956 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29967/stat : 29967 (java) S 29956 29959 27482 0 -1 1077944384 224 0 0 0 0 1 0 0 20 0 20 0 12000361 13588557824 61632 33554432000 4194304 4196468 140723371068896 139657307372048 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29968] ppid=29956 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29968/stat : 29968 (java) S 29956 29959 27482 0 -1 1077944384 42 0 0 0 0 1 0 0 20 0 20 0 12000361 13588557824 61632 33554432000 4194304 4196468 140723371068896 139657306319504 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29969] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29969/stat : 29969 (java) S 29956 29959 27482 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 12000361 13588557824 61632 33554432000 4194304 4196468 140723371068896 139657305266960 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29970] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29970/stat : 29970 (java) S 29956 29959 27482 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 12000361 13588557824 61632 33554432000 4194304 4196468 140723371068896 139656964823952 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29971] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29971/stat : 29971 (java) S 29956 29959 27482 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 20 0 12000361 13588557824 61632 33554432000 4194304 4196468 140723371068896 139656963771408 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29972] ppid=29956 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29972/stat : 29972 (java) S 29956 29959 27482 0 -1 1077944384 45 0 0 0 0 1 0 0 20 0 20 0 12000361 13588557824 61632 33554432000 4194304 4196468 140723371068896 139656962718864 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29979] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29979/stat : 29979 (java) S 29956 29959 27482 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 12000364 13588557824 61632 33554432000 4194304 4196468 140723371068896 139656102926320 139657370524290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29980] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29980/stat : 29980 (java) S 29956 29959 27482 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 12000364 13588557824 61632 33554432000 4194304 4196468 140723371068896 139656101872544 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29981] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29981/stat : 29981 (java) S 29956 29959 27482 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 12000365 13588557824 61632 33554432000 4194304 4196468 140723371068896 139656100819952 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29983] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29983/stat : 29983 (java) S 29956 29959 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 12000368 13588557824 61632 33554432000 4194304 4196468 140723371068896 139656099768528 139657370531739 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29984] ppid=29956 vsize=13270076 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29984/stat : 29984 (java) R 29956 29959 27482 0 -1 4202560 3688 0 0 0 77 1 0 0 20 0 20 0 12000368 13588557824 61632 33554432000 4194304 4196468 140723371068896 139656098702168 139657352034325 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29985] ppid=29956 vsize=13270076 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29985/stat : 29985 (java) R 29956 29959 27482 0 -1 4202560 4975 0 0 0 83 1 0 0 20 0 20 0 12000368 13588557824 61632 33554432000 4194304 4196468 140723371068896 139656097648264 139657355620828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29986] ppid=29956 vsize=13270076 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29986/stat : 29986 (java) R 29956 29959 27482 0 -1 4202560 3180 0 0 0 83 0 0 0 20 0 20 0 12000368 13588557824 61632 33554432000 4194304 4196468 140723371068896 139655626334408 139657354905133 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29987] ppid=29956 vsize=13270076 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29987/stat : 29987 (java) S 29956 29959 27482 0 -1 1077944384 6464 0 0 0 69 1 0 0 20 0 20 0 12000369 13588557824 61632 33554432000 4194304 4196468 140723371068896 139655625300848 139657370524290 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29988] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29988/stat : 29988 (java) S 29956 29959 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 12000369 13588557824 61632 33554432000 4194304 4196468 140723371068896 139655624247520 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29990] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29990/stat : 29990 (java) S 29956 29959 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 12000369 13588557824 61632 33554432000 4194304 4196468 140723371068896 139655623195056 139657370524290 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
Current children cumulated CPU time (s) 4.88
Current children cumulated vsize (KiB) 13270076
[startup+1.70071 s]
/proc/loadavg: 1.68 1.95 1.98 10/281 30024
/proc/meminfo: memFree=31333328/32770624 swapFree=5932/348532
[pid=29959] ppid=29956 vsize=13270076 CPUtime=5.28 cores=0,2,4,6,8,10,12,14
/proc/29959/stat : 29959 (java) S 29956 29959 27482 0 -1 1077944320 31912 0 0 0 510 18 0 0 20 0 20 0 12000360 13588557824 62195 33554432000 4194304 4196468 140723371068896 140723371051440 139657370513143 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
/proc/29959/statm: 3317519 62195 3802 1 0 3305234 0
[pid=29959/tid=29961] ppid=29956 vsize=13270076 CPUtime=1.64 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29961/stat : 29961 (java) R 29956 29959 27482 0 -1 4202560 11073 0 0 0 159 5 0 0 20 0 20 0 12000360 13588557824 62195 33554432000 4194304 4196468 140723371068896 139657374748808 139656992790741 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29965] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29965/stat : 29965 (java) S 29956 29959 27482 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 12000361 13588557824 62195 33554432000 4194304 4196468 140723371068896 139657309477136 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29966] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29966/stat : 29966 (java) S 29956 29959 27482 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 12000361 13588557824 62195 33554432000 4194304 4196468 140723371068896 139657308424592 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29967] ppid=29956 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29967/stat : 29967 (java) S 29956 29959 27482 0 -1 1077944384 224 0 0 0 0 1 0 0 20 0 20 0 12000361 13588557824 62195 33554432000 4194304 4196468 140723371068896 139657307372048 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29968] ppid=29956 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29968/stat : 29968 (java) S 29956 29959 27482 0 -1 1077944384 42 0 0 0 0 1 0 0 20 0 20 0 12000361 13588557824 62195 33554432000 4194304 4196468 140723371068896 139657306319504 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29969] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29969/stat : 29969 (java) S 29956 29959 27482 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 12000361 13588557824 62195 33554432000 4194304 4196468 140723371068896 139657305266960 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29970] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29970/stat : 29970 (java) S 29956 29959 27482 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 12000361 13588557824 62195 33554432000 4194304 4196468 140723371068896 139656964823952 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29971] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29971/stat : 29971 (java) S 29956 29959 27482 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 20 0 12000361 13588557824 62195 33554432000 4194304 4196468 140723371068896 139656963771408 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29972] ppid=29956 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29972/stat : 29972 (java) S 29956 29959 27482 0 -1 1077944384 45 0 0 0 0 1 0 0 20 0 20 0 12000361 13588557824 62195 33554432000 4194304 4196468 140723371068896 139656962718864 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29979] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29979/stat : 29979 (java) S 29956 29959 27482 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 12000364 13588557824 62195 33554432000 4194304 4196468 140723371068896 139656102926320 139657370524290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29980] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29980/stat : 29980 (java) S 29956 29959 27482 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 12000364 13588557824 62195 33554432000 4194304 4196468 140723371068896 139656101872544 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29981] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29981/stat : 29981 (java) S 29956 29959 27482 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 12000365 13588557824 62195 33554432000 4194304 4196468 140723371068896 139656100819952 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29983] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29983/stat : 29983 (java) S 29956 29959 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 12000368 13588557824 62195 33554432000 4194304 4196468 140723371068896 139656099768528 139657370531739 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29984] ppid=29956 vsize=13270076 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29984/stat : 29984 (java) R 29956 29959 27482 0 -1 4202560 3721 0 0 0 87 1 0 0 20 0 20 0 12000368 13588557824 62195 33554432000 4194304 4196468 140723371068896 139656098702576 139657348108180 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29985] ppid=29956 vsize=13270076 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29985/stat : 29985 (java) R 29956 29959 27482 0 -1 4202560 5334 0 0 0 93 1 0 0 20 0 20 0 12000368 13588557824 62195 33554432000 4194304 4196468 140723371068896 139656097645008 139657353898016 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29986] ppid=29956 vsize=13270076 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29986/stat : 29986 (java) R 29956 29959 27482 0 -1 4202560 3275 0 0 0 93 0 0 0 20 0 20 0 12000368 13588557824 62195 33554432000 4194304 4196468 140723371068896 139655626339416 139657355620716 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29987] ppid=29956 vsize=13270076 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29987/stat : 29987 (java) S 29956 29959 27482 0 -1 1077944384 6464 0 0 0 69 1 0 0 20 0 20 0 12000369 13588557824 62195 33554432000 4194304 4196468 140723371068896 139655625300848 139657370524290 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29988] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29988/stat : 29988 (java) S 29956 29959 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 12000369 13588557824 62195 33554432000 4194304 4196468 140723371068896 139655624247520 139657370523349 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
[pid=29959/tid=29990] ppid=29956 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29959/task/29990/stat : 29990 (java) S 29956 29959 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 12000369 13588557824 62195 33554432000 4194304 4196468 140723371068896 139655623195056 139657370524290 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33386496 140723371070602 140723371070788 140723371070788 140723371073487 0
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (KiB) 13270076
Child status: 0
Real time (s): 1.75068
CPU time (s): 5.41373
CPU user time (s): 5.21761
CPU system time (s): 0.196127
CPU usage (%): 309.235
Max. virtual memory (cumulated for all children) (KiB): 13270076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.21761
system time used= 0.196127
maximum resident set size= 250844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32214
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= 3480
involuntary context switches= 396
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.014877 second user time and 0.023378 second system time
The end