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-4255990-1501651873/watcher-4255990-1501651873 -o /tmp/evaluation-result-4255990-1501651873/solver-4255990-1501651873 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501622945-15686 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 2111754639 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255990-1501651873.xml
pid=8505
running on 4 cores: 1,3,5,7
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.66 1.97 1.99 3/199 8508
/proc/meminfo: memFree=31629528/32770624 swapFree=0/233428
[pid=8508] ppid=8505 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/8508/stat : 8508 (runsolver) D 8505 8508 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13002684 24240128 107 18446744073709551615 4194304 4338465 140735815782960 140735815780600 139960974054103 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 7446528 140735815786598 140735815787078 140735815787078 140735815790538 0
/proc/8508/statm: 5918 107 54 36 0 2156 0
[startup+0.100154 s]
/proc/loadavg: 1.66 1.97 1.99 3/199 8508
/proc/meminfo: memFree=31629528/32770624 swapFree=0/233428
[pid=8508] ppid=8505 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/8508/stat : 8508 (runsolver) D 8505 8508 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13002684 24240128 107 18446744073709551615 4194304 4338465 140735815782960 140735815780600 139960974054103 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 7446528 140735815786598 140735815787078 140735815787078 140735815790538 0
/proc/8508/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200299 s]
/proc/loadavg: 1.66 1.97 1.99 3/199 8508
/proc/meminfo: memFree=31629528/32770624 swapFree=0/233428
[pid=8508] ppid=8505 vsize=13906484 CPUtime=0.05 cores=1,3,5,7
/proc/8508/stat : 8508 (java) S 8505 8508 5228 0 -1 1077944320 4996 0 0 0 4 1 0 0 20 0 14 0 13002684 14240239616 5545 18446744073709551615 4194304 4196468 140730840429968 140730840412512 139670553493239 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
/proc/8508/statm: 3476621 5545 2568 1 0 3466126 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13906484
[startup+0.300313 s]
/proc/loadavg: 1.66 1.97 1.99 3/199 8508
/proc/meminfo: memFree=31629528/32770624 swapFree=0/233428
[pid=8508] ppid=8505 vsize=13975920 CPUtime=0.19 cores=1,3,5,7
/proc/8508/stat : 8508 (java) S 8505 8508 5228 0 -1 1077944320 9908 0 0 0 16 3 0 0 20 0 15 0 13002684 14311342080 9341 18446744073709551615 4194304 4196468 140730840429968 140730840412512 139670553493239 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
/proc/8508/statm: 3493980 9341 3536 1 0 3482767 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13975920
[startup+0.701632 s]
/proc/loadavg: 1.66 1.97 1.99 3/199 8508
/proc/meminfo: memFree=31629528/32770624 swapFree=0/233428
[pid=8508] ppid=8505 vsize=13977988 CPUtime=0.98 cores=1,3,5,7
/proc/8508/stat : 8508 (java) S 8505 8508 5228 0 -1 1077944320 14541 0 0 0 93 5 0 0 20 0 15 0 13002684 14313459712 17278 18446744073709551615 4194304 4196468 140730840429968 140730840412512 139670553493239 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
/proc/8508/statm: 3494497 17278 3718 1 0 3483279 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 13977988
[startup+1.50064 s]
/proc/loadavg: 1.66 1.97 1.99 5/214 8523
/proc/meminfo: memFree=31506252/32770624 swapFree=0/233380
[pid=8508] ppid=8505 vsize=13982084 CPUtime=3.34 cores=1,3,5,7
/proc/8508/stat : 8508 (java) S 8505 8508 5228 0 -1 1077944320 25509 0 0 0 324 10 0 0 20 0 15 0 13002684 14317654016 48959 18446744073709551615 4194304 4196468 140730840429968 140730840412512 139670553493239 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
/proc/8508/statm: 3495521 48959 3749 1 0 3484303 0
[pid=8508/tid=8510] ppid=8505 vsize=13982084 CPUtime=1.32 cores=1,3,5,7
/proc/8508/task/8510/stat : 8510 (java) R 8505 8508 5228 0 -1 4202560 13658 0 0 0 125 7 0 0 20 0 15 0 13002695 14317654016 48959 18446744073709551615 4194304 4196468 140730840429968 139670557731376 139670200296406 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
[pid=8508/tid=8511] ppid=8505 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8508/task/8511/stat : 8511 (java) S 8505 8508 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13002696 14317654016 48959 18446744073709551615 4194304 4196468 140730840429968 139670153325200 139670553503445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
[pid=8508/tid=8512] ppid=8505 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8508/task/8512/stat : 8512 (java) S 8505 8508 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13002696 14317654016 48959 18446744073709551615 4194304 4196468 140730840429968 139670152272400 139670553503445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
[pid=8508/tid=8513] ppid=8505 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8508/task/8513/stat : 8513 (java) S 8505 8508 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13002696 14317654016 48959 18446744073709551615 4194304 4196468 140730840429968 139670151219600 139670553503445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
[pid=8508/tid=8514] ppid=8505 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8508/task/8514/stat : 8514 (java) S 8505 8508 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13002696 14317654016 48959 18446744073709551615 4194304 4196468 140730840429968 139670150166800 139670553503445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
[pid=8508/tid=8515] ppid=8505 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8508/task/8515/stat : 8515 (java) S 8505 8508 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 13002697 14317654016 48959 18446744073709551615 4194304 4196468 140730840429968 139670130903920 139670553504386 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
[pid=8508/tid=8516] ppid=8505 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8508/task/8516/stat : 8516 (java) S 8505 8508 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13002697 14317654016 48959 18446744073709551615 4194304 4196468 140730840429968 139670129849888 139670553503445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
[pid=8508/tid=8517] ppid=8505 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8508/task/8517/stat : 8517 (java) S 8505 8508 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 13002698 14317654016 48959 18446744073709551615 4194304 4196468 140730840429968 139670128797040 139670553503445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
[pid=8508/tid=8518] ppid=8505 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8508/task/8518/stat : 8518 (java) S 8505 8508 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13002700 14317654016 48959 18446744073709551615 4194304 4196468 140730840429968 139670127745360 139670553511835 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
[pid=8508/tid=8519] ppid=8505 vsize=13982084 CPUtime=0.73 cores=1,3,5,7
/proc/8508/task/8519/stat : 8519 (java) R 8505 8508 5228 0 -1 4202560 4490 0 0 0 73 0 0 0 20 0 15 0 13002700 14317654016 48959 18446744073709551615 4194304 4196468 140730840429968 139670126678904 139670531896813 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
[pid=8508/tid=8520] ppid=8505 vsize=13982084 CPUtime=0.77 cores=1,3,5,7
/proc/8508/task/8520/stat : 8520 (java) R 8505 8508 5228 0 -1 4202560 3869 0 0 0 77 0 0 0 20 0 15 0 13002700 14317654016 48959 18446744073709551615 4194304 4196468 140730840429968 139670125625992 139670539173941 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
[pid=8508/tid=8521] ppid=8505 vsize=13982084 CPUtime=0.47 cores=1,3,5,7
/proc/8508/task/8521/stat : 8521 (java) S 8505 8508 5228 0 -1 1077944384 2113 0 0 0 47 0 0 0 20 0 15 0 13002700 14317654016 48959 18446744073709551615 4194304 4196468 140730840429968 139670124587120 139670553504386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
[pid=8508/tid=8522] ppid=8505 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8508/task/8522/stat : 8522 (java) S 8505 8508 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13002700 14317654016 48959 18446744073709551615 4194304 4196468 140730840429968 139670123534560 139670553503445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
[pid=8508/tid=8523] ppid=8505 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8508/task/8523/stat : 8523 (java) S 8505 8508 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13002706 14317654016 48959 18446744073709551615 4194304 4196468 140730840429968 139670054759600 139670553504386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
Current children cumulated CPU time (s) 3.34
Current children cumulated vsize (KiB) 13982084
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8508 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60083 s]
/proc/loadavg: 1.66 1.97 1.99 5/214 8523
/proc/meminfo: memFree=31506252/32770624 swapFree=0/233380
[pid=8508] ppid=8505 vsize=13982084 CPUtime=3.63 cores=1,3,5,7
/proc/8508/stat : 8508 (java) S 8505 8508 5228 0 -1 1077944320 26739 0 0 0 353 10 0 0 20 0 15 0 13002684 14317654016 54229 18446744073709551615 4194304 4196468 140730840429968 140730840412512 139670553493239 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
/proc/8508/statm: 3495521 54229 3754 1 0 3484303 0
[pid=8508/tid=8510] ppid=8505 vsize=13982084 CPUtime=1.41 cores=1,3,5,7
/proc/8508/task/8510/stat : 8510 (java) R 8505 8508 5228 0 -1 4202560 13682 0 0 0 134 7 0 0 20 0 15 0 13002695 14317654016 54229 18446744073709551615 4194304 4196468 140730840429968 139670557731008 139670200234932 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
[pid=8508/tid=8511] ppid=8505 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8508/task/8511/stat : 8511 (java) S 8505 8508 5228 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 13002696 14317654016 54229 18446744073709551615 4194304 4196468 140730840429968 139670153325200 139670553503445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
[pid=8508/tid=8512] ppid=8505 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8508/task/8512/stat : 8512 (java) S 8505 8508 5228 0 -1 1077944384 353 0 0 0 0 0 0 0 20 0 15 0 13002696 14317654016 54229 18446744073709551615 4194304 4196468 140730840429968 139670152272400 139670553503445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
[pid=8508/tid=8513] ppid=8505 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8508/task/8513/stat : 8513 (java) S 8505 8508 5228 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 13002696 14317654016 54229 18446744073709551615 4194304 4196468 140730840429968 139670151219600 139670553503445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
[pid=8508/tid=8514] ppid=8505 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8508/task/8514/stat : 8514 (java) S 8505 8508 5228 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 13002696 14317654016 54229 18446744073709551615 4194304 4196468 140730840429968 139670150166800 139670553503445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
[pid=8508/tid=8515] ppid=8505 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8508/task/8515/stat : 8515 (java) S 8505 8508 5228 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 13002697 14317654016 54229 18446744073709551615 4194304 4196468 140730840429968 139670130903920 139670553504386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
[pid=8508/tid=8516] ppid=8505 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8508/task/8516/stat : 8516 (java) S 8505 8508 5228 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 13002697 14317654016 54229 18446744073709551615 4194304 4196468 140730840429968 139670129849888 139670553503445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
[pid=8508/tid=8517] ppid=8505 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8508/task/8517/stat : 8517 (java) S 8505 8508 5228 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 13002698 14317654016 54229 18446744073709551615 4194304 4196468 140730840429968 139670128797056 139670553503445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
[pid=8508/tid=8518] ppid=8505 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8508/task/8518/stat : 8518 (java) S 8505 8508 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13002700 14317654016 54229 18446744073709551615 4194304 4196468 140730840429968 139670127745360 139670553511835 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
[pid=8508/tid=8519] ppid=8505 vsize=13982084 CPUtime=0.82 cores=1,3,5,7
/proc/8508/task/8519/stat : 8519 (java) R 8505 8508 5228 0 -1 4202560 4555 0 0 0 82 0 0 0 20 0 15 0 13002700 14317654016 54229 18446744073709551615 4194304 4196468 140730840429968 139670126681216 139670532882473 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
[pid=8508/tid=8520] ppid=8505 vsize=13982084 CPUtime=0.86 cores=1,3,5,7
/proc/8508/task/8520/stat : 8520 (java) R 8505 8508 5228 0 -1 4202560 3911 0 0 0 86 0 0 0 20 0 15 0 13002700 14317654016 54229 18446744073709551615 4194304 4196468 140730840429968 139670125619632 139670538600305 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
[pid=8508/tid=8521] ppid=8505 vsize=13982084 CPUtime=0.48 cores=1,3,5,7
/proc/8508/task/8521/stat : 8521 (java) S 8505 8508 5228 0 -1 1077944384 2683 0 0 0 48 0 0 0 20 0 15 0 13002700 14317654016 54229 18446744073709551615 4194304 4196468 140730840429968 139670124587120 139670553504386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
[pid=8508/tid=8522] ppid=8505 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8508/task/8522/stat : 8522 (java) S 8505 8508 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13002700 14317654016 54229 18446744073709551615 4194304 4196468 140730840429968 139670123534560 139670553503445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
[pid=8508/tid=8523] ppid=8505 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8508/task/8523/stat : 8523 (java) S 8505 8508 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13002706 14317654016 54229 18446744073709551615 4194304 4196468 140730840429968 139670054759600 139670553504386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140730840433041 140730840433227 140730840433227 140730840436687 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 13982084
Child status: 0
Real time (s): 1.70005
CPU time (s): 3.83276
CPU user time (s): 3.71797
CPU system time (s): 0.114789
CPU usage (%): 225.45
Max. virtual memory (cumulated for all children) (KiB): 13982084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.71797
system time used= 0.114789
maximum resident set size= 217684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26902
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= 2323
involuntary context switches= 14
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.011098 second user time and 0.012373 second system time
The end