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-4256621-1501992838/watcher-4256621-1501992838 -o /tmp/evaluation-result-4256621-1501992838/solver-4256621-1501992838 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501986359-8059 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 892847286 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256621-1501992838.xml
pid=13364
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.55 1.47 1.54 4/198 13367
/proc/meminfo: memFree=31325632/32770624 swapFree=0/294956
[pid=13367] ppid=13364 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/13367/stat : 13367 (runsolver) D 13364 13367 30500 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 47099107 24240128 106 18446744073709551615 4194304 4338465 140725230389648 140725230387288 140602468569815 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 17571840 140725230391410 140725230391884 140725230391884 140725230395338 0
/proc/13367/statm: 5918 106 53 36 0 2156 0
[startup+0.100122 s]
/proc/loadavg: 1.55 1.47 1.54 4/198 13367
/proc/meminfo: memFree=31325632/32770624 swapFree=0/294956
[pid=13367] ppid=13364 vsize=105196 CPUtime=0 cores=0,2,4,6
/proc/13367/stat : 13367 (java) S 13364 13367 30500 0 -1 1077944320 1636 0 0 0 0 0 0 0 20 0 2 0 47099107 107720704 1326 18446744073709551615 4194304 4196468 140735219947648 140735219930192 140689976880887 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
/proc/13367/statm: 26555 1326 1000 1 0 17064 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 105196
[startup+0.200312 s]
/proc/loadavg: 1.55 1.47 1.54 4/198 13367
/proc/meminfo: memFree=31325632/32770624 swapFree=0/294956
[pid=13367] ppid=13364 vsize=13906484 CPUtime=0.06 cores=0,2,4,6
/proc/13367/stat : 13367 (java) S 13364 13367 30500 0 -1 1077944320 5092 0 0 0 5 1 0 0 20 0 14 0 47099107 14240239616 5610 18446744073709551615 4194304 4196468 140735219947648 140735219930192 140689976880887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
/proc/13367/statm: 3476621 5610 2564 1 0 3466118 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13906484
[startup+0.30025 s]
/proc/loadavg: 1.55 1.47 1.54 4/198 13367
/proc/meminfo: memFree=31325632/32770624 swapFree=0/294956
[pid=13367] ppid=13364 vsize=13975920 CPUtime=0.2 cores=0,2,4,6
/proc/13367/stat : 13367 (java) S 13364 13367 30500 0 -1 1077944320 10069 0 0 0 18 2 0 0 20 0 15 0 47099107 14311342080 9465 18446744073709551615 4194304 4196468 140735219947648 140735219930192 140689976880887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
/proc/13367/statm: 3493980 9465 3540 1 0 3482759 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 13975920
[startup+0.700612 s]
/proc/loadavg: 1.55 1.47 1.54 4/198 13367
/proc/meminfo: memFree=31325632/32770624 swapFree=0/294956
[pid=13367] ppid=13364 vsize=13977988 CPUtime=1 cores=0,2,4,6
/proc/13367/stat : 13367 (java) S 13364 13367 30500 0 -1 1077944320 14408 0 0 0 95 5 0 0 20 0 15 0 47099107 14313459712 17634 18446744073709551615 4194304 4196468 140735219947648 140735219930192 140689976880887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
/proc/13367/statm: 3494497 17634 3731 1 0 3483271 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 13977988
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13367 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800277 s]
/proc/loadavg: 1.55 1.47 1.54 4/198 13367
/proc/meminfo: memFree=31325632/32770624 swapFree=0/294956
[pid=13367] ppid=13364 vsize=13980036 CPUtime=1.21 cores=0,2,4,6
/proc/13367/stat : 13367 (java) S 13364 13367 30500 0 -1 1077944320 15077 0 0 0 116 5 0 0 20 0 15 0 47099107 14315556864 19417 18446744073709551615 4194304 4196468 140735219947648 140735219930192 140689976880887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
/proc/13367/statm: 3495009 19417 3732 1 0 3483783 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 13980036
[startup+1.20694 s]
/proc/loadavg: 1.55 1.47 1.54 7/213 13382
/proc/meminfo: memFree=31188240/32770624 swapFree=0/294984
[pid=13367] ppid=13364 vsize=13980036 CPUtime=2.26 cores=0,2,4,6
/proc/13367/stat : 13367 (java) S 13364 13367 30500 0 -1 1077944320 27873 0 0 0 218 8 0 0 20 0 15 0 47099107 14315556864 30870 18446744073709551615 4194304 4196468 140735219947648 140735219930192 140689976880887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
/proc/13367/statm: 3495009 30870 3752 1 0 3483783 0
[pid=13367/tid=13369] ppid=13364 vsize=13980036 CPUtime=1.04 cores=0,2,4,6
/proc/13367/task/13369/stat : 13369 (java) R 13364 13367 30500 0 -1 4202560 14068 0 0 0 98 6 0 0 20 0 15 0 47099117 14315556864 30870 18446744073709551615 4194304 4196468 140735219947648 140689981110528 140689593536434 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
[pid=13367/tid=13370] ppid=13364 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/13367/task/13370/stat : 13370 (java) S 13364 13367 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 47099118 14315556864 30870 18446744073709551615 4194304 4196468 140735219947648 140689911314704 140689976891093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
[pid=13367/tid=13371] ppid=13364 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/13367/task/13371/stat : 13371 (java) S 13364 13367 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 47099118 14315556864 30870 18446744073709551615 4194304 4196468 140735219947648 140689910262160 140689976891093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
[pid=13367/tid=13372] ppid=13364 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/13367/task/13372/stat : 13372 (java) S 13364 13367 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 47099118 14315556864 30870 18446744073709551615 4194304 4196468 140735219947648 140689574378000 140689976891093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
[pid=13367/tid=13373] ppid=13364 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/13367/task/13373/stat : 13373 (java) S 13364 13367 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 47099118 14315556864 30870 18446744073709551615 4194304 4196468 140735219947648 140689573325456 140689976891093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
[pid=13367/tid=13374] ppid=13364 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/13367/task/13374/stat : 13374 (java) S 13364 13367 30500 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 47099119 14315556864 30870 18446744073709551615 4194304 4196468 140735219947648 140689523304944 140689976892034 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
[pid=13367/tid=13375] ppid=13364 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/13367/task/13375/stat : 13375 (java) S 13364 13367 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 47099120 14315556864 30870 18446744073709551615 4194304 4196468 140735219947648 140689522251168 140689976891093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
[pid=13367/tid=13376] ppid=13364 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/13367/task/13376/stat : 13376 (java) S 13364 13367 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 47099120 14315556864 30870 18446744073709551615 4194304 4196468 140735219947648 140689521198576 140689976891093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
[pid=13367/tid=13377] ppid=13364 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/13367/task/13377/stat : 13377 (java) S 13364 13367 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47099122 14315556864 30870 18446744073709551615 4194304 4196468 140735219947648 140689520147152 140689976899483 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
[pid=13367/tid=13378] ppid=13364 vsize=13980036 CPUtime=0.44 cores=0,2,4,6
/proc/13367/task/13378/stat : 13378 (java) R 13364 13367 30500 0 -1 4202560 5583 0 0 0 43 1 0 0 20 0 15 0 47099122 14315556864 30870 18446744073709551615 4194304 4196468 140735219947648 140689519079768 140689969170269 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
[pid=13367/tid=13379] ppid=13364 vsize=13980036 CPUtime=0.39 cores=0,2,4,6
/proc/13367/task/13379/stat : 13379 (java) R 13364 13367 30500 0 -1 4202560 5064 0 0 0 39 0 0 0 20 0 15 0 47099122 14315556864 30870 18446744073709551615 4194304 4196468 140735219947648 140689518027384 140689956573983 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
[pid=13367/tid=13380] ppid=13364 vsize=13980036 CPUtime=0.36 cores=0,2,4,6
/proc/13367/task/13380/stat : 13380 (java) S 13364 13367 30500 0 -1 1077944384 1801 0 0 0 36 0 0 0 20 0 15 0 47099122 14315556864 30870 18446744073709551615 4194304 4196468 140735219947648 140689516988656 140689976892034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
[pid=13367/tid=13381] ppid=13364 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/13367/task/13381/stat : 13381 (java) S 13364 13367 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47099122 14315556864 30870 18446744073709551615 4194304 4196468 140735219947648 140689515936352 140689976891093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
[pid=13367/tid=13382] ppid=13364 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/13367/task/13382/stat : 13382 (java) R 13364 13367 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 47099128 14315556864 30870 18446744073709551615 4194304 4196468 140735219947648 140689514883888 140689976892034 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 13980036
[startup+1.40069 s]
/proc/loadavg: 1.55 1.47 1.54 7/213 13382
/proc/meminfo: memFree=31188240/32770624 swapFree=0/294984
[pid=13367] ppid=13364 vsize=14046600 CPUtime=2.84 cores=0,2,4,6
/proc/13367/stat : 13367 (java) S 13364 13367 30500 0 -1 1077944320 30460 0 0 0 275 9 0 0 20 0 13 0 47099107 14383718400 35562 18446744073709551615 4194304 4196468 140735219947648 140735219930192 140689976880887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
/proc/13367/statm: 3511650 35562 3756 1 0 3500424 0
[pid=13367/tid=13369] ppid=13364 vsize=14046600 CPUtime=1.22 cores=0,2,4,6
/proc/13367/task/13369/stat : 13369 (java) S 13364 13367 30500 0 -1 1077944384 14209 0 0 0 116 6 0 0 20 0 13 0 47099117 14383718400 35562 18446744073709551615 4194304 4196468 140735219947648 140689981123728 140689976891093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
[pid=13367/tid=13370] ppid=13364 vsize=14046600 CPUtime=0 cores=0,2,4,6
/proc/13367/task/13370/stat : 13370 (java) S 13364 13367 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 47099118 14383718400 35562 18446744073709551615 4194304 4196468 140735219947648 140689911314704 140689976891093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
[pid=13367/tid=13371] ppid=13364 vsize=14046600 CPUtime=0 cores=0,2,4,6
/proc/13367/task/13371/stat : 13371 (java) S 13364 13367 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 47099118 14383718400 35562 18446744073709551615 4194304 4196468 140735219947648 140689910262160 140689976891093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
[pid=13367/tid=13372] ppid=13364 vsize=14046600 CPUtime=0 cores=0,2,4,6
/proc/13367/task/13372/stat : 13372 (java) S 13364 13367 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 47099118 14383718400 35562 18446744073709551615 4194304 4196468 140735219947648 140689574378000 140689976891093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
[pid=13367/tid=13373] ppid=13364 vsize=14046600 CPUtime=0 cores=0,2,4,6
/proc/13367/task/13373/stat : 13373 (java) S 13364 13367 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 47099118 14383718400 35562 18446744073709551615 4194304 4196468 140735219947648 140689573325456 140689976891093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
[pid=13367/tid=13374] ppid=13364 vsize=14046600 CPUtime=0 cores=0,2,4,6
/proc/13367/task/13374/stat : 13374 (java) S 13364 13367 30500 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 13 0 47099119 14383718400 35562 18446744073709551615 4194304 4196468 140735219947648 140689523305152 140689976892034 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
[pid=13367/tid=13375] ppid=13364 vsize=14046600 CPUtime=0 cores=0,2,4,6
/proc/13367/task/13375/stat : 13375 (java) S 13364 13367 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 47099120 14383718400 35562 18446744073709551615 4194304 4196468 140735219947648 140689522251168 140689976891093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
[pid=13367/tid=13376] ppid=13364 vsize=14046600 CPUtime=0 cores=0,2,4,6
/proc/13367/task/13376/stat : 13376 (java) S 13364 13367 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 47099120 14383718400 35562 18446744073709551615 4194304 4196468 140735219947648 140689521198576 140689976891093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
[pid=13367/tid=13378] ppid=13364 vsize=14046600 CPUtime=0.63 cores=0,2,4,6
/proc/13367/task/13378/stat : 13378 (java) R 13364 13367 30500 0 -1 4202560 6964 0 0 0 62 1 0 0 20 0 13 0 47099122 14383718400 35562 18446744073709551615 4194304 4196468 140735219947648 140689519073896 140689960377559 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
[pid=13367/tid=13379] ppid=13364 vsize=14046600 CPUtime=0.57 cores=0,2,4,6
/proc/13367/task/13379/stat : 13379 (java) S 13364 13367 30500 0 -1 1077944384 5936 0 0 0 57 0 0 0 20 0 13 0 47099122 14383718400 35562 18446744073709551615 4194304 4196468 140735219947648 140689518025712 140689976891093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
[pid=13367/tid=13380] ppid=13364 vsize=14046600 CPUtime=0.38 cores=0,2,4,6
/proc/13367/task/13380/stat : 13380 (java) S 13364 13367 30500 0 -1 1077944384 1917 0 0 0 38 0 0 0 20 0 13 0 47099122 14383718400 35562 18446744073709551615 4194304 4196468 140735219947648 140689516988656 140689976892034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
[pid=13367/tid=13381] ppid=13364 vsize=14046600 CPUtime=0 cores=0,2,4,6
/proc/13367/task/13381/stat : 13381 (java) S 13364 13367 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 47099122 14383718400 35562 18446744073709551615 4194304 4196468 140735219947648 140689515936352 140689976891093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39137280 140735219954076 140735219954257 140735219954257 140735219957711 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 14046600
Child status: 0
Real time (s): 1.41872
CPU time (s): 2.86313
CPU user time (s): 2.76274
CPU system time (s): 0.100388
CPU usage (%): 201.811
Max. virtual memory (cumulated for all children) (KiB): 14046600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.76274
system time used= 0.100388
maximum resident set size= 142572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30469
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= 2224
involuntary context switches= 13
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.007218 second user time and 0.01316 second system time
The end