runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056116-1215061570/watcher-1056116-1215061570 -o /tmp/evaluation-result-1056116-1215061570/solver-1056116-1215061570 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacM.sh HOME/instance-1056116-1215061570.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.03 2.01 4/83 15100
/proc/meminfo: memFree=997496/2055920 swapFree=4179764/4192956
[pid=15100] ppid=15098 vsize=18572 CPUtime=0
/proc/15100/stat : 15100 (runsolver) R 15098 15100 13135 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1985130512 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 213116316967 0 0 4096 24578 0 0 0 17 1 0 0
/proc/15100/statm: 4643 292 257 25 0 2626 0
[startup+0.027044 s]
/proc/loadavg: 2.05 2.03 2.01 4/83 15100
/proc/meminfo: memFree=997496/2055920 swapFree=4179764/4192956
[pid=15100] ppid=15098 vsize=8784 CPUtime=0.01
/proc/15100/stat : 15100 (galacM.sh) S 15098 15100 13135 0 -1 4194304 586 1319 0 0 0 0 0 1 20 0 1 0 1985130512 8994816 320 996147200 4194304 4520092 548682068832 18446744073709551615 213116485714 0 2 4096 73728 18446744071563648864 0 0 17 1 0 0
/proc/15100/statm: 2196 320 218 79 0 189 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8784
[startup+0.101049 s]
/proc/loadavg: 2.05 2.03 2.01 4/83 15100
/proc/meminfo: memFree=997496/2055920 swapFree=4179764/4192956
[pid=15100] ppid=15098 vsize=47564 CPUtime=0.01
/proc/15100/stat : 15100 (galacM.sh) S 15098 15100 13135 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 1985130512 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 213115923290 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15100/statm: 11891 365 246 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47564
[startup+0.30107 s]
/proc/loadavg: 2.05 2.03 2.01 4/83 15100
/proc/meminfo: memFree=997496/2055920 swapFree=4179764/4192956
[pid=15100] ppid=15098 vsize=47564 CPUtime=0.01
/proc/15100/stat : 15100 (galacM.sh) S 15098 15100 13135 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 1985130512 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 213115923290 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15100/statm: 11891 365 246 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47564
[startup+0.70111 s]
/proc/loadavg: 2.05 2.03 2.01 4/83 15100
/proc/meminfo: memFree=997496/2055920 swapFree=4179764/4192956
[pid=15100] ppid=15098 vsize=47564 CPUtime=0.01
/proc/15100/stat : 15100 (galacM.sh) S 15098 15100 13135 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 1985130512 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 213115923290 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15100/statm: 11891 365 246 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47564
[startup+1.5022 s]
/proc/loadavg: 2.05 2.03 2.01 3/93 15122
/proc/meminfo: memFree=967912/2055920 swapFree=4179764/4192956
[pid=15100] ppid=15098 vsize=47564 CPUtime=0.01
/proc/15100/stat : 15100 (galacM.sh) S 15098 15100 13135 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 1985130512 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 213115923290 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15100/statm: 11891 365 246 79 0 219 0
[pid=15114] ppid=15100 vsize=813132 CPUtime=1.46
/proc/15114/stat : 15114 (java) S 15100 15100 13135 0 -1 0 9511 0 1 0 140 6 0 0 18 0 9 0 1985130516 832647168 8928 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15114/statm: 203283 8928 1908 9 0 197264 0
[pid=15114/tid=15115] ppid=15100 vsize=813132 CPUtime=1.29
/proc/15114/task/15115/stat : 15115 (java) R 15100 15100 13135 0 -1 64 8103 0 1 0 124 5 0 0 20 0 9 0 1985130517 832647168 8928 996147200 134512640 134550740 4294955616 18446744073709551615 4126828561 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15116] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15116/stat : 15116 (java) S 15100 15100 13135 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1985130518 832647168 8928 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15117] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15117/stat : 15117 (java) S 15100 15100 13135 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 1985130518 832647168 8928 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15118] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15118/stat : 15118 (java) S 15100 15100 13135 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1985130518 832647168 8928 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15119] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15119/stat : 15119 (java) S 15100 15100 13135 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1985130520 832647168 8928 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15120] ppid=15100 vsize=813132 CPUtime=0.14
/proc/15114/task/15120/stat : 15120 (java) S 15100 15100 13135 0 -1 64 705 0 0 0 14 0 0 0 16 0 9 0 1985130520 832647168 8928 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15121] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15121/stat : 15121 (java) S 15100 15100 13135 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1985130520 832647168 8928 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15122] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15122/stat : 15122 (java) R 15100 15100 13135 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1985130521 832647168 8928 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 860696
[startup+3.10237 s]
/proc/loadavg: 2.12 2.04 2.01 3/93 15122
/proc/meminfo: memFree=968040/2055920 swapFree=4179764/4192956
[pid=15100] ppid=15098 vsize=47564 CPUtime=0.01
/proc/15100/stat : 15100 (galacM.sh) S 15098 15100 13135 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 1985130512 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 213115923290 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15100/statm: 11891 365 246 79 0 219 0
[pid=15114] ppid=15100 vsize=813132 CPUtime=3.05
/proc/15114/stat : 15114 (java) S 15100 15100 13135 0 -1 0 10185 0 1 0 299 6 0 0 18 0 9 0 1985130516 832647168 9592 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15114/statm: 203283 9592 1918 9 0 197264 0
[pid=15114/tid=15115] ppid=15100 vsize=813132 CPUtime=2.88
/proc/15114/task/15115/stat : 15115 (java) R 15100 15100 13135 0 -1 64 8773 0 1 0 283 5 0 0 16 0 9 0 1985130517 832647168 9592 996147200 134512640 134550740 4294955616 18446744073709551615 4126833043 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15116] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15116/stat : 15116 (java) S 15100 15100 13135 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1985130518 832647168 9592 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15117] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15117/stat : 15117 (java) S 15100 15100 13135 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 1985130518 832647168 9593 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15118] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15118/stat : 15118 (java) S 15100 15100 13135 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1985130518 832647168 9593 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15119] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15119/stat : 15119 (java) S 15100 15100 13135 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1985130520 832647168 9593 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15120] ppid=15100 vsize=813132 CPUtime=0.15
/proc/15114/task/15120/stat : 15120 (java) S 15100 15100 13135 0 -1 64 709 0 0 0 15 0 0 0 16 0 9 0 1985130520 832647168 9593 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15121] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15121/stat : 15121 (java) S 15100 15100 13135 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1985130520 832647168 9593 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15122] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15122/stat : 15122 (java) S 15100 15100 13135 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1985130521 832647168 9593 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 860696
[startup+6.30172 s]
/proc/loadavg: 2.12 2.04 2.01 3/93 15122
/proc/meminfo: memFree=962216/2055920 swapFree=4179764/4192956
[pid=15100] ppid=15098 vsize=47564 CPUtime=0.01
/proc/15100/stat : 15100 (galacM.sh) S 15098 15100 13135 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 1985130512 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 213115923290 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15100/statm: 11891 365 246 79 0 219 0
[pid=15114] ppid=15100 vsize=813132 CPUtime=6.26
/proc/15114/stat : 15114 (java) S 15100 15100 13135 0 -1 0 11633 0 1 0 619 7 0 0 18 0 9 0 1985130516 832647168 11038 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15114/statm: 203283 11038 1919 9 0 197264 0
[pid=15114/tid=15115] ppid=15100 vsize=813132 CPUtime=6.06
/proc/15114/task/15115/stat : 15115 (java) R 15100 15100 13135 0 -1 64 10209 0 1 0 601 5 0 0 25 0 9 0 1985130517 832647168 11038 996147200 134512640 134550740 4294955616 18446744073709551615 4126830832 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15116] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15116/stat : 15116 (java) S 15100 15100 13135 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1985130518 832647168 11038 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15117] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15117/stat : 15117 (java) S 15100 15100 13135 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 1985130518 832647168 11038 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15118] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15118/stat : 15118 (java) S 15100 15100 13135 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1985130518 832647168 11038 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15119] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15119/stat : 15119 (java) S 15100 15100 13135 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1985130520 832647168 11038 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15120] ppid=15100 vsize=813132 CPUtime=0.16
/proc/15114/task/15120/stat : 15120 (java) S 15100 15100 13135 0 -1 64 721 0 0 0 16 0 0 0 16 0 9 0 1985130520 832647168 11038 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15121] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15121/stat : 15121 (java) S 15100 15100 13135 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1985130520 832647168 11038 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15122] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15122/stat : 15122 (java) S 15100 15100 13135 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1985130521 832647168 11038 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 860696
[startup+12.7014 s]
/proc/loadavg: 2.10 2.04 2.01 3/93 15122
/proc/meminfo: memFree=948968/2055920 swapFree=4179764/4192956
[pid=15100] ppid=15098 vsize=47564 CPUtime=0.01
/proc/15100/stat : 15100 (galacM.sh) S 15098 15100 13135 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 1985130512 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 213115923290 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15100/statm: 11891 365 246 79 0 219 0
[pid=15114] ppid=15100 vsize=813132 CPUtime=12.64
/proc/15114/stat : 15114 (java) S 15100 15100 13135 0 -1 0 14890 0 1 0 1257 7 0 0 18 0 9 0 1985130516 832647168 14292 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15114/statm: 203283 14292 1920 9 0 197264 0
[pid=15114/tid=15115] ppid=15100 vsize=813132 CPUtime=12.46
/proc/15114/task/15115/stat : 15115 (java) R 15100 15100 13135 0 -1 64 13461 0 1 0 1240 6 0 0 25 0 9 0 1985130517 832647168 14292 996147200 134512640 134550740 4294955616 18446744073709551615 4126828608 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15116] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15116/stat : 15116 (java) S 15100 15100 13135 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1985130518 832647168 14292 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15117] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15117/stat : 15117 (java) S 15100 15100 13135 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 1985130518 832647168 14292 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15118] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15118/stat : 15118 (java) S 15100 15100 13135 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1985130518 832647168 14292 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15119] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15119/stat : 15119 (java) S 15100 15100 13135 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1985130520 832647168 14292 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15120] ppid=15100 vsize=813132 CPUtime=0.17
/proc/15114/task/15120/stat : 15120 (java) S 15100 15100 13135 0 -1 64 726 0 0 0 17 0 0 0 16 0 9 0 1985130520 832647168 14292 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15121] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15121/stat : 15121 (java) S 15100 15100 13135 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1985130520 832647168 14292 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15122] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15122/stat : 15122 (java) S 15100 15100 13135 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1985130521 832647168 14292 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 860696
[startup+25.5028 s]
/proc/loadavg: 2.09 2.04 2.01 3/93 15122
/proc/meminfo: memFree=916840/2055920 swapFree=4179764/4192956
[pid=15100] ppid=15098 vsize=47564 CPUtime=0.01
/proc/15100/stat : 15100 (galacM.sh) S 15098 15100 13135 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 1985130512 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 213115923290 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15100/statm: 11891 365 246 79 0 219 0
[pid=15114] ppid=15100 vsize=813132 CPUtime=25.44
/proc/15114/stat : 15114 (java) S 15100 15100 13135 0 -1 0 22530 0 1 0 2534 10 0 0 18 0 9 0 1985130516 832647168 21928 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15114/statm: 203283 21928 1931 9 0 197264 0
[pid=15114/tid=15115] ppid=15100 vsize=813132 CPUtime=25.15
/proc/15114/task/15115/stat : 15115 (java) R 15100 15100 13135 0 -1 64 14694 0 1 0 2508 7 0 0 25 0 9 0 1985130517 832647168 21928 996147200 134512640 134550740 4294955616 18446744073709551615 4126835778 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15116] ppid=15100 vsize=813132 CPUtime=0.08
/proc/15114/task/15116/stat : 15116 (java) S 15100 15100 13135 0 -1 64 6402 0 0 0 6 2 0 0 16 0 9 0 1985130518 832647168 21928 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15117] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15117/stat : 15117 (java) S 15100 15100 13135 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1985130518 832647168 21928 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15118] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15118/stat : 15118 (java) S 15100 15100 13135 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1985130518 832647168 21928 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15119] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15119/stat : 15119 (java) S 15100 15100 13135 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1985130520 832647168 21928 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15120] ppid=15100 vsize=813132 CPUtime=0.18
/proc/15114/task/15120/stat : 15120 (java) S 15100 15100 13135 0 -1 64 734 0 0 0 18 0 0 0 16 0 9 0 1985130520 832647168 21928 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15121] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15121/stat : 15121 (java) S 15100 15100 13135 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1985130520 832647168 21928 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15122] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15122/stat : 15122 (java) S 15100 15100 13135 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1985130521 832647168 21928 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 860696
[startup+51.1026 s]
/proc/loadavg: 2.06 2.04 2.01 3/93 15122
/proc/meminfo: memFree=890280/2055920 swapFree=4179764/4192956
[pid=15100] ppid=15098 vsize=47564 CPUtime=0.01
################
# More data... #
################
/proc/15114/task/15120/stat : 15120 (java) S 15100 15100 13135 0 -1 64 823 0 0 0 31 1 0 0 16 0 9 0 1985130520 832647168 40795 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15121] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15121/stat : 15121 (java) S 15100 15100 13135 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1985130520 832647168 40795 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15122] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15122/stat : 15122 (java) S 15100 15100 13135 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1985130521 832647168 40795 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1594.89
Current children cumulated vsize (KiB) 860696
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/91 15187
/proc/meminfo: memFree=1453944/2055920 swapFree=4179764/4192956
[pid=15100] ppid=15098 vsize=47564 CPUtime=0.01
/proc/15100/stat : 15100 (galacM.sh) S 15098 15100 13135 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 1985130512 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 213115923290 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15100/statm: 11891 365 246 79 0 219 0
[pid=15114] ppid=15100 vsize=813132 CPUtime=1654.59
/proc/15114/stat : 15114 (java) S 15100 15100 13135 0 -1 0 42061 0 1 0 165427 32 0 0 18 0 9 0 1985130516 832647168 40828 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15114/statm: 203283 40828 1932 9 0 197264 0
[pid=15114/tid=15115] ppid=15100 vsize=813132 CPUtime=1652.64
/proc/15114/task/15115/stat : 15115 (java) R 15100 15100 13135 0 -1 64 15327 0 1 0 165248 16 0 0 25 0 9 0 1985130517 832647168 40828 996147200 134512640 134550740 4294955616 18446744073709551615 4126416199 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15116] ppid=15100 vsize=813132 CPUtime=1.59
/proc/15114/task/15116/stat : 15116 (java) S 15100 15100 13135 0 -1 64 25211 0 0 0 146 13 0 0 16 0 9 0 1985130518 832647168 40828 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15117] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15117/stat : 15117 (java) S 15100 15100 13135 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1985130518 832647168 40828 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15118] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15118/stat : 15118 (java) S 15100 15100 13135 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1985130518 832647168 40828 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15119] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15119/stat : 15119 (java) S 15100 15100 13135 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1985130520 832647168 40828 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15120] ppid=15100 vsize=813132 CPUtime=0.32
/proc/15114/task/15120/stat : 15120 (java) S 15100 15100 13135 0 -1 64 823 0 0 0 31 1 0 0 16 0 9 0 1985130520 832647168 40828 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15121] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15121/stat : 15121 (java) S 15100 15100 13135 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1985130520 832647168 40828 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15122] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15122/stat : 15122 (java) S 15100 15100 13135 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1985130521 832647168 40828 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1654.6
Current children cumulated vsize (KiB) 860696
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 15187
/proc/meminfo: memFree=1452216/2055920 swapFree=4179764/4192956
[pid=15100] ppid=15098 vsize=47564 CPUtime=0.01
/proc/15100/stat : 15100 (galacM.sh) S 15098 15100 13135 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 1985130512 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 213115923290 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15100/statm: 11891 365 246 79 0 219 0
[pid=15114] ppid=15100 vsize=813132 CPUtime=1714.3
/proc/15114/stat : 15114 (java) S 15100 15100 13135 0 -1 0 42128 0 1 0 171398 32 0 0 18 0 9 0 1985130516 832647168 40871 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15114/statm: 203283 40871 1932 9 0 197264 0
[pid=15114/tid=15115] ppid=15100 vsize=813132 CPUtime=1712.32
/proc/15114/task/15115/stat : 15115 (java) R 15100 15100 13135 0 -1 64 15351 0 1 0 171216 16 0 0 25 0 9 0 1985130517 832647168 40871 996147200 134512640 134550740 4294955616 18446744073709551615 4126416283 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15116] ppid=15100 vsize=813132 CPUtime=1.62
/proc/15114/task/15116/stat : 15116 (java) S 15100 15100 13135 0 -1 64 25254 0 0 0 149 13 0 0 16 0 9 0 1985130518 832647168 40871 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15117] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15117/stat : 15117 (java) S 15100 15100 13135 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1985130518 832647168 40871 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15118] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15118/stat : 15118 (java) S 15100 15100 13135 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1985130518 832647168 40871 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15119] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15119/stat : 15119 (java) S 15100 15100 13135 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1985130520 832647168 40871 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15120] ppid=15100 vsize=813132 CPUtime=0.32
/proc/15114/task/15120/stat : 15120 (java) S 15100 15100 13135 0 -1 64 823 0 0 0 31 1 0 0 16 0 9 0 1985130520 832647168 40871 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15121] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15121/stat : 15121 (java) S 15100 15100 13135 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1985130520 832647168 40871 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15122] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15122/stat : 15122 (java) S 15100 15100 13135 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1985130521 832647168 40871 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1714.31
Current children cumulated vsize (KiB) 860696
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 15187
/proc/meminfo: memFree=1450488/2055920 swapFree=4179764/4192956
[pid=15100] ppid=15098 vsize=47564 CPUtime=0.01
/proc/15100/stat : 15100 (galacM.sh) S 15098 15100 13135 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 1985130512 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 213115923290 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15100/statm: 11891 365 246 79 0 219 0
[pid=15114] ppid=15100 vsize=813132 CPUtime=1774.01
/proc/15114/stat : 15114 (java) S 15100 15100 13135 0 -1 0 42194 0 1 0 177369 32 0 0 18 0 9 0 1985130516 832647168 40913 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15114/statm: 203283 40913 1932 9 0 197264 0
[pid=15114/tid=15115] ppid=15100 vsize=813132 CPUtime=1772.01
/proc/15114/task/15115/stat : 15115 (java) R 15100 15100 13135 0 -1 64 15375 0 1 0 177184 17 0 0 25 0 9 0 1985130517 832647168 40913 996147200 134512640 134550740 4294955616 18446744073709551615 4126416316 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15116] ppid=15100 vsize=813132 CPUtime=1.65
/proc/15114/task/15116/stat : 15116 (java) S 15100 15100 13135 0 -1 64 25296 0 0 0 152 13 0 0 16 0 9 0 1985130518 832647168 40913 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15117] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15117/stat : 15117 (java) S 15100 15100 13135 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1985130518 832647168 40913 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15118] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15118/stat : 15118 (java) S 15100 15100 13135 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1985130518 832647168 40913 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15119] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15119/stat : 15119 (java) S 15100 15100 13135 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1985130520 832647168 40913 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15120] ppid=15100 vsize=813132 CPUtime=0.32
/proc/15114/task/15120/stat : 15120 (java) S 15100 15100 13135 0 -1 64 823 0 0 0 31 1 0 0 16 0 9 0 1985130520 832647168 40913 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15121] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15121/stat : 15121 (java) S 15100 15100 13135 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1985130520 832647168 40913 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15122] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15122/stat : 15122 (java) S 15100 15100 13135 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1985130521 832647168 40913 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1774.02
Current children cumulated vsize (KiB) 860696
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 15187
/proc/meminfo: memFree=1449784/2055920 swapFree=4179764/4192956
[pid=15100] ppid=15098 vsize=47564 CPUtime=0.01
/proc/15100/stat : 15100 (galacM.sh) S 15098 15100 13135 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 1985130512 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 213115923290 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15100/statm: 11891 365 246 79 0 219 0
[pid=15114] ppid=15100 vsize=813132 CPUtime=1800.08
/proc/15114/stat : 15114 (java) S 15100 15100 13135 0 -1 0 42213 0 1 0 179976 32 0 0 18 0 9 0 1985130516 832647168 40923 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15114/statm: 203283 40923 1932 9 0 197264 0
[pid=15114/tid=15115] ppid=15100 vsize=813132 CPUtime=1798.07
/proc/15114/task/15115/stat : 15115 (java) R 15100 15100 13135 0 -1 64 15384 0 1 0 179790 17 0 0 25 0 9 0 1985130517 832647168 40923 996147200 134512640 134550740 4294955616 18446744073709551615 4125952133 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15116] ppid=15100 vsize=813132 CPUtime=1.66
/proc/15114/task/15116/stat : 15116 (java) S 15100 15100 13135 0 -1 64 25306 0 0 0 153 13 0 0 16 0 9 0 1985130518 832647168 40923 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15117] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15117/stat : 15117 (java) S 15100 15100 13135 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1985130518 832647168 40923 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15118] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15118/stat : 15118 (java) S 15100 15100 13135 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1985130518 832647168 40923 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15119] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15119/stat : 15119 (java) S 15100 15100 13135 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1985130520 832647168 40923 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15120] ppid=15100 vsize=813132 CPUtime=0.32
/proc/15114/task/15120/stat : 15120 (java) S 15100 15100 13135 0 -1 64 823 0 0 0 31 1 0 0 16 0 9 0 1985130520 832647168 40923 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15121] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15121/stat : 15121 (java) S 15100 15100 13135 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1985130520 832647168 40923 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15122] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15122/stat : 15122 (java) S 15100 15100 13135 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1985130521 832647168 40923 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 860696
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1808.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 15187
/proc/meminfo: memFree=1449784/2055920 swapFree=4179764/4192956
[pid=15100] ppid=15098 vsize=47564 CPUtime=0.01
/proc/15100/stat : 15100 (galacM.sh) S 15098 15100 13135 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 1985130512 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 213115923290 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15100/statm: 11891 365 246 79 0 219 0
[pid=15114] ppid=15100 vsize=813132 CPUtime=1800.08
/proc/15114/stat : 15114 (java) S 15100 15100 13135 0 -1 0 42213 0 1 0 179976 32 0 0 18 0 9 0 1985130516 832647168 40923 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15114/statm: 203283 40923 1932 9 0 197264 0
[pid=15114/tid=15115] ppid=15100 vsize=813132 CPUtime=1798.07
/proc/15114/task/15115/stat : 15115 (java) R 15100 15100 13135 0 -1 64 15384 0 1 0 179790 17 0 0 25 0 9 0 1985130517 832647168 40923 996147200 134512640 134550740 4294955616 18446744073709551615 4125952133 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15116] ppid=15100 vsize=813132 CPUtime=1.66
/proc/15114/task/15116/stat : 15116 (java) S 15100 15100 13135 0 -1 64 25306 0 0 0 153 13 0 0 16 0 9 0 1985130518 832647168 40923 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15117] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15117/stat : 15117 (java) S 15100 15100 13135 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1985130518 832647168 40923 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15118] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15118/stat : 15118 (java) S 15100 15100 13135 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1985130518 832647168 40923 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15119] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15119/stat : 15119 (java) S 15100 15100 13135 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1985130520 832647168 40923 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15120] ppid=15100 vsize=813132 CPUtime=0.32
/proc/15114/task/15120/stat : 15120 (java) S 15100 15100 13135 0 -1 64 823 0 0 0 31 1 0 0 16 0 9 0 1985130520 832647168 40923 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15114/tid=15121] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15121/stat : 15121 (java) S 15100 15100 13135 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1985130520 832647168 40923 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15114/tid=15122] ppid=15100 vsize=813132 CPUtime=0
/proc/15114/task/15122/stat : 15122 (java) S 15100 15100 13135 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1985130521 832647168 40923 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 860696
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15100 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=6998
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=19996
# CPU time returned by wait4() is 0.026994
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1808.52
CPU time (s): 1800.09
CPU user time (s): 1799.76
CPU system time (s): 0.33
CPU usage (%): 99.5338
Max. virtual memory (cumulated for all children) (KiB): 860696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.006998
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2463
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= 50
involuntary context switches= 24
runsolver used 2.35964 second user time and 5.9351 second system time
The end
Begin job on node37 at 2008-07-03 07:06:13
IDJOB=1056116
IDBENCH=57399
IDSOLVER=350
FILE ID=node37/1056116-1215061570
PBS_JOBID= 7875194
Free space on /tmp= 66464 MiB
SOLVER NAME= galac M
BENCH NAME= CPAI08/csp/largeQueens/normalized-queens-800.xml
COMMAND LINE= HOME/galacM.sh BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056116-1215061570/watcher-1056116-1215061570 -o /tmp/evaluation-result-1056116-1215061570/solver-1056116-1215061570 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacM.sh HOME/instance-1056116-1215061570.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= a5cb3ae7953c75d065027fcec4cf35e2
RANDOM SEED=487751476
node37.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 997976 kB
Buffers: 55620 kB
Cached: 237212 kB
SwapCached: 7116 kB
Active: 891452 kB
Inactive: 91828 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 997976 kB
SwapTotal: 4192956 kB
SwapFree: 4179764 kB
Dirty: 80056 kB
Writeback: 0 kB
Mapped: 701680 kB
Slab: 58600 kB
Committed_AS: 4102716 kB
PageTables: 3140 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264884 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66488 MiB
End job on node37 at 2008-07-03 07:36:23