runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node14/watcher-200846-1168288636 -o ROOT/results/node14/solver-200846-1168288636 -C 1800 -M 900 /tmp/evaluation/200846-1168288636/solver2 /tmp/evaluation/200846-1168288636/unknown 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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

/proc/loadavg: 0.85 0.97 0.99 5/82 13628
/proc/meminfo: memFree=1863176/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=880 CPUtime=0
/proc/13626/stat : 13626 (solver2) R 13623 13626 12898 0 -1 4194304 41 0 0 0 0 0 0 0 18 0 1 0 177258735 901120 25 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212231845141 0 0 4096 0 0 0 0 17 1 0 0
/proc/13626/statm: 220 25 18 169 0 8 0

[startup+0.108023 s]
/proc/loadavg: 0.85 0.97 0.99 5/82 13628
/proc/meminfo: memFree=1863176/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=0
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 353 334 0 0 0 0 0 0 17 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.516057 s]
/proc/loadavg: 0.85 0.97 0.99 5/82 13628
/proc/meminfo: memFree=1863176/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=0
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 353 334 0 0 0 0 0 0 17 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.33714 s]
/proc/loadavg: 0.85 0.97 0.99 4/85 14205
/proc/meminfo: memFree=1827704/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=0.57
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 376 2853 0 0 0 0 50 7 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=13934] ppid=13626 vsize=35456 CPUtime=0.73
/proc/13934/stat : 13934 (bordewijk) R 13626 13626 12898 0 -1 4194304 8365 0 0 0 68 5 0 0 25 0 1 0 177258794 36306944 8337 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 7347760 0 0 4096 0 0 0 0 17 0 0 0
/proc/13934/statm: 8864 8337 204 97 0 8145 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 40808

[startup+2.97929 s]
/proc/loadavg: 0.85 0.97 0.99 3/88 14310
/proc/meminfo: memFree=1755864/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=0.57
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 376 2853 0 0 0 0 50 7 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=13934] ppid=13626 vsize=104756 CPUtime=2.37
/proc/13934/stat : 13934 (bordewijk) R 13626 13626 12898 0 -1 4194304 25688 0 0 0 217 20 0 0 25 0 1 0 177258794 107270144 25660 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 134559001 0 0 4096 0 0 0 0 17 0 0 0
/proc/13934/statm: 26189 25660 204 97 0 25470 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 110108

[startup+6.2696 s]
/proc/loadavg: 0.95 0.99 0.99 3/88 14310
/proc/meminfo: memFree=1483352/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=0.57
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 376 2853 0 0 0 0 50 7 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=13934] ppid=13626 vsize=237688 CPUtime=5.64
/proc/13934/stat : 13934 (bordewijk) R 13626 13626 12898 0 -1 4194304 65899 0 0 0 474 90 0 0 25 0 1 0 177258794 243392512 57941 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/13934/statm: 59422 57941 217 97 0 58703 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 243040

[startup+12.7352 s]
/proc/loadavg: 1.11 1.02 1.01 3/88 14310
/proc/meminfo: memFree=1289896/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=0.57
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 376 2853 0 0 0 0 50 7 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=13934] ppid=13626 vsize=237688 CPUtime=12.06
/proc/13934/stat : 13934 (bordewijk) R 13626 13626 12898 0 -1 4194304 65900 0 0 0 504 702 0 0 25 0 1 0 177258794 243392512 57942 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/13934/statm: 59422 57942 218 97 0 58703 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 243040

[startup+25.5584 s]
/proc/loadavg: 1.24 1.05 1.02 3/88 14312
/proc/meminfo: memFree=1576952/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=13.21
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 397 68753 0 0 0 0 557 764 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=14311] ppid=13626 vsize=111552 CPUtime=12.15
/proc/14311/stat : 14311 (standalone) R 13626 13626 12898 0 -1 4194304 27463 0 0 0 1045 170 0 0 25 0 1 0 177260067 114229248 26602 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4052830701 0 0 4096 0 0 0 0 17 0 0 0
/proc/14311/statm: 27888 26602 137 64 0 27203 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 116904

[startup+51.2038 s]
/proc/loadavg: 1.50 1.13 1.04 3/88 14312
/proc/meminfo: memFree=1575288/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=13.21
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 397 68753 0 0 0 0 557 764 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=14311] ppid=13626 vsize=111552 CPUtime=37.61
/proc/14311/stat : 14311 (standalone) R 13626 13626 12898 0 -1 4194304 27463 0 0 0 3591 170 0 0 25 0 1 0 177260067 114229248 26602 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134527024 0 0 4096 0 0 0 0 17 0 0 0
/proc/14311/statm: 27888 26602 137 64 0 27203 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 116904

[startup+102.482 s]
/proc/loadavg: 1.78 1.26 1.09 3/88 14312
/proc/meminfo: memFree=1575224/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=13.21
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 397 68753 0 0 0 0 557 764 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=14311] ppid=13626 vsize=111552 CPUtime=88.65
/proc/14311/stat : 14311 (standalone) R 13626 13626 12898 0 -1 4194304 27463 0 0 0 8695 170 0 0 25 0 1 0 177260067 114229248 26602 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134527024 0 0 4096 0 0 0 0 17 0 0 0
/proc/14311/statm: 27888 26602 137 64 0 27203 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 116904

[startup+162.583 s]
/proc/loadavg: 2.00 1.42 1.15 3/88 14312
/proc/meminfo: memFree=1575224/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=13.21
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 397 68753 0 0 0 0 557 764 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=14311] ppid=13626 vsize=111552 CPUtime=148.46
/proc/14311/stat : 14311 (standalone) R 13626 13626 12898 0 -1 4194304 27463 0 0 0 14676 170 0 0 25 0 1 0 177260067 114229248 26602 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4057258476 0 0 4096 0 0 0 0 17 0 0 0
/proc/14311/statm: 27888 26602 137 64 0 27203 0
Current children cumulated CPU time (s) 161.67
Current children cumulated vsize (KiB) 116904

[startup+222.682 s]
/proc/loadavg: 2.00 1.51 1.20 3/88 14312
/proc/meminfo: memFree=1575160/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=13.21
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 397 68753 0 0 0 0 557 764 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=14311] ppid=13626 vsize=111552 CPUtime=208.27
/proc/14311/stat : 14311 (standalone) R 13626 13626 12898 0 -1 4194304 27463 0 0 0 20657 170 0 0 25 0 1 0 177260067 114229248 26602 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4051797064 0 0 4096 0 0 0 0 17 0 0 0
/proc/14311/statm: 27888 26602 137 64 0 27203 0
Current children cumulated CPU time (s) 221.48
Current children cumulated vsize (KiB) 116904

[startup+282.779 s]
/proc/loadavg: 2.00 1.60 1.24 3/88 14312
/proc/meminfo: memFree=1575096/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=13.21
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 397 68753 0 0 0 0 557 764 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=14311] ppid=13626 vsize=111552 CPUtime=268.1
/proc/14311/stat : 14311 (standalone) R 13626 13626 12898 0 -1 4194304 27463 0 0 0 26640 170 0 0 25 0 1 0 177260067 114229248 26602 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4052376648 0 0 4096 0 0 0 0 17 0 0 0
/proc/14311/statm: 27888 26602 137 64 0 27203 0
Current children cumulated CPU time (s) 281.31
Current children cumulated vsize (KiB) 116904

[startup+342.875 s]
/proc/loadavg: 2.00 1.67 1.29 3/88 14312
/proc/meminfo: memFree=1574968/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=13.21
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 397 68753 0 0 0 0 557 764 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=14311] ppid=13626 vsize=111552 CPUtime=327.91
/proc/14311/stat : 14311 (standalone) R 13626 13626 12898 0 -1 4194304 27463 0 0 0 32621 170 0 0 25 0 1 0 177260067 114229248 26602 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4051703693 0 0 4096 0 0 0 0 17 0 0 0
/proc/14311/statm: 27888 26602 137 64 0 27203 0
Current children cumulated CPU time (s) 341.12
Current children cumulated vsize (KiB) 116904

[startup+402.977 s]
/proc/loadavg: 2.00 1.73 1.33 3/88 14312
/proc/meminfo: memFree=1574904/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=13.21
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 397 68753 0 0 0 0 557 764 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=14311] ppid=13626 vsize=111552 CPUtime=387.75
/proc/14311/stat : 14311 (standalone) R 13626 13626 12898 0 -1 4194304 27463 0 0 0 38605 170 0 0 25 0 1 0 177260067 114229248 26602 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4057609903 0 0 4096 0 0 0 0 17 0 0 0
/proc/14311/statm: 27888 26602 137 64 0 27203 0
Current children cumulated CPU time (s) 400.96
Current children cumulated vsize (KiB) 116904

[startup+463.076 s]
/proc/loadavg: 2.00 1.78 1.37 3/88 14312
/proc/meminfo: memFree=1574840/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=13.21
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 397 68753 0 0 0 0 557 764 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=14311] ppid=13626 vsize=111552 CPUtime=447.57
/proc/14311/stat : 14311 (standalone) R 13626 13626 12898 0 -1 4194304 27463 0 0 0 44587 170 0 0 25 0 1 0 177260067 114229248 26602 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134527024 0 0 4096 0 0 0 0 17 0 0 0
/proc/14311/statm: 27888 26602 137 64 0 27203 0
Current children cumulated CPU time (s) 460.78
Current children cumulated vsize (KiB) 116904

[startup+523.082 s]
/proc/loadavg: 2.00 1.81 1.41 3/88 14312
/proc/meminfo: memFree=1573432/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=13.21
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 397 68753 0 0 0 0 557 764 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=14311] ppid=13626 vsize=111596 CPUtime=507.3
/proc/14311/stat : 14311 (standalone) R 13626 13626 12898 0 -1 4194304 27843 0 0 0 50559 171 0 0 25 0 1 0 177260067 114274304 26982 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4052545593 0 0 4096 0 0 0 0 17 0 0 0
/proc/14311/statm: 27899 26982 138 64 0 27214 0
Current children cumulated CPU time (s) 520.51

################
# More data... #
################

Current children cumulated CPU time (s) 879.16
Current children cumulated vsize (KiB) 116992

[startup+943.567 s]
/proc/loadavg: 2.01 1.95 1.61 3/88 14312
/proc/meminfo: memFree=1571832/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=13.21
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 397 68753 0 0 0 0 557 764 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=14311] ppid=13626 vsize=111640 CPUtime=925.74
/proc/14311/stat : 14311 (standalone) R 13626 13626 12898 0 -1 4194304 27983 0 0 0 92400 174 0 0 25 0 1 0 177260067 114319360 27122 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549718 0 0 4096 0 0 0 0 17 0 0 0
/proc/14311/statm: 27910 27122 138 64 0 27225 0
Current children cumulated CPU time (s) 938.95
Current children cumulated vsize (KiB) 116992

[startup+1003.64 s]
/proc/loadavg: 2.12 1.99 1.64 3/88 15010
/proc/meminfo: memFree=1628984/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=13.21
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 397 68753 0 0 0 0 557 764 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=14311] ppid=13626 vsize=111640 CPUtime=985.49
/proc/14311/stat : 14311 (standalone) R 13626 13626 12898 0 -1 4194304 27983 0 0 0 98368 181 0 0 25 0 1 0 177260067 114319360 27122 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554283 0 0 4096 0 0 0 0 17 0 0 0
/proc/14311/statm: 27910 27122 138 64 0 27225 0
Current children cumulated CPU time (s) 998.7
Current children cumulated vsize (KiB) 116992

[startup+1063.71 s]
/proc/loadavg: 2.04 1.99 1.66 3/88 15010
/proc/meminfo: memFree=1629240/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=13.21
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 397 68753 0 0 0 0 557 764 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=14311] ppid=13626 vsize=111640 CPUtime=1045.23
/proc/14311/stat : 14311 (standalone) R 13626 13626 12898 0 -1 4194304 27983 0 0 0 104342 181 0 0 25 0 1 0 177260067 114319360 27122 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554639 0 0 4096 0 0 0 0 17 0 0 0
/proc/14311/statm: 27910 27122 138 64 0 27225 0
Current children cumulated CPU time (s) 1058.44
Current children cumulated vsize (KiB) 116992

[startup+1123.77 s]
/proc/loadavg: 2.01 1.99 1.68 3/88 15010
/proc/meminfo: memFree=1629176/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=13.21
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 397 68753 0 0 0 0 557 764 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=14311] ppid=13626 vsize=111656 CPUtime=1105.02
/proc/14311/stat : 14311 (standalone) R 13626 13626 12898 0 -1 4194304 28008 0 0 0 110320 182 0 0 25 0 1 0 177260067 114335744 27147 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519664 0 0 4096 0 0 0 0 17 0 0 0
/proc/14311/statm: 27914 27147 138 64 0 27229 0
Current children cumulated CPU time (s) 1118.23
Current children cumulated vsize (KiB) 117008

[startup+1183.84 s]
/proc/loadavg: 2.00 1.99 1.70 3/88 15010
/proc/meminfo: memFree=1628984/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=13.21
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 397 68753 0 0 0 0 557 764 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=14311] ppid=13626 vsize=111656 CPUtime=1164.8
/proc/14311/stat : 14311 (standalone) R 13626 13626 12898 0 -1 4194304 28008 0 0 0 116298 182 0 0 25 0 1 0 177260067 114335744 27147 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134520110 0 0 4096 0 0 0 0 17 0 0 0
/proc/14311/statm: 27914 27147 138 64 0 27229 0
Current children cumulated CPU time (s) 1178.01
Current children cumulated vsize (KiB) 117008

[startup+1243.91 s]
/proc/loadavg: 2.04 2.00 1.72 3/88 15693
/proc/meminfo: memFree=1625464/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=13.21
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 397 68753 0 0 0 0 557 764 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=14311] ppid=13626 vsize=111656 CPUtime=1224.53
/proc/14311/stat : 14311 (standalone) R 13626 13626 12898 0 -1 4194304 28008 0 0 0 122267 186 0 0 25 0 1 0 177260067 114335744 27147 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554167 0 0 4096 0 0 0 0 17 0 0 0
/proc/14311/statm: 27914 27147 138 64 0 27229 0
Current children cumulated CPU time (s) 1237.74
Current children cumulated vsize (KiB) 117008

[startup+1303.97 s]
/proc/loadavg: 2.01 2.00 1.73 3/88 15693
/proc/meminfo: memFree=1625656/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=13.21
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 397 68753 0 0 0 0 557 764 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=14311] ppid=13626 vsize=111656 CPUtime=1284.32
/proc/14311/stat : 14311 (standalone) R 13626 13626 12898 0 -1 4194304 28008 0 0 0 128246 186 0 0 25 0 1 0 177260067 114335744 27147 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4052147664 0 0 4096 0 0 0 0 17 0 0 0
/proc/14311/statm: 27914 27147 138 64 0 27229 0
Current children cumulated CPU time (s) 1297.53
Current children cumulated vsize (KiB) 117008

[startup+1364.04 s]
/proc/loadavg: 2.08 2.02 1.75 3/88 15693
/proc/meminfo: memFree=1625656/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=13.21
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 397 68753 0 0 0 0 557 764 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=14311] ppid=13626 vsize=111656 CPUtime=1344.12
/proc/14311/stat : 14311 (standalone) R 13626 13626 12898 0 -1 4194304 28008 0 0 0 134226 186 0 0 25 0 1 0 177260067 114335744 27147 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554201 0 0 4096 0 0 0 0 17 0 0 0
/proc/14311/statm: 27914 27147 138 64 0 27229 0
Current children cumulated CPU time (s) 1357.33
Current children cumulated vsize (KiB) 117008

[startup+1424.11 s]
/proc/loadavg: 2.03 2.01 1.76 3/94 15719
/proc/meminfo: memFree=1623864/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=13.21
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 397 68753 0 0 0 0 557 764 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=14311] ppid=13626 vsize=111656 CPUtime=1403.85
/proc/14311/stat : 14311 (standalone) R 13626 13626 12898 0 -1 4194304 28008 0 0 0 140199 186 0 0 25 0 1 0 177260067 114335744 27147 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134516918 0 0 4096 0 0 0 0 17 0 0 0
/proc/14311/statm: 27914 27147 138 64 0 27229 0
Current children cumulated CPU time (s) 1417.06
Current children cumulated vsize (KiB) 117008

[startup+1484.2 s]
/proc/loadavg: 2.01 2.00 1.77 3/94 15845
/proc/meminfo: memFree=1623552/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=13.21
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 397 68753 0 0 0 0 557 764 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=14311] ppid=13626 vsize=111656 CPUtime=1463.58
/proc/14311/stat : 14311 (standalone) R 13626 13626 12898 0 -1 4194304 28008 0 0 0 146158 200 0 0 25 0 1 0 177260067 114335744 27147 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134552193 0 0 4096 0 0 0 0 17 0 0 0
/proc/14311/statm: 27914 27147 138 64 0 27229 0
Current children cumulated CPU time (s) 1476.79
Current children cumulated vsize (KiB) 117008

[startup+1544.28 s]
/proc/loadavg: 2.00 2.00 1.79 3/88 15891
/proc/meminfo: memFree=1624496/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=13.21
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 397 68753 0 0 0 0 557 764 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=14311] ppid=13626 vsize=111656 CPUtime=1523.34
/proc/14311/stat : 14311 (standalone) R 13626 13626 12898 0 -1 4194304 28008 0 0 0 152128 206 0 0 25 0 1 0 177260067 114335744 27147 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554178 0 0 4096 0 0 0 0 17 0 0 0
/proc/14311/statm: 27914 27147 138 64 0 27229 0
Current children cumulated CPU time (s) 1536.55
Current children cumulated vsize (KiB) 117008

[startup+1604.35 s]
/proc/loadavg: 2.00 2.00 1.80 3/88 15891
/proc/meminfo: memFree=1624304/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=13.21
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 397 68753 0 0 0 0 557 764 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=14311] ppid=13626 vsize=111672 CPUtime=1583.1
/proc/14311/stat : 14311 (standalone) R 13626 13626 12898 0 -1 4194304 28036 0 0 0 158104 206 0 0 25 0 1 0 177260067 114352128 27175 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519664 0 0 4096 0 0 0 0 17 0 0 0
/proc/14311/statm: 27918 27175 138 64 0 27233 0
Current children cumulated CPU time (s) 1596.31
Current children cumulated vsize (KiB) 117024

[startup+1664.42 s]
/proc/loadavg: 2.00 2.00 1.81 3/88 15891
/proc/meminfo: memFree=1624240/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=13.21
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 397 68753 0 0 0 0 557 764 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=14311] ppid=13626 vsize=111672 CPUtime=1642.89
/proc/14311/stat : 14311 (standalone) R 13626 13626 12898 0 -1 4194304 28036 0 0 0 164082 207 0 0 25 0 1 0 177260067 114352128 27175 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519634 0 0 4096 0 0 0 0 17 0 0 0
/proc/14311/statm: 27918 27175 138 64 0 27233 0
Current children cumulated CPU time (s) 1656.1
Current children cumulated vsize (KiB) 117024

[startup+1724.49 s]
/proc/loadavg: 2.00 2.00 1.82 3/88 15891
/proc/meminfo: memFree=1624176/2055920 swapFree=4163780/4192956
[pid=13626] ppid=13623 vsize=5352 CPUtime=13.21
/proc/13626/stat : 13626 (solver2) S 13623 13626 12898 0 -1 4194304 397 68753 0 0 0 0 557 764 16 0 1 0 177258735 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13626/statm: 1338 242 203 169 0 49 0
[pid=14311] ppid=13626 vsize=111672 CPUtime=1702.66
/proc/14311/stat : 14311 (standalone) R 13626 13626 12898 0 -1 4194304 28036 0 0 0 170059 207 0 0 25 0 1 0 177260067 114352128 27175 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134522175 0 0 4096 0 0 0 0 17 0 0 0
/proc/14311/statm: 27918 27175 138 64 0 27233 0
Current children cumulated CPU time (s) 1715.87
Current children cumulated vsize (KiB) 117024

Child status: 0
Real time (s): 1729.96
CPU time (s): 1721.34
CPU user time (s): 1711.59
CPU system time (s): 9.75352
CPU usage (%): 99.502
Max. virtual memory (cumulated for all children) (KiB): 243040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1711.59
system time used= 9.75352
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97253
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= 835
involuntary context switches= 30094

runsolver used 1.75673 s user time and 4.74528 s system time

The end