runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-233529-1168326742 -o ROOT/results/node17/solver-233529-1168326742 -C 1800 -M 900 /tmp/evaluation/233529-1168326742/galacJ.sh /tmp/evaluation/233529-1168326742/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.69 2.48 2.21 5/89 6568
/proc/meminfo: memFree=1447240/2055920 swapFree=4192812/4192956
[pid=6567] ppid=6565 vsize=18540 CPUtime=0
/proc/6567/stat : 6567 (runsolver) R 6565 6567 6230 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 181068987 18984960 279 18446744073709551615 4194304 4267372 548682069088 18446744073709551615 245482712359 0 0 4096 24578 0 0 0 17 1 0 0
/proc/6567/statm: 4635 279 244 17 0 2626 0
[startup+0.108667 s]
/proc/loadavg: 2.69 2.48 2.21 5/89 6568
/proc/meminfo: memFree=1447240/2055920 swapFree=4192812/4192956
[pid=6567] ppid=6565 vsize=47568 CPUtime=0.01
/proc/6567/stat : 6567 (galacJ.sh) S 6565 6567 6230 0 -1 4194304 795 1728 0 0 0 0 0 1 23 0 1 0 181068987 48709632 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 245482318682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6567/statm: 11892 362 245 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47568
[startup+0.51871 s]
/proc/loadavg: 2.69 2.48 2.21 5/89 6568
/proc/meminfo: memFree=1447240/2055920 swapFree=4192812/4192956
[pid=6567] ppid=6565 vsize=47568 CPUtime=0.01
/proc/6567/stat : 6567 (galacJ.sh) S 6565 6567 6230 0 -1 4194304 795 1728 0 0 0 0 0 1 23 0 1 0 181068987 48709632 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 245482318682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6567/statm: 11892 362 245 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47568
[startup+1.3398 s]
/proc/loadavg: 2.63 2.48 2.21 3/97 6589
/proc/meminfo: memFree=1394176/2055920 swapFree=4192812/4192956
[pid=6567] ppid=6565 vsize=47568 CPUtime=0.01
/proc/6567/stat : 6567 (galacJ.sh) S 6565 6567 6230 0 -1 4194304 795 1728 0 0 0 0 0 1 23 0 1 0 181068987 48709632 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 245482318682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6567/statm: 11892 362 245 79 0 217 0
[pid=6582] ppid=6567 vsize=862312 CPUtime=1.27
/proc/6582/stat : 6582 (java) R 6567 6567 6230 0 -1 0 15323 0 1 0 118 9 0 0 25 0 8 0 181068991 883007488 15059 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6582/statm: 215578 15059 2036 14 0 201483 0
[pid=6582/tid=6583] ppid=6567 vsize=862312 CPUtime=0.11
/proc/6582/task/6583/stat : 6583 (java) R 6567 6567 6230 0 -1 64 5120 0 0 0 9 2 0 0 16 0 8 0 181068995 883007488 15059 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4155134380 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6584] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6584/stat : 6584 (java) S 6567 6567 6230 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 181068995 883007488 15059 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6585] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6585/stat : 6585 (java) S 6567 6567 6230 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 181068995 883007488 15059 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6586] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6586/stat : 6586 (java) S 6567 6567 6230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181068999 883007488 15059 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6587] ppid=6567 vsize=862312 CPUtime=0.16
/proc/6582/task/6587/stat : 6587 (java) S 6567 6567 6230 0 -1 64 920 0 0 0 15 1 0 0 16 0 8 0 181068999 883007488 15059 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6588] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6588/stat : 6588 (java) S 6567 6567 6230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181068999 883007488 15059 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6589] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6589/stat : 6589 (java) S 6567 6567 6230 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181068999 883007488 15059 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 909880
[startup+2.97697 s]
/proc/loadavg: 2.63 2.48 2.21 3/97 6589
/proc/meminfo: memFree=1376384/2055920 swapFree=4192812/4192956
[pid=6567] ppid=6565 vsize=47568 CPUtime=0.01
/proc/6567/stat : 6567 (galacJ.sh) S 6565 6567 6230 0 -1 4194304 795 1728 0 0 0 0 0 1 23 0 1 0 181068987 48709632 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 245482318682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6567/statm: 11892 362 245 79 0 217 0
[pid=6582] ppid=6567 vsize=862312 CPUtime=2.9
/proc/6582/stat : 6582 (java) R 6567 6567 6230 0 -1 0 22235 0 1 0 278 12 0 0 25 0 8 0 181068991 883007488 21934 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073868125 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6582/statm: 215578 21934 2036 14 0 201483 0
[pid=6582/tid=6583] ppid=6567 vsize=862312 CPUtime=0.62
/proc/6582/task/6583/stat : 6583 (java) S 6567 6567 6230 0 -1 64 12025 0 0 0 58 4 0 0 17 0 8 0 181068995 883007488 21934 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6584] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6584/stat : 6584 (java) S 6567 6567 6230 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 181068995 883007488 21934 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6585] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6585/stat : 6585 (java) S 6567 6567 6230 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 181068995 883007488 21934 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6586] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6586/stat : 6586 (java) S 6567 6567 6230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181068999 883007488 21934 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6587] ppid=6567 vsize=862312 CPUtime=0.16
/proc/6582/task/6587/stat : 6587 (java) S 6567 6567 6230 0 -1 64 923 0 0 0 15 1 0 0 16 0 8 0 181068999 883007488 21934 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6588] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6588/stat : 6588 (java) S 6567 6567 6230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181068999 883007488 21934 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6589] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6589/stat : 6589 (java) S 6567 6567 6230 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181068999 883007488 21934 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 909880
[startup+6.27931 s]
/proc/loadavg: 2.63 2.48 2.21 4/97 6589
/proc/meminfo: memFree=1337856/2055920 swapFree=4192812/4192956
[pid=6567] ppid=6565 vsize=47568 CPUtime=0.01
/proc/6567/stat : 6567 (galacJ.sh) S 6565 6567 6230 0 -1 4194304 795 1728 0 0 0 0 0 1 23 0 1 0 181068987 48709632 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 245482318682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6567/statm: 11892 362 245 79 0 217 0
[pid=6582] ppid=6567 vsize=862312 CPUtime=6.17
/proc/6582/stat : 6582 (java) R 6567 6567 6230 0 -1 0 32385 0 1 0 601 16 0 0 25 0 8 0 181068991 883007488 32033 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4155212769 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6582/statm: 215578 32033 2036 14 0 201483 0
[pid=6582/tid=6583] ppid=6567 vsize=862312 CPUtime=2.14
/proc/6582/task/6583/stat : 6583 (java) S 6567 6567 6230 0 -1 64 22166 0 0 0 206 8 0 0 18 0 8 0 181068995 883007488 32033 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6584] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6584/stat : 6584 (java) S 6567 6567 6230 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 181068995 883007488 32033 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6585] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6585/stat : 6585 (java) S 6567 6567 6230 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 181068995 883007488 32033 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6586] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6586/stat : 6586 (java) S 6567 6567 6230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181068999 883007488 32033 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6587] ppid=6567 vsize=862312 CPUtime=0.16
/proc/6582/task/6587/stat : 6587 (java) S 6567 6567 6230 0 -1 64 924 0 0 0 15 1 0 0 16 0 8 0 181068999 883007488 32033 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6588] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6588/stat : 6588 (java) S 6567 6567 6230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181068999 883007488 32033 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6589] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6589/stat : 6589 (java) S 6567 6567 6230 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181068999 883007488 32033 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 909880
[startup+12.766 s]
/proc/loadavg: 2.69 2.49 2.22 3/97 6589
/proc/meminfo: memFree=1303568/2055920 swapFree=4192812/4192956
[pid=6567] ppid=6565 vsize=47568 CPUtime=0.01
/proc/6567/stat : 6567 (galacJ.sh) S 6565 6567 6230 0 -1 4194304 795 1728 0 0 0 0 0 1 23 0 1 0 181068987 48709632 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 245482318682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6567/statm: 11892 362 245 79 0 217 0
[pid=6582] ppid=6567 vsize=862312 CPUtime=12.6
/proc/6582/stat : 6582 (java) R 6567 6567 6230 0 -1 0 39345 0 1 0 1242 18 0 0 25 0 8 0 181068991 883007488 38979 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073837335 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6582/statm: 215578 38979 2036 14 0 201483 0
[pid=6582/tid=6583] ppid=6567 vsize=862312 CPUtime=5.75
/proc/6582/task/6583/stat : 6583 (java) S 6567 6567 6230 0 -1 64 29106 0 0 0 565 10 0 0 18 0 8 0 181068995 883007488 38979 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6584] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6584/stat : 6584 (java) S 6567 6567 6230 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 181068995 883007488 38979 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6585] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6585/stat : 6585 (java) S 6567 6567 6230 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 181068995 883007488 38979 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6586] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6586/stat : 6586 (java) S 6567 6567 6230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181068999 883007488 38979 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6587] ppid=6567 vsize=862312 CPUtime=0.18
/proc/6582/task/6587/stat : 6587 (java) S 6567 6567 6230 0 -1 64 930 0 0 0 17 1 0 0 17 0 8 0 181068999 883007488 38979 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6588] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6588/stat : 6588 (java) S 6567 6567 6230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181068999 883007488 38979 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6589] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6589/stat : 6589 (java) S 6567 6567 6230 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181068999 883007488 38979 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 909880
[startup+25.6553 s]
/proc/loadavg: 2.58 2.48 2.22 4/97 6589
/proc/meminfo: memFree=1233872/2055920 swapFree=4192812/4192956
[pid=6567] ppid=6565 vsize=47568 CPUtime=0.01
/proc/6567/stat : 6567 (galacJ.sh) S 6565 6567 6230 0 -1 4194304 795 1728 0 0 0 0 0 1 23 0 1 0 181068987 48709632 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 245482318682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6567/statm: 11892 362 245 79 0 217 0
[pid=6582] ppid=6567 vsize=862312 CPUtime=25.37
/proc/6582/stat : 6582 (java) R 6567 6567 6230 0 -1 0 56428 0 1 0 2513 24 0 0 25 0 8 0 181068991 883007488 56041 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6582/statm: 215578 56041 2036 14 0 201483 0
[pid=6582/tid=6583] ppid=6567 vsize=862312 CPUtime=13.99
/proc/6582/task/6583/stat : 6583 (java) R 6567 6567 6230 0 -1 64 46166 0 0 0 1383 16 0 0 18 0 8 0 181068995 883007488 56041 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4155222440 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6584] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6584/stat : 6584 (java) S 6567 6567 6230 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 181068995 883007488 56041 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6585] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6585/stat : 6585 (java) S 6567 6567 6230 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 181068995 883007488 56041 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6586] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6586/stat : 6586 (java) S 6567 6567 6230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181068999 883007488 56041 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6587] ppid=6567 vsize=862312 CPUtime=0.18
/proc/6582/task/6587/stat : 6587 (java) S 6567 6567 6230 0 -1 64 932 0 0 0 17 1 0 0 17 0 8 0 181068999 883007488 56041 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6588] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6588/stat : 6588 (java) S 6567 6567 6230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181068999 883007488 56041 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6589] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6589/stat : 6589 (java) S 6567 6567 6230 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181068999 883007488 56041 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 909880
[startup+51.2758 s]
/proc/loadavg: 2.65 2.50 2.23 3/97 6589
/proc/meminfo: memFree=1161360/2055920 swapFree=4192812/4192956
[pid=6567] ppid=6565 vsize=47568 CPUtime=0.01
/proc/6567/stat : 6567 (galacJ.sh) S 6565 6567 6230 0 -1 4194304 795 1728 0 0 0 0 0 1 23 0 1 0 181068987 48709632 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 245482318682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6567/statm: 11892 362 245 79 0 217 0
[pid=6582] ppid=6567 vsize=862312 CPUtime=50.87
/proc/6582/stat : 6582 (java) R 6567 6567 6230 0 -1 0 73604 0 1 0 5056 31 0 0 25 0 8 0 181068991 883007488 73184 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6582/statm: 215578 73184 2036 14 0 201483 0
[pid=6582/tid=6583] ppid=6567 vsize=862312 CPUtime=32.66
/proc/6582/task/6583/stat : 6583 (java) R 6567 6567 6230 0 -1 64 63304 0 0 0 3243 23 0 0 16 0 8 0 181068995 883007488 73184 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4155523558 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6584] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6584/stat : 6584 (java) S 6567 6567 6230 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 181068995 883007488 73184 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6585] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6585/stat : 6585 (java) S 6567 6567 6230 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 181068995 883007488 73184 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6586] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6586/stat : 6586 (java) S 6567 6567 6230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181068999 883007488 73184 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6587] ppid=6567 vsize=862312 CPUtime=0.2
/proc/6582/task/6587/stat : 6587 (java) S 6567 6567 6230 0 -1 64 937 0 0 0 19 1 0 0 17 0 8 0 181068999 883007488 73184 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6588] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6588/stat : 6588 (java) S 6567 6567 6230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181068999 883007488 73184 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6589] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6589/stat : 6589 (java) S 6567 6567 6230 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181068999 883007488 73184 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 909880
[startup+102.531 s]
/proc/loadavg: 2.86 2.58 2.27 4/97 6589
/proc/meminfo: memFree=1013136/2055920 swapFree=4192812/4192956
[pid=6567] ppid=6565 vsize=47568 CPUtime=0.01
/proc/6567/stat : 6567 (galacJ.sh) S 6565 6567 6230 0 -1 4194304 795 1728 0 0 0 0 0 1 23 0 1 0 181068987 48709632 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 245482318682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6567/statm: 11892 362 245 79 0 217 0
[pid=6582] ppid=6567 vsize=862312 CPUtime=101.88
/proc/6582/stat : 6582 (java) R 6567 6567 6230 0 -1 0 110642 0 1 0 10144 44 0 0 25 0 8 0 181068991 883007488 110173 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6582/statm: 215578 110173 2036 14 0 201483 0
[pid=6582/tid=6583] ppid=6567 vsize=862312 CPUtime=73.25
/proc/6582/task/6583/stat : 6583 (java) R 6567 6567 6230 0 -1 64 100289 0 0 0 7289 36 0 0 16 0 8 0 181068995 883007488 110173 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4155222432 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6584] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6584/stat : 6584 (java) S 6567 6567 6230 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 181068995 883007488 110173 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6585] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6585/stat : 6585 (java) S 6567 6567 6230 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 181068995 883007488 110173 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6586] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6586/stat : 6586 (java) S 6567 6567 6230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181068999 883007488 110173 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6587] ppid=6567 vsize=862312 CPUtime=0.2
/proc/6582/task/6587/stat : 6587 (java) S 6567 6567 6230 0 -1 64 941 0 0 0 19 1 0 0 17 0 8 0 181068999 883007488 110173 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6588] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6588/stat : 6588 (java) S 6567 6567 6230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181068999 883007488 110173 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6589] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6589/stat : 6589 (java) S 6567 6567 6230 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181068999 883007488 110173 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 909880
[startup+162.538 s]
/proc/loadavg: 2.88 2.64 2.31 4/97 6589
/proc/meminfo: memFree=835728/2055920 swapFree=4192812/4192956
[pid=6567] ppid=6565 vsize=47568 CPUtime=0.01
/proc/6567/stat : 6567 (galacJ.sh) S 6565 6567 6230 0 -1 4194304 795 1728 0 0 0 0 0 1 23 0 1 0 181068987 48709632 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 245482318682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6567/statm: 11892 362 245 79 0 217 0
[pid=6582] ppid=6567 vsize=862312 CPUtime=161.61
/proc/6582/stat : 6582 (java) R 6567 6567 6230 0 -1 0 154948 0 1 0 16099 62 0 0 25 0 8 0 181068991 883007488 154439 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6582/statm: 215578 154439 2036 14 0 201483 0
[pid=6582/tid=6583] ppid=6567 vsize=862312 CPUtime=124.17
/proc/6582/task/6583/stat : 6583 (java) R 6567 6567 6230 0 -1 64 144554 0 0 0 12364 53 0 0 16 0 8 0 181068995 883007488 154439 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4155525226 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6584] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6584/stat : 6584 (java) S 6567 6567 6230 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 181068995 883007488 154439 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6585] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6585/stat : 6585 (java) S 6567 6567 6230 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 181068995 883007488 154439 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6586] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6586/stat : 6586 (java) S 6567 6567 6230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181068999 883007488 154439 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6587] ppid=6567 vsize=862312 CPUtime=0.21
/proc/6582/task/6587/stat : 6587 (java) S 6567 6567 6230 0 -1 64 942 0 0 0 20 1 0 0 17 0 8 0 181068999 883007488 154439 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6588] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6588/stat : 6588 (java) S 6567 6567 6230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181068999 883007488 154439 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6589] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6589/stat : 6589 (java) S 6567 6567 6230 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181068999 883007488 154439 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.62
Current children cumulated vsize (KiB) 909880
[startup+222.641 s]
/proc/loadavg: 2.80 2.67 2.34 3/97 6589
/proc/meminfo: memFree=721680/2055920 swapFree=4192812/4192956
[pid=6567] ppid=6565 vsize=47568 CPUtime=0.01
/proc/6567/stat : 6567 (galacJ.sh) S 6565 6567 6230 0 -1 4194304 795 1728 0 0 0 0 0 1 23 0 1 0 181068987 48709632 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 245482318682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6567/statm: 11892 362 245 79 0 217 0
[pid=6582] ppid=6567 vsize=862312 CPUtime=221.43
/proc/6582/stat : 6582 (java) S 6567 6567 6230 0 -1 0 183431 0 1 0 22070 73 0 0 17 0 8 0 181068991 883007488 182892 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6582/statm: 215578 182892 2036 14 0 201483 0
[pid=6582/tid=6583] ppid=6567 vsize=862312 CPUtime=177.42
/proc/6582/task/6583/stat : 6583 (java) R 6567 6567 6230 0 -1 64 165888 0 0 0 17681 61 0 0 25 0 8 0 181068995 883007488 182892 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4155215792 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6584] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6584/stat : 6584 (java) S 6567 6567 6230 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 181068995 883007488 182892 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6585] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6585/stat : 6585 (java) S 6567 6567 6230 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 181068995 883007488 182892 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6586] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6586/stat : 6586 (java) S 6567 6567 6230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181068999 883007488 182892 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6587] ppid=6567 vsize=862312 CPUtime=0.21
/proc/6582/task/6587/stat : 6587 (java) S 6567 6567 6230 0 -1 64 942 0 0 0 20 1 0 0 17 0 8 0 181068999 883007488 182892 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6588] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6588/stat : 6588 (java) S 6567 6567 6230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181068999 883007488 182892 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6582/tid=6589] ppid=6567 vsize=862312 CPUtime=0
/proc/6582/task/6589/stat : 6589 (java) S 6567 6567 6230 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181068999 883007488 182892 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.44
Current children cumulated vsize (KiB) 909880
Child status: 0
Real time (s): 230.101
CPU time (s): 228.847
CPU user time (s): 227.979
CPU system time (s): 0.867868
CPU usage (%): 99.455
Max. virtual memory (cumulated for all children) (KiB): 910096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 227.979
system time used= 0.867868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185996
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= 6548
involuntary context switches= 9669
runsolver used 0.250961 s user time and 0.775882 s system time
The end
Begin job on node17 on Tue Jan 9 07:12:22 UTC 2007
IDJOB= 233529
IDBENCH= 6615
FILE ID= node17/233529-1168326742
PBS_JOBID= 3503002
Free space on /tmp= 66555 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-15/os-taillard-15-95-3.xml
COMMAND LINE= /tmp/evaluation/233529-1168326742/galacJ.sh /tmp/evaluation/233529-1168326742/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-233529-1168326742 -o ROOT/results/node17/solver-233529-1168326742 -C 1800 -M 900 /tmp/evaluation/233529-1168326742/galacJ.sh /tmp/evaluation/233529-1168326742/unknown.xml
META MD5SUM SOLVER= ffd78bd56f274e94bd0d0faf76d262cb
MD5SUM BENCH= 70c6e1071e2d8fc4bc31e6131cae8760
RANDOM SEED= 464857146
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.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: 1447656 kB
Buffers: 71776 kB
Cached: 383620 kB
SwapCached: 0 kB
Active: 288536 kB
Inactive: 251844 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1447656 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3800 kB
Writeback: 0 kB
Mapped: 101824 kB
Slab: 52620 kB
Committed_AS: 5424932 kB
PageTables: 2276 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= 66555 MiB
End job on node17 on Tue Jan 9 07:16:12 UTC 2007