0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.00/0.02 c Seed is 1906901362
0.00/0.02 c Constructing HOME/instance-2079931-1247717191.xml with 3839 constraints
0.01/0.09 c Solving 3585 backtracks 11 restarts
840.89/843.45 s SATISFIABLE
840.89/843.45 c V0=9, V1=14, V2=8, V3=15, V4=11, V5=9, V6=12, V7=7, V8=10, V9=2, V10=13, V11=10, V12=6, V13=22, V14=4, V15=13, V16=18, V17=2, V18=14, V19=17, V20=2, V21=2, V22=1, V23=0, V24=15, V25=14, V26=7, V27=1, V28=16, V29=5, V30=20, V31=14, V32=5, V33=5, V34=19, V35=13, V36=3, V37=9, V38=17, V39=6, V40=29, V41=38, V42=45, V43=47, V44=57, V45=79, V46=92, V47=94, V48=111, V49=113, V50=113, V51=127, V52=128, V53=133, V54=147, V55=152, V56=165, V57=174, V58=180, V59=180, V60=0,
840.89/843.45 v 9 14 8 15 11 9 12 7 10 2 13 10 6 22 4 13 18 2 14 17 2 2 1 0 15 14 7 1 16 5 20 14 5 5 19 13 3 9 17 6 29 38 45 47 57 79 92 94 111 113 113 127 128 133 147 152 165 174 180 180 0
840.89/843.45 d ASSIGNMENTS 3585
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2079931-1247717191/watcher-2079931-1247717191 -o /tmp/evaluation-result-2079931-1247717191/solver-2079931-1247717191 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1906901362 HOME/instance-2079931-1247717191.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.05 2.12 4/72 11844
/proc/meminfo: memFree=915024/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=5356 CPUtime=0
/proc/11844/stat : 11844 (pcssolve) R 11842 11844 11247 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 58783147 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 266890439327 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/11844/statm: 1339 241 200 169 0 50 0
[pid=11845] ppid=11844 vsize=5356 CPUtime=0
/proc/11845/stat : 11845 (pcssolve) R 11844 11844 11247 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 58783147 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 266890439327 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/11845/statm: 1339 241 200 169 0 50 0
[startup+0.033991 s]
/proc/loadavg: 1.92 2.05 2.12 4/72 11844
/proc/meminfo: memFree=915024/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=4820 CPUtime=0.01
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 850 848 0 0 1 0 0 0 23 0 1 0 58783147 4935680 481 996147200 134512640 135215973 4294956304 18446744073709551615 8723569 0 0 4096 0 0 0 0 17 1 0 0
/proc/11844/statm: 1205 481 384 171 0 130 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4820
[startup+0.101998 s]
/proc/loadavg: 1.92 2.05 2.12 4/72 11844
/proc/meminfo: memFree=915024/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=6232 CPUtime=0.07
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 1283 848 0 0 7 0 0 0 23 0 1 0 58783147 6381568 862 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/11844/statm: 1558 862 404 171 0 483 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6232
[startup+0.302023 s]
/proc/loadavg: 1.92 2.05 2.12 4/72 11844
/proc/meminfo: memFree=915024/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=6364 CPUtime=0.27
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 1338 848 0 0 27 0 0 0 25 0 1 0 58783147 6516736 917 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/11844/statm: 1591 917 406 171 0 516 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 6364
[startup+0.701062 s]
/proc/loadavg: 1.92 2.05 2.12 4/72 11844
/proc/meminfo: memFree=915024/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=6364 CPUtime=0.67
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 1338 848 0 0 67 0 0 0 25 0 1 0 58783147 6516736 917 996147200 134512640 135215973 4294956304 18446744073709551615 135020293 0 0 4096 0 0 0 0 17 1 0 0
/proc/11844/statm: 1591 917 406 171 0 516 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6364
[startup+1.50115 s]
/proc/loadavg: 1.92 2.05 2.12 3/73 11849
/proc/meminfo: memFree=912832/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=6364 CPUtime=1.46
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 1338 848 0 0 146 0 0 0 25 0 1 0 58783147 6516736 917 996147200 134512640 135215973 4294956304 18446744073709551615 135020335 0 0 4096 0 0 0 0 17 1 0 0
/proc/11844/statm: 1591 917 406 171 0 516 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 6364
[startup+3.10133 s]
/proc/loadavg: 1.92 2.05 2.12 3/73 11849
/proc/meminfo: memFree=912704/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=6364 CPUtime=3.06
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 1338 848 0 0 306 0 0 0 25 0 1 0 58783147 6516736 917 996147200 134512640 135215973 4294956304 18446744073709551615 134590021 0 0 4096 0 0 0 0 17 1 0 0
/proc/11844/statm: 1591 917 406 171 0 516 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 6364
[startup+6.30169 s]
/proc/loadavg: 1.93 2.05 2.12 3/73 11849
/proc/meminfo: memFree=912512/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=6364 CPUtime=6.23
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 1355 848 0 0 623 0 0 0 25 0 1 0 58783147 6516736 934 996147200 134512640 135215973 4294956304 18446744073709551615 135020335 0 0 4096 0 0 0 0 17 1 0 0
/proc/11844/statm: 1591 934 406 171 0 516 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 6364
[startup+12.7014 s]
/proc/loadavg: 1.93 2.05 2.12 3/73 11849
/proc/meminfo: memFree=912072/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=6500 CPUtime=12.59
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 1390 848 0 0 1258 1 0 0 25 0 1 0 58783147 6656000 969 996147200 134512640 135215973 4294956304 18446744073709551615 135020270 0 0 4096 0 0 0 0 17 1 0 0
/proc/11844/statm: 1625 969 406 171 0 550 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 6500
[startup+25.5018 s]
/proc/loadavg: 1.95 2.05 2.12 3/73 11849
/proc/meminfo: memFree=910600/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=6896 CPUtime=25.29
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 1489 848 0 0 2528 1 0 0 25 0 1 0 58783147 7061504 1068 996147200 134512640 135215973 4294956304 18446744073709551615 135020412 0 0 4096 0 0 0 0 17 1 0 0
/proc/11844/statm: 1724 1068 406 171 0 649 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 6896
[startup+51.1027 s]
/proc/loadavg: 1.96 2.04 2.11 3/73 11849
/proc/meminfo: memFree=907208/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=7424 CPUtime=50.69
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 1622 848 0 0 5068 1 0 0 25 0 1 0 58783147 7602176 1201 996147200 134512640 135215973 4294956304 18446744073709551615 4158960184 0 0 4096 0 0 0 0 17 1 0 0
/proc/11844/statm: 1856 1201 406 171 0 781 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 7424
[startup+102.306 s]
/proc/loadavg: 1.98 2.03 2.10 3/73 11849
/proc/meminfo: memFree=901000/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=8740 CPUtime=101.51
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 1931 848 0 0 10150 1 0 0 25 0 1 0 58783147 8949760 1477 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/11844/statm: 2185 1477 406 171 0 1110 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 8740
[startup+162.302 s]
/proc/loadavg: 1.99 2.02 2.09 3/73 11849
/proc/meminfo: memFree=891464/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=10308 CPUtime=161.05
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 2350 848 0 0 16104 1 0 0 25 0 1 0 58783147 10555392 1863 996147200 134512640 135215973 4294956304 18446744073709551615 135020215 0 0 4096 0 0 0 0 17 1 0 0
/proc/11844/statm: 2577 1863 406 171 0 1502 0
Current children cumulated CPU time (s) 161.05
Current children cumulated vsize (KiB) 10308
[startup+222.302 s]
/proc/loadavg: 1.99 2.02 2.08 3/73 11849
/proc/meminfo: memFree=885000/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=11628 CPUtime=220.59
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 2693 848 0 0 22058 1 0 0 25 0 1 0 58783147 11907072 2206 996147200 134512640 135215973 4294956304 18446744073709551615 135026971 0 0 4096 0 0 0 0 17 1 0 0
/proc/11844/statm: 2907 2206 406 171 0 1832 0
Current children cumulated CPU time (s) 220.59
Current children cumulated vsize (KiB) 11628
[startup+282.301 s]
/proc/loadavg: 1.99 2.01 2.08 3/73 11849
/proc/meminfo: memFree=878216/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=13336 CPUtime=280.14
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 3123 848 0 0 28013 1 0 0 25 0 1 0 58783147 13656064 2571 996147200 134512640 135215973 4294956304 18446744073709551615 135020409 0 0 4096 0 0 0 0 17 1 0 0
/proc/11844/statm: 3334 2571 406 171 0 2259 0
Current children cumulated CPU time (s) 280.14
Current children cumulated vsize (KiB) 13336
[startup+342.301 s]
/proc/loadavg: 2.06 2.02 2.08 3/83 11891
/proc/meminfo: memFree=769152/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=14656 CPUtime=339.98
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 3486 848 0 0 33995 3 0 0 25 0 1 0 58783147 15007744 2934 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/11844/statm: 3664 2934 406 171 0 2589 0
Current children cumulated CPU time (s) 339.98
Current children cumulated vsize (KiB) 14656
[startup+402.302 s]
/proc/loadavg: 2.06 2.03 2.08 3/83 11891
/proc/meminfo: memFree=454144/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=15976 CPUtime=399.96
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 3833 848 0 0 39993 3 0 0 25 0 1 0 58783147 16359424 3281 996147200 134512640 135215973 4294956304 18446744073709551615 135020339 0 0 4096 0 0 0 0 17 0 0 0
/proc/11844/statm: 3994 3281 406 171 0 2919 0
Current children cumulated CPU time (s) 399.96
Current children cumulated vsize (KiB) 15976
[startup+462.302 s]
/proc/loadavg: 2.07 2.04 2.08 3/83 11891
/proc/meminfo: memFree=326016/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=17428 CPUtime=459.93
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 4197 848 0 0 45990 3 0 0 25 0 1 0 58783147 17846272 3645 996147200 134512640 135215973 4294956304 18446744073709551615 135020397 0 0 4096 0 0 0 0 17 0 0 0
/proc/11844/statm: 4357 3645 406 171 0 3282 0
Current children cumulated CPU time (s) 459.93
Current children cumulated vsize (KiB) 17428
[startup+522.301 s]
/proc/loadavg: 2.37 2.12 2.10 3/83 11891
/proc/meminfo: memFree=264768/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=19388 CPUtime=519.9
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 4701 848 0 0 51987 3 0 0 25 0 1 0 58783147 19853312 4020 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/11844/statm: 4847 4020 406 171 0 3772 0
Current children cumulated CPU time (s) 519.9
Current children cumulated vsize (KiB) 19388
[startup+582.302 s]
/proc/loadavg: 2.65 2.25 2.14 4/83 11891
/proc/meminfo: memFree=263296/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=20840 CPUtime=579.89
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 5088 848 0 0 57985 4 0 0 25 0 1 0 58783147 21340160 4407 996147200 134512640 135215973 4294956304 18446744073709551615 135020320 0 0 4096 0 0 0 0 17 0 0 0
/proc/11844/statm: 5210 4407 406 171 0 4135 0
Current children cumulated CPU time (s) 579.89
Current children cumulated vsize (KiB) 20840
[startup+642.302 s]
/proc/loadavg: 2.31 2.23 2.14 3/83 11932
/proc/meminfo: memFree=904584/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=22292 CPUtime=639.86
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 5481 848 0 0 63981 5 0 0 25 0 1 0 58783147 22827008 4800 996147200 134512640 135215973 4294956304 18446744073709551615 135020196 0 0 4096 0 0 0 0 17 0 0 0
/proc/11844/statm: 5573 4800 406 171 0 4498 0
Current children cumulated CPU time (s) 639.86
Current children cumulated vsize (KiB) 22292
[startup+702.301 s]
/proc/loadavg: 2.11 2.18 2.13 3/83 11932
/proc/meminfo: memFree=846024/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=23740 CPUtime=699.84
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 5858 848 0 0 69978 6 0 0 25 0 1 0 58783147 24309760 5177 996147200 134512640 135215973 4294956304 18446744073709551615 135020397 0 0 4096 0 0 0 0 17 0 0 0
/proc/11844/statm: 5935 5177 406 171 0 4860 0
Current children cumulated CPU time (s) 699.84
Current children cumulated vsize (KiB) 23740
[startup+762.306 s]
/proc/loadavg: 2.04 2.15 2.12 3/83 11933
/proc/meminfo: memFree=703232/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=25192 CPUtime=759.82
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 6247 848 0 0 75976 6 0 0 25 0 1 0 58783147 25796608 5566 996147200 134512640 135215973 4294956304 18446744073709551615 134599824 0 0 4096 0 0 0 0 17 0 0 0
/proc/11844/statm: 6298 5566 406 171 0 5223 0
Current children cumulated CPU time (s) 759.82
Current children cumulated vsize (KiB) 25192
[startup+822.302 s]
/proc/loadavg: 2.01 2.12 2.11 3/82 11933
/proc/meminfo: memFree=701696/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=26772 CPUtime=819.8
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 6640 848 0 0 81973 7 0 0 25 0 1 0 58783147 27414528 5959 996147200 134512640 135215973 4294956304 18446744073709551615 134532717 0 0 4096 0 0 0 0 17 0 0 0
/proc/11844/statm: 6693 5959 406 171 0 5618 0
Current children cumulated CPU time (s) 819.8
Current children cumulated vsize (KiB) 26772
Solver just ended. Dumping a history of the last processes samples
[startup+831.902 s]
/proc/loadavg: 2.01 2.11 2.11 3/82 11933
/proc/meminfo: memFree=701440/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=26904 CPUtime=829.39
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 6699 848 0 0 82932 7 0 0 25 0 1 0 58783147 27549696 6018 996147200 134512640 135215973 4294956304 18446744073709551615 134590043 0 0 4096 0 0 0 0 17 0 0 0
/proc/11844/statm: 6726 6018 406 171 0 5651 0
Current children cumulated CPU time (s) 829.39
Current children cumulated vsize (KiB) 26904
[startup+838.302 s]
/proc/loadavg: 2.01 2.11 2.11 3/82 11933
/proc/meminfo: memFree=701312/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=27168 CPUtime=835.79
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 6744 848 0 0 83572 7 0 0 25 0 1 0 58783147 27820032 6063 996147200 134512640 135215973 4294956304 18446744073709551615 135020409 0 0 4096 0 0 0 0 17 0 0 0
/proc/11844/statm: 6792 6063 406 171 0 5717 0
Current children cumulated CPU time (s) 835.79
Current children cumulated vsize (KiB) 27168
[startup+841.507 s]
/proc/loadavg: 2.01 2.11 2.10 3/82 11933
/proc/meminfo: memFree=701184/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=27168 CPUtime=838.99
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 6761 848 0 0 83892 7 0 0 25 0 1 0 58783147 27820032 6080 996147200 134512640 135215973 4294956304 18446744073709551615 134590143 0 0 4096 0 0 0 0 17 0 0 0
/proc/11844/statm: 6792 6080 406 171 0 5717 0
Current children cumulated CPU time (s) 838.99
Current children cumulated vsize (KiB) 27168
[startup+842.302 s]
/proc/loadavg: 2.01 2.11 2.10 3/82 11933
/proc/meminfo: memFree=701184/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=27168 CPUtime=839.79
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 6765 848 0 0 83972 7 0 0 25 0 1 0 58783147 27820032 6084 996147200 134512640 135215973 4294956304 18446744073709551615 135026930 0 0 4096 0 0 0 0 17 0 0 0
/proc/11844/statm: 6792 6084 406 171 0 5717 0
Current children cumulated CPU time (s) 839.79
Current children cumulated vsize (KiB) 27168
[startup+843.101 s]
/proc/loadavg: 2.01 2.11 2.10 3/82 11933
/proc/meminfo: memFree=701184/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=27300 CPUtime=840.59
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 6775 848 0 0 84052 7 0 0 25 0 1 0 58783147 27955200 6094 996147200 134512640 135215973 4294956304 18446744073709551615 134590129 0 0 4096 0 0 0 0 17 0 0 0
/proc/11844/statm: 6825 6094 406 171 0 5750 0
Current children cumulated CPU time (s) 840.59
Current children cumulated vsize (KiB) 27300
[startup+843.301 s]
/proc/loadavg: 2.01 2.11 2.10 3/82 11933
/proc/meminfo: memFree=701184/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=27300 CPUtime=840.79
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 6776 848 0 0 84072 7 0 0 25 0 1 0 58783147 27955200 6095 996147200 134512640 135215973 4294956304 18446744073709551615 135020323 0 0 4096 0 0 0 0 17 0 0 0
/proc/11844/statm: 6825 6095 406 171 0 5750 0
Current children cumulated CPU time (s) 840.79
Current children cumulated vsize (KiB) 27300
[startup+843.401 s]
/proc/loadavg: 2.01 2.11 2.10 3/82 11933
/proc/meminfo: memFree=701184/2055920 swapFree=4192812/4192956
[pid=11844] ppid=11842 vsize=27300 CPUtime=840.89
/proc/11844/stat : 11844 (pcs.big) R 11842 11844 11247 0 -1 4194304 6779 848 0 0 84082 7 0 0 25 0 1 0 58783147 27955200 6098 996147200 134512640 135215973 4294956304 18446744073709551615 135020335 0 0 4096 0 0 0 0 17 0 0 0
/proc/11844/statm: 6825 6098 406 171 0 5750 0
Current children cumulated CPU time (s) 840.89
Current children cumulated vsize (KiB) 27300
Child status: 0
Real time (s): 843.456
CPU time (s): 840.96
CPU user time (s): 840.873
CPU system time (s): 0.086986
CPU usage (%): 99.7041
Max. virtual memory (cumulated for all children) (KiB): 27300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 840.873
system time used= 0.086986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7632
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20
involuntary context switches= 8599
runsolver used 1.16482 second user time and 2.29565 second system time
The end