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-4256275-1501987229/watcher-4256275-1501987229 -o /tmp/evaluation-result-4256275-1501987229/solver-4256275-1501987229 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501986126-20441 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 58183666 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256275-1501987229.xml
pid=20621
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.69 1.78 1.87 2/179 20624
/proc/meminfo: memFree=31558300/32770624 swapFree=0/324772
[pid=20624] ppid=20621 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/20624/stat : 20624 (runsolver) D 20621 20624 12039 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 98376120 24240128 106 18446744073709551615 4194304 4338465 140729958640512 140729958638152 140639459836631 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 21860352 140729958641774 140729958642252 140729958642252 140729958645706 0
/proc/20624/statm: 5918 106 53 36 0 2156 0
[startup+0.100158 s]
/proc/loadavg: 1.69 1.78 1.87 2/179 20624
/proc/meminfo: memFree=31558300/32770624 swapFree=0/324772
[pid=20624] ppid=20621 vsize=13358552 CPUtime=0.01 cores=0,2,4,6
/proc/20624/stat : 20624 (java) S 20621 20624 12039 0 -1 1077944320 3597 0 0 0 1 0 0 0 20 0 6 0 98376120 13679157248 3732 18446744073709551615 4194304 4196468 140723451192496 140723451175040 140281007222519 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
/proc/20624/statm: 3339638 3798 1934 1 0 3329135 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13358552
[startup+0.200327 s]
/proc/loadavg: 1.69 1.78 1.87 2/179 20624
/proc/meminfo: memFree=31558300/32770624 swapFree=0/324772
[pid=20624] ppid=20621 vsize=13906484 CPUtime=0.05 cores=0,2,4,6
/proc/20624/stat : 20624 (java) S 20621 20624 12039 0 -1 1077944320 4876 0 0 0 4 1 0 0 20 0 14 0 98376120 14240239616 5425 18446744073709551615 4194304 4196468 140723451192496 140723451175040 140281007222519 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
/proc/20624/statm: 3476621 5425 2585 1 0 3466118 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13906484
[startup+0.300255 s]
/proc/loadavg: 1.69 1.78 1.87 2/179 20624
/proc/meminfo: memFree=31558300/32770624 swapFree=0/324772
[pid=20624] ppid=20621 vsize=13975920 CPUtime=0.19 cores=0,2,4,6
/proc/20624/stat : 20624 (java) S 20621 20624 12039 0 -1 1077944320 9795 0 0 0 17 2 0 0 20 0 15 0 98376120 14311342080 9151 18446744073709551615 4194304 4196468 140723451192496 140723451175040 140281007222519 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
/proc/20624/statm: 3493980 9151 3481 1 0 3482759 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13975920
[startup+0.700266 s]
/proc/loadavg: 1.69 1.78 1.87 2/179 20624
/proc/meminfo: memFree=31558300/32770624 swapFree=0/324772
[pid=20624] ppid=20621 vsize=13977988 CPUtime=0.91 cores=0,2,4,6
/proc/20624/stat : 20624 (java) S 20621 20624 12039 0 -1 1077944320 13831 0 0 0 87 4 0 0 20 0 15 0 98376120 14313459712 16081 18446744073709551615 4194304 4196468 140723451192496 140723451175040 140281007222519 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
/proc/20624/statm: 3494497 16081 3706 1 0 3483271 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 13977988
[startup+1.50101 s]
/proc/loadavg: 1.96 1.84 1.89 7/214 20668
/proc/meminfo: memFree=31379804/32770624 swapFree=0/324800
[pid=20624] ppid=20621 vsize=13982084 CPUtime=3.04 cores=0,2,4,6
/proc/20624/stat : 20624 (java) S 20621 20624 12039 0 -1 1077944320 30941 0 0 0 295 9 0 0 20 0 15 0 98376120 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140723451175040 140281007222519 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
/proc/20624/statm: 3495521 33337 3750 1 0 3484295 0
[pid=20624/tid=20626] ppid=20621 vsize=13982084 CPUtime=1.31 cores=0,2,4,6
/proc/20624/task/20626/stat : 20626 (java) R 20621 20624 12039 0 -1 4202560 14100 0 0 0 126 5 0 0 20 0 15 0 98376128 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140281011457784 140280632693041 0 4 1 16800974 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
[pid=20624/tid=20627] ppid=20621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/20624/task/20627/stat : 20627 (java) S 20621 20624 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98376129 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140280949169296 140281007232725 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
[pid=20624/tid=20628] ppid=20621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/20624/task/20628/stat : 20628 (java) S 20621 20624 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98376129 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140280948116496 140281007232725 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
[pid=20624/tid=20629] ppid=20621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/20624/task/20629/stat : 20629 (java) S 20621 20624 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98376129 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140280605449104 140281007232725 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
[pid=20624/tid=20630] ppid=20621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/20624/task/20630/stat : 20630 (java) S 20621 20624 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98376129 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140280604396304 140281007232725 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
[pid=20624/tid=20631] ppid=20621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/20624/task/20631/stat : 20631 (java) S 20621 20624 12039 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 98376131 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140280553519472 140281007233666 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
[pid=20624/tid=20632] ppid=20621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/20624/task/20632/stat : 20632 (java) S 20621 20624 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98376131 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140280552465440 140281007232725 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
[pid=20624/tid=20633] ppid=20621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/20624/task/20633/stat : 20633 (java) S 20621 20624 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98376131 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140280551412592 140281007232725 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
[pid=20624/tid=20634] ppid=20621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/20624/task/20634/stat : 20634 (java) S 20621 20624 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98376134 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140280550360912 140281007241115 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
[pid=20624/tid=20635] ppid=20621 vsize=13982084 CPUtime=0.66 cores=0,2,4,6
/proc/20624/task/20635/stat : 20635 (java) R 20621 20624 12039 0 -1 4202560 5811 0 0 0 65 1 0 0 20 0 15 0 98376134 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140280549290312 140280991128708 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
[pid=20624/tid=20636] ppid=20621 vsize=13982084 CPUtime=0.62 cores=0,2,4,6
/proc/20624/task/20636/stat : 20636 (java) R 20621 20624 12039 0 -1 4202560 6797 0 0 0 61 1 0 0 20 0 15 0 98376134 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140280548248984 140280990708894 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
[pid=20624/tid=20637] ppid=20621 vsize=13982084 CPUtime=0.41 cores=0,2,4,6
/proc/20624/task/20637/stat : 20637 (java) S 20621 20624 12039 0 -1 1077944384 2852 0 0 0 40 1 0 0 20 0 15 0 98376134 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140280547203696 140281007233666 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
[pid=20624/tid=20638] ppid=20621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/20624/task/20638/stat : 20638 (java) S 20621 20624 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98376134 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140280546151136 140281007232725 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
[pid=20624/tid=20640] ppid=20621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/20624/task/20640/stat : 20640 (java) S 20621 20624 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98376142 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140280476986032 140281007233666 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 13982084
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20624 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.50101 s]
/proc/loadavg: 1.96 1.84 1.89 7/214 20668
/proc/meminfo: memFree=31379804/32770624 swapFree=0/324800
[pid=20624] ppid=20621 vsize=13982084 CPUtime=3.04 cores=0,2,4,6
/proc/20624/stat : 20624 (java) S 20621 20624 12039 0 -1 1077944320 30941 0 0 0 295 9 0 0 20 0 15 0 98376120 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140723451175040 140281007222519 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
/proc/20624/statm: 3495521 33337 3750 1 0 3484295 0
[pid=20624/tid=20626] ppid=20621 vsize=13982084 CPUtime=1.31 cores=0,2,4,6
/proc/20624/task/20626/stat : 20626 (java) R 20621 20624 12039 0 -1 4202560 14100 0 0 0 126 5 0 0 20 0 15 0 98376128 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140281011457784 140280632693041 0 4 1 16800974 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
[pid=20624/tid=20627] ppid=20621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/20624/task/20627/stat : 20627 (java) S 20621 20624 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98376129 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140280949169296 140281007232725 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
[pid=20624/tid=20628] ppid=20621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/20624/task/20628/stat : 20628 (java) S 20621 20624 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98376129 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140280948116496 140281007232725 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
[pid=20624/tid=20629] ppid=20621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/20624/task/20629/stat : 20629 (java) S 20621 20624 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98376129 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140280605449104 140281007232725 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
[pid=20624/tid=20630] ppid=20621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/20624/task/20630/stat : 20630 (java) S 20621 20624 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98376129 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140280604396304 140281007232725 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
[pid=20624/tid=20631] ppid=20621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/20624/task/20631/stat : 20631 (java) S 20621 20624 12039 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 98376131 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140280553519472 140281007233666 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
[pid=20624/tid=20632] ppid=20621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/20624/task/20632/stat : 20632 (java) S 20621 20624 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98376131 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140280552465440 140281007232725 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
[pid=20624/tid=20633] ppid=20621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/20624/task/20633/stat : 20633 (java) S 20621 20624 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98376131 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140280551412592 140281007232725 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
[pid=20624/tid=20634] ppid=20621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/20624/task/20634/stat : 20634 (java) S 20621 20624 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98376134 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140280550360912 140281007241115 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
[pid=20624/tid=20635] ppid=20621 vsize=13982084 CPUtime=0.66 cores=0,2,4,6
/proc/20624/task/20635/stat : 20635 (java) R 20621 20624 12039 0 -1 4202560 5811 0 0 0 65 1 0 0 20 0 15 0 98376134 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140280549290312 140280991128708 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
[pid=20624/tid=20636] ppid=20621 vsize=13982084 CPUtime=0.62 cores=0,2,4,6
/proc/20624/task/20636/stat : 20636 (java) R 20621 20624 12039 0 -1 4202560 6797 0 0 0 61 1 0 0 20 0 15 0 98376134 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140280548248984 140280990708894 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
[pid=20624/tid=20637] ppid=20621 vsize=13982084 CPUtime=0.41 cores=0,2,4,6
/proc/20624/task/20637/stat : 20637 (java) S 20621 20624 12039 0 -1 1077944384 2852 0 0 0 40 1 0 0 20 0 15 0 98376134 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140280547203696 140281007233666 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
[pid=20624/tid=20638] ppid=20621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/20624/task/20638/stat : 20638 (java) S 20621 20624 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98376134 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140280546151136 140281007232725 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
[pid=20624/tid=20640] ppid=20621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/20624/task/20640/stat : 20640 (java) S 20621 20624 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98376142 14317654016 33337 18446744073709551615 4194304 4196468 140723451192496 140280476986032 140281007233666 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723451195801 140723451195985 140723451195985 140723451199439 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 13982084
Child status: 0
Real time (s): 1.53272
CPU time (s): 3.12148
CPU user time (s): 3.01466
CPU system time (s): 0.106822
CPU usage (%): 203.656
Max. virtual memory (cumulated for all children) (KiB): 13982084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.01466
system time used= 0.106822
maximum resident set size= 138368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31646
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= 2363
involuntary context switches= 21
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.01191 second user time and 0.01191 second system time
The end