runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-221472-1168259395 -o ROOT/results/node40/solver-221472-1168259395 -C 1800 -M 900 /tmp/evaluation/221472-1168259395/galacJ.sh /tmp/evaluation/221472-1168259395/unknown.xml
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: 2.02 1.95 1.84 5/84 21268
/proc/meminfo: memFree=1343424/2055920 swapFree=4192812/4192956
[pid=21267] ppid=21265 vsize=5184 CPUtime=0
/proc/21267/stat : 21267 (galacJ.sh) R 21265 21267 21010 0 -1 4194304 94 0 0 0 0 0 0 0 20 0 1 0 174338886 5308416 67 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 264519179173 0 0 4096 0 0 0 0 17 1 0 0
/proc/21267/statm: 1296 67 50 79 0 106 0
[startup+0.104323 s]
/proc/loadavg: 2.02 1.95 1.84 5/84 21268
/proc/meminfo: memFree=1343424/2055920 swapFree=4192812/4192956
[pid=21267] ppid=21265 vsize=47560 CPUtime=0.01
/proc/21267/stat : 21267 (galacJ.sh) S 21265 21267 21010 0 -1 4194304 797 1728 0 0 0 0 0 1 24 0 1 0 174338886 48701440 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21267/statm: 11890 362 245 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47560
[startup+0.516376 s]
/proc/loadavg: 2.02 1.95 1.84 5/84 21268
/proc/meminfo: memFree=1343424/2055920 swapFree=4192812/4192956
[pid=21267] ppid=21265 vsize=47560 CPUtime=0.01
/proc/21267/stat : 21267 (galacJ.sh) S 21265 21267 21010 0 -1 4194304 797 1728 0 0 0 0 0 1 24 0 1 0 174338886 48701440 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21267/statm: 11890 362 245 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47560
[startup+1.34549 s]
/proc/loadavg: 2.02 1.95 1.84 4/92 21289
/proc/meminfo: memFree=1260792/2055920 swapFree=4192812/4192956
[pid=21267] ppid=21265 vsize=47560 CPUtime=0.01
/proc/21267/stat : 21267 (galacJ.sh) S 21265 21267 21010 0 -1 4194304 797 1728 0 0 0 0 0 1 24 0 1 0 174338886 48701440 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21267/statm: 11890 362 245 79 0 217 0
[pid=21282] ppid=21267 vsize=862312 CPUtime=1.29
/proc/21282/stat : 21282 (java) R 21267 21267 21010 0 -1 0 26663 0 1 0 115 14 0 0 20 0 8 0 174338889 883007488 26417 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073877424 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21282/statm: 215578 26417 2037 14 0 201483 0
[pid=21282/tid=21283] ppid=21267 vsize=862312 CPUtime=0.27
/proc/21282/task/21283/stat : 21283 (java) S 21267 21267 21010 0 -1 64 10517 0 0 0 23 4 0 0 19 0 8 0 174338893 883007488 26417 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21284] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21284/stat : 21284 (java) S 21267 21267 21010 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 174338893 883007488 26417 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21285] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21285/stat : 21285 (java) S 21267 21267 21010 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 174338893 883007488 26417 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21286] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21286/stat : 21286 (java) S 21267 21267 21010 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174338897 883007488 26417 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21287] ppid=21267 vsize=862312 CPUtime=0.17
/proc/21282/task/21287/stat : 21287 (java) S 21267 21267 21010 0 -1 64 927 0 0 0 17 0 0 0 16 0 8 0 174338897 883007488 26417 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21288] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21288/stat : 21288 (java) S 21267 21267 21010 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174338897 883007488 26417 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21289] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21289/stat : 21289 (java) S 21267 21267 21010 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174338897 883007488 26417 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 909872
[startup+2.9827 s]
/proc/loadavg: 2.02 1.95 1.84 4/92 21289
/proc/meminfo: memFree=1189304/2055920 swapFree=4192812/4192956
[pid=21267] ppid=21265 vsize=47560 CPUtime=0.01
/proc/21267/stat : 21267 (galacJ.sh) S 21265 21267 21010 0 -1 4194304 797 1728 0 0 0 0 0 1 24 0 1 0 174338886 48701440 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21267/statm: 11890 362 245 79 0 217 0
[pid=21282] ppid=21267 vsize=862312 CPUtime=2.92
/proc/21282/stat : 21282 (java) R 21267 21267 21010 0 -1 0 42197 0 1 0 272 20 0 0 25 0 8 0 174338889 883007488 40239 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073883328 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21282/statm: 215578 40239 2040 14 0 201483 0
[pid=21282/tid=21283] ppid=21267 vsize=862312 CPUtime=1
/proc/21282/task/21283/stat : 21283 (java) S 21267 21267 21010 0 -1 64 26038 0 0 0 89 11 0 0 18 0 8 0 174338893 883007488 40239 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21284] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21284/stat : 21284 (java) S 21267 21267 21010 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 174338893 883007488 40239 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21285] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21285/stat : 21285 (java) S 21267 21267 21010 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 174338893 883007488 40239 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21286] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21286/stat : 21286 (java) S 21267 21267 21010 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174338897 883007488 40239 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21287] ppid=21267 vsize=862312 CPUtime=0.18
/proc/21282/task/21287/stat : 21287 (java) S 21267 21267 21010 0 -1 64 933 0 0 0 18 0 0 0 16 0 8 0 174338897 883007488 40239 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21288] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21288/stat : 21288 (java) S 21267 21267 21010 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174338897 883007488 40239 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21289] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21289/stat : 21289 (java) R 21267 21267 21010 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174338897 883007488 40239 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 909872
[startup+6.27612 s]
/proc/loadavg: 2.01 1.95 1.84 4/92 21289
/proc/meminfo: memFree=1129912/2055920 swapFree=4192812/4192956
[pid=21267] ppid=21265 vsize=47560 CPUtime=0.01
/proc/21267/stat : 21267 (galacJ.sh) S 21265 21267 21010 0 -1 4194304 797 1728 0 0 0 0 0 1 24 0 1 0 174338886 48701440 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21267/statm: 11890 362 245 79 0 217 0
[pid=21282] ppid=21267 vsize=862312 CPUtime=6.19
/proc/21282/stat : 21282 (java) R 21267 21267 21010 0 -1 0 64073 0 1 0 589 30 0 0 16 0 8 0 174338889 883007488 59815 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073876599 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21282/statm: 215578 59815 2045 14 0 201483 0
[pid=21282/tid=21283] ppid=21267 vsize=862312 CPUtime=2.93
/proc/21282/task/21283/stat : 21283 (java) R 21267 21267 21010 0 -1 64 47890 0 0 0 272 21 0 0 25 0 8 0 174338893 883007488 59815 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21284] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21284/stat : 21284 (java) S 21267 21267 21010 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 174338893 883007488 59815 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21285] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21285/stat : 21285 (java) S 21267 21267 21010 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 174338893 883007488 59815 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21286] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21286/stat : 21286 (java) S 21267 21267 21010 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174338897 883007488 59815 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21287] ppid=21267 vsize=862312 CPUtime=0.18
/proc/21282/task/21287/stat : 21287 (java) S 21267 21267 21010 0 -1 64 939 0 0 0 18 0 0 0 16 0 8 0 174338897 883007488 59815 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21288] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21288/stat : 21288 (java) S 21267 21267 21010 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174338897 883007488 59815 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21289] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21289/stat : 21289 (java) S 21267 21267 21010 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174338897 883007488 59815 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 909872
[startup+12.7678 s]
/proc/loadavg: 2.01 1.95 1.84 3/92 21289
/proc/meminfo: memFree=1017224/2055920 swapFree=4192812/4192956
[pid=21267] ppid=21265 vsize=47560 CPUtime=0.01
/proc/21267/stat : 21267 (galacJ.sh) S 21265 21267 21010 0 -1 4194304 797 1728 0 0 0 0 0 1 24 0 1 0 174338886 48701440 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21267/statm: 11890 362 245 79 0 217 0
[pid=21282] ppid=21267 vsize=862312 CPUtime=12.69
/proc/21282/stat : 21282 (java) R 21267 21267 21010 0 -1 0 80777 0 1 0 1232 37 0 0 16 0 8 0 174338889 883007488 74170 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073876659 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21282/statm: 215578 74170 2045 14 0 201483 0
[pid=21282/tid=21283] ppid=21267 vsize=862312 CPUtime=7.61
/proc/21282/task/21283/stat : 21283 (java) R 21267 21267 21010 0 -1 64 64585 0 0 0 734 27 0 0 25 0 8 0 174338893 883007488 74170 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21284] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21284/stat : 21284 (java) S 21267 21267 21010 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 174338893 883007488 74170 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21285] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21285/stat : 21285 (java) S 21267 21267 21010 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 174338893 883007488 74170 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21286] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21286/stat : 21286 (java) S 21267 21267 21010 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174338897 883007488 74170 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21287] ppid=21267 vsize=862312 CPUtime=0.19
/proc/21282/task/21287/stat : 21287 (java) S 21267 21267 21010 0 -1 64 939 0 0 0 19 0 0 0 16 0 8 0 174338897 883007488 74170 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21288] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21288/stat : 21288 (java) S 21267 21267 21010 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174338897 883007488 74170 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21289] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21289/stat : 21289 (java) S 21267 21267 21010 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174338897 883007488 74170 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 909872
[startup+25.6584 s]
/proc/loadavg: 2.08 1.97 1.85 4/92 21289
/proc/meminfo: memFree=912392/2055920 swapFree=4192812/4192956
[pid=21267] ppid=21265 vsize=47560 CPUtime=0.01
/proc/21267/stat : 21267 (galacJ.sh) S 21265 21267 21010 0 -1 4194304 797 1728 0 0 0 0 0 1 24 0 1 0 174338886 48701440 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21267/statm: 11890 362 245 79 0 217 0
[pid=21282] ppid=21267 vsize=862312 CPUtime=25.58
/proc/21282/stat : 21282 (java) R 21267 21267 21010 0 -1 0 100253 0 1 0 2513 45 0 0 17 0 8 0 174338889 883007488 93633 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073876550 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21282/statm: 215578 93633 2045 14 0 201483 0
[pid=21282/tid=21283] ppid=21267 vsize=862312 CPUtime=16.34
/proc/21282/task/21283/stat : 21283 (java) R 21267 21267 21010 0 -1 64 84047 0 0 0 1599 35 0 0 25 0 8 0 174338893 883007488 93633 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21284] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21284/stat : 21284 (java) S 21267 21267 21010 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 174338893 883007488 93633 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21285] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21285/stat : 21285 (java) S 21267 21267 21010 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 174338893 883007488 93633 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21286] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21286/stat : 21286 (java) S 21267 21267 21010 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174338897 883007488 93633 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21287] ppid=21267 vsize=862312 CPUtime=0.19
/proc/21282/task/21287/stat : 21287 (java) S 21267 21267 21010 0 -1 64 940 0 0 0 19 0 0 0 17 0 8 0 174338897 883007488 93633 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21288] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21288/stat : 21288 (java) S 21267 21267 21010 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174338897 883007488 93633 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21289] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21289/stat : 21289 (java) S 21267 21267 21010 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174338897 883007488 93633 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 909872
[startup+51.3428 s]
/proc/loadavg: 2.05 1.97 1.85 4/92 21289
/proc/meminfo: memFree=646536/2055920 swapFree=4192812/4192956
[pid=21267] ppid=21265 vsize=47560 CPUtime=0.01
/proc/21267/stat : 21267 (galacJ.sh) S 21265 21267 21010 0 -1 4194304 797 1728 0 0 0 0 0 1 24 0 1 0 174338886 48701440 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21267/statm: 11890 362 245 79 0 217 0
[pid=21282] ppid=21267 vsize=862312 CPUtime=51.25
/proc/21282/stat : 21282 (java) S 21267 21267 21010 0 -1 0 149260 0 1 0 5059 66 0 0 25 0 8 0 174338889 883007488 138972 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21282/statm: 215578 138972 2045 14 0 201483 0
[pid=21282/tid=21283] ppid=21267 vsize=862312 CPUtime=35.93
/proc/21282/task/21283/stat : 21283 (java) R 21267 21267 21010 0 -1 64 133032 0 0 0 3536 57 0 0 25 0 8 0 174338893 883007488 138972 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4155134316 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21284] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21284/stat : 21284 (java) S 21267 21267 21010 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 174338893 883007488 138972 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21285] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21285/stat : 21285 (java) S 21267 21267 21010 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 174338893 883007488 138972 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21286] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21286/stat : 21286 (java) S 21267 21267 21010 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174338897 883007488 138972 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21287] ppid=21267 vsize=862312 CPUtime=0.19
/proc/21282/task/21287/stat : 21287 (java) S 21267 21267 21010 0 -1 64 941 0 0 0 19 0 0 0 16 0 8 0 174338897 883007488 138972 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21288] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21288/stat : 21288 (java) S 21267 21267 21010 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174338897 883007488 138972 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21289] ppid=21267 vsize=863316 CPUtime=0
/proc/21282/task/21289/stat : 21289 (java) S 21267 21267 21010 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174338897 884035584 138973 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.26
Current children cumulated vsize (KiB) 909872
[startup+102.568 s]
/proc/loadavg: 2.13 2.00 1.87 3/92 21289
/proc/meminfo: memFree=333960/2055920 swapFree=4192812/4192956
[pid=21267] ppid=21265 vsize=47560 CPUtime=0.01
/proc/21267/stat : 21267 (galacJ.sh) S 21265 21267 21010 0 -1 4194304 797 1728 0 0 0 0 0 1 24 0 1 0 174338886 48701440 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/21267/statm: 11890 362 245 79 0 217 0
[pid=21282] ppid=21267 vsize=862312 CPUtime=102.46
/proc/21282/stat : 21282 (java) S 21267 21267 21010 0 -1 0 196798 0 1 0 10160 86 0 0 17 0 8 0 174338889 883007488 184481 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21282/statm: 215578 184481 2045 14 0 201483 0
[pid=21282/tid=21283] ppid=21267 vsize=862312 CPUtime=80.18
/proc/21282/task/21283/stat : 21283 (java) R 21267 21267 21010 0 -1 64 180543 0 0 0 7942 76 0 0 25 0 8 0 174338893 883007488 184481 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21284] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21284/stat : 21284 (java) S 21267 21267 21010 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 174338893 883007488 184481 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21285] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21285/stat : 21285 (java) S 21267 21267 21010 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 174338893 883007488 184481 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21286] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21286/stat : 21286 (java) S 21267 21267 21010 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174338897 883007488 184481 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21287] ppid=21267 vsize=862312 CPUtime=0.2
/proc/21282/task/21287/stat : 21287 (java) S 21267 21267 21010 0 -1 64 944 0 0 0 20 0 0 0 17 0 8 0 174338897 883007488 184481 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21288] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21288/stat : 21288 (java) S 21267 21267 21010 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174338897 883007488 184481 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21282/tid=21289] ppid=21267 vsize=862312 CPUtime=0
/proc/21282/task/21289/stat : 21289 (java) S 21267 21267 21010 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174338897 883007488 184481 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.47
Current children cumulated vsize (KiB) 909872
Child status: 0
Real time (s): 104.421
CPU time (s): 104.313
CPU user time (s): 103.321
CPU system time (s): 0.991849
CPU usage (%): 99.897
Max. virtual memory (cumulated for all children) (KiB): 911896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 103.321
system time used= 0.991849
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199361
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2929
involuntary context switches= 5045
runsolver used 0.142978 s user time and 0.362944 s system time
The end
Begin job on node40 on Mon Jan 8 12:29:56 UTC 2007
IDJOB= 221472
IDBENCH= 5451
FILE ID= node40/221472-1168259395
PBS_JOBID= 3482631
Free space on /tmp= 66547 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp31-35/fapp32/fapp32-0550-1.xml
COMMAND LINE= /tmp/evaluation/221472-1168259395/galacJ.sh /tmp/evaluation/221472-1168259395/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-221472-1168259395 -o ROOT/results/node40/solver-221472-1168259395 -C 1800 -M 900 /tmp/evaluation/221472-1168259395/galacJ.sh /tmp/evaluation/221472-1168259395/unknown.xml
META MD5SUM SOLVER= ffd78bd56f274e94bd0d0faf76d262cb
MD5SUM BENCH= f5b95afaee162ab9e779c98ee53384fa
RANDOM SEED= 71166981
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.239
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.239
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: 1343904 kB
Buffers: 42824 kB
Cached: 312340 kB
SwapCached: 0 kB
Active: 402456 kB
Inactive: 234892 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1343904 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4632 kB
Writeback: 0 kB
Mapped: 302876 kB
Slab: 59460 kB
Committed_AS: 4545136 kB
PageTables: 2344 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66547 MiB
End job on node40 on Mon Jan 8 12:31:40 UTC 2007