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-4255983-1501651923/watcher-4255983-1501651923 -o /tmp/evaluation-result-4255983-1501651923/solver-4255983-1501651923 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501622945-15685 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1989460169 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255983-1501651923.xml
pid=9294
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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.56 1.90 1.97 5/199 9297
/proc/meminfo: memFree=31707576/32770624 swapFree=0/233672
[pid=9297] ppid=9294 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/9297/stat : 9297 (runsolver) D 9294 9297 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13007595 24240128 107 18446744073709551615 4194304 4338465 140734360974304 140734360971944 140624621384407 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 31309824 140734360977510 140734360977990 140734360977990 140734360981450 0
/proc/9297/statm: 5918 107 54 36 0 2156 0
[startup+0.100189 s]
/proc/loadavg: 1.56 1.90 1.97 5/199 9297
/proc/meminfo: memFree=31707576/32770624 swapFree=0/233672
[pid=9297] ppid=9294 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/9297/stat : 9297 (runsolver) D 9294 9297 5228 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 1 0 13007595 24240128 107 18446744073709551615 4194304 4338465 140734360974304 140734360971400 140624621210103 0 0 1 24578 18446744072101785124 0 0 17 6 0 0 10 0 0 6438912 6441760 31309824 140734360977510 140734360977990 140734360977990 140734360981450 0
/proc/9297/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200288 s]
/proc/loadavg: 1.56 1.90 1.97 5/199 9297
/proc/meminfo: memFree=31707576/32770624 swapFree=0/233672
[pid=9297] ppid=9294 vsize=13906484 CPUtime=0.05 cores=0,2,4,6
/proc/9297/stat : 9297 (java) S 9294 9297 5228 0 -1 1077944320 4686 0 0 0 4 1 0 0 20 0 14 0 13007595 14240239616 5241 18446744073709551615 4194304 4196468 140737326983840 140737326966384 140622923849463 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
/proc/9297/statm: 3476621 5241 2579 1 0 3466126 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13906484
[startup+0.303671 s]
/proc/loadavg: 1.56 1.90 1.97 5/199 9297
/proc/meminfo: memFree=31707576/32770624 swapFree=0/233672
[pid=9297] ppid=9294 vsize=13975920 CPUtime=0.15 cores=0,2,4,6
/proc/9297/stat : 9297 (java) S 9294 9297 5228 0 -1 1077944320 9549 0 0 0 13 2 0 0 20 0 15 0 13007595 14311342080 8433 18446744073709551615 4194304 4196468 140737326983840 140737326966384 140622923849463 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
/proc/9297/statm: 3493980 8433 3503 1 0 3482767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 13975920
[startup+0.701792 s]
/proc/loadavg: 1.56 1.90 1.97 5/199 9297
/proc/meminfo: memFree=31707576/32770624 swapFree=0/233672
[pid=9297] ppid=9294 vsize=13977988 CPUtime=0.9 cores=0,2,4,6
/proc/9297/stat : 9297 (java) S 9294 9297 5228 0 -1 1077944320 13729 0 0 0 86 4 0 0 20 0 15 0 13007595 14313459712 15959 18446744073709551615 4194304 4196468 140737326983840 140737326966384 140622923849463 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
/proc/9297/statm: 3494497 15959 3712 1 0 3483279 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 13977988
[startup+1.50071 s]
/proc/loadavg: 1.92 1.97 1.99 8/214 9312
/proc/meminfo: memFree=31448200/32770624 swapFree=0/233652
[pid=9297] ppid=9294 vsize=13982084 CPUtime=3.21 cores=0,2,4,6
/proc/9297/stat : 9297 (java) S 9294 9297 5228 0 -1 1077944320 25621 0 0 0 313 8 0 0 20 0 15 0 13007595 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140737326966384 140622923849463 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
/proc/9297/statm: 3495521 42198 3748 1 0 3484303 0
[pid=9297/tid=9299] ppid=9294 vsize=13982084 CPUtime=1.3 cores=0,2,4,6
/proc/9297/task/9299/stat : 9299 (java) R 9294 9297 5228 0 -1 4202560 13929 0 0 0 124 6 0 0 20 0 15 0 13007605 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622928084960 140622552560552 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
[pid=9297/tid=9300] ppid=9294 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/9297/task/9300/stat : 9300 (java) S 9294 9297 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13007606 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622880816144 140622923859669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
[pid=9297/tid=9301] ppid=9294 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/9297/task/9301/stat : 9301 (java) S 9294 9297 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13007606 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622879763600 140622923859669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
[pid=9297/tid=9302] ppid=9294 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/9297/task/9302/stat : 9302 (java) S 9294 9297 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13007606 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622878710544 140622923859669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
[pid=9297/tid=9303] ppid=9294 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/9297/task/9303/stat : 9303 (java) S 9294 9297 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13007606 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622877658000 140622923859669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
[pid=9297/tid=9304] ppid=9294 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/9297/task/9304/stat : 9304 (java) S 9294 9297 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 13007608 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622469834992 140622923860610 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
[pid=9297/tid=9305] ppid=9294 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/9297/task/9305/stat : 9305 (java) S 9294 9297 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13007608 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622468781216 140622923859669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
[pid=9297/tid=9306] ppid=9294 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/9297/task/9306/stat : 9306 (java) S 9294 9297 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 13007608 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622467728112 140622923859669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
[pid=9297/tid=9307] ppid=9294 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/9297/task/9307/stat : 9307 (java) S 9294 9297 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13007611 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622466676688 140622923868059 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
[pid=9297/tid=9308] ppid=9294 vsize=13982084 CPUtime=0.68 cores=0,2,4,6
/proc/9297/task/9308/stat : 9308 (java) R 9294 9297 5228 0 -1 4202560 3784 0 0 0 68 0 0 0 20 0 15 0 13007611 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622465606016 140622903093234 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
[pid=9297/tid=9309] ppid=9294 vsize=13982084 CPUtime=0.73 cores=0,2,4,6
/proc/9297/task/9309/stat : 9309 (java) R 9294 9297 5228 0 -1 4202560 4062 0 0 0 73 0 0 0 20 0 15 0 13007611 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622262420688 140622908975235 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
[pid=9297/tid=9310] ppid=9294 vsize=13982084 CPUtime=0.46 cores=0,2,4,6
/proc/9297/task/9310/stat : 9310 (java) S 9294 9297 5228 0 -1 1077944384 2462 0 0 0 46 0 0 0 20 0 15 0 13007611 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622261377520 140622923860610 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
[pid=9297/tid=9311] ppid=9294 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/9297/task/9311/stat : 9311 (java) S 9294 9297 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13007611 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622260325216 140622923859669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
[pid=9297/tid=9312] ppid=9294 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/9297/task/9312/stat : 9312 (java) S 9294 9297 5228 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 13007618 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622259272240 140622923860610 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 13982084
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9297 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.50071 s]
/proc/loadavg: 1.92 1.97 1.99 8/214 9312
/proc/meminfo: memFree=31448200/32770624 swapFree=0/233652
[pid=9297] ppid=9294 vsize=13982084 CPUtime=3.21 cores=0,2,4,6
/proc/9297/stat : 9297 (java) S 9294 9297 5228 0 -1 1077944320 25621 0 0 0 313 8 0 0 20 0 15 0 13007595 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140737326966384 140622923849463 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
/proc/9297/statm: 3495521 42198 3748 1 0 3484303 0
[pid=9297/tid=9299] ppid=9294 vsize=13982084 CPUtime=1.3 cores=0,2,4,6
/proc/9297/task/9299/stat : 9299 (java) R 9294 9297 5228 0 -1 4202560 13929 0 0 0 124 6 0 0 20 0 15 0 13007605 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622928084960 140622552560552 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
[pid=9297/tid=9300] ppid=9294 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/9297/task/9300/stat : 9300 (java) S 9294 9297 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13007606 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622880816144 140622923859669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
[pid=9297/tid=9301] ppid=9294 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/9297/task/9301/stat : 9301 (java) S 9294 9297 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13007606 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622879763600 140622923859669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
[pid=9297/tid=9302] ppid=9294 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/9297/task/9302/stat : 9302 (java) S 9294 9297 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13007606 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622878710544 140622923859669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
[pid=9297/tid=9303] ppid=9294 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/9297/task/9303/stat : 9303 (java) S 9294 9297 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13007606 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622877658000 140622923859669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
[pid=9297/tid=9304] ppid=9294 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/9297/task/9304/stat : 9304 (java) S 9294 9297 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 13007608 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622469834992 140622923860610 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
[pid=9297/tid=9305] ppid=9294 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/9297/task/9305/stat : 9305 (java) S 9294 9297 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13007608 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622468781216 140622923859669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
[pid=9297/tid=9306] ppid=9294 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/9297/task/9306/stat : 9306 (java) S 9294 9297 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 13007608 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622467728112 140622923859669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
[pid=9297/tid=9307] ppid=9294 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/9297/task/9307/stat : 9307 (java) S 9294 9297 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13007611 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622466676688 140622923868059 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
[pid=9297/tid=9308] ppid=9294 vsize=13982084 CPUtime=0.68 cores=0,2,4,6
/proc/9297/task/9308/stat : 9308 (java) R 9294 9297 5228 0 -1 4202560 3784 0 0 0 68 0 0 0 20 0 15 0 13007611 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622465606016 140622903093234 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
[pid=9297/tid=9309] ppid=9294 vsize=13982084 CPUtime=0.73 cores=0,2,4,6
/proc/9297/task/9309/stat : 9309 (java) R 9294 9297 5228 0 -1 4202560 4062 0 0 0 73 0 0 0 20 0 15 0 13007611 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622262420688 140622908975235 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
[pid=9297/tid=9310] ppid=9294 vsize=13982084 CPUtime=0.46 cores=0,2,4,6
/proc/9297/task/9310/stat : 9310 (java) S 9294 9297 5228 0 -1 1077944384 2462 0 0 0 46 0 0 0 20 0 15 0 13007611 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622261377520 140622923860610 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
[pid=9297/tid=9311] ppid=9294 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/9297/task/9311/stat : 9311 (java) S 9294 9297 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13007611 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622260325216 140622923859669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
[pid=9297/tid=9312] ppid=9294 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/9297/task/9312/stat : 9312 (java) S 9294 9297 5228 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 13007618 14317654016 42198 18446744073709551615 4194304 4196468 140737326983840 140622259272240 140622923860610 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13996032 140737326985617 140737326985803 140737326985803 140737326989263 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 13982084
Child status: 0
Real time (s): 1.53325
CPU time (s): 3.28485
CPU user time (s): 3.19106
CPU system time (s): 0.093794
CPU usage (%): 214.24
Max. virtual memory (cumulated for all children) (KiB): 13982084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.19106
system time used= 0.093794
maximum resident set size= 173920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26366
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2190
involuntary context switches= 14
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.008369 second user time and 0.015343 second system time
The end