runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246016-1500686468/watcher-4246016-1500686468 -o /tmp/evaluation-result-4246016-1500686468/solver-4246016-1500686468 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1610427888 HOME/instance-4246016-1500686468.xml
pid=7874
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 11.77 14.65 14.94 3/271 7877
/proc/meminfo: memFree=28683688/32770624 swapFree=5900/232472
[pid=7877] ppid=7874 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7877/stat : 7877 (xcsp3-exec) S 7874 7877 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3913705 9740288 346 33554432000 4194304 5098028 140725219017696 140725219015800 140015541543548 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34480128 140725219021966 140725219022176 140725219022176 140725219024875 0
/proc/7877/statm: 2378 346 289 221 0 87 0
[startup+0.10013 s]
/proc/loadavg: 11.77 14.65 14.94 3/271 7877
/proc/meminfo: memFree=28683688/32770624 swapFree=5900/232472
[pid=7877] ppid=7874 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7877/stat : 7877 (xcsp3-exec) S 7874 7877 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3913705 9740288 346 33554432000 4194304 5098028 140725219017696 140725219015800 140015541543548 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34480128 140725219021966 140725219022176 140725219022176 140725219024875 0
/proc/7877/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200387 s]
/proc/loadavg: 11.77 14.65 14.94 3/271 7877
/proc/meminfo: memFree=28683688/32770624 swapFree=5900/232472
[pid=7877] ppid=7874 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7877/stat : 7877 (xcsp3-exec) S 7874 7877 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3913705 9740288 346 33554432000 4194304 5098028 140725219017696 140725219015800 140015541543548 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34480128 140725219021966 140725219022176 140725219022176 140725219024875 0
/proc/7877/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300327 s]
/proc/loadavg: 11.77 14.65 14.94 3/271 7877
/proc/meminfo: memFree=28683688/32770624 swapFree=5900/232472
[pid=7877] ppid=7874 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7877/stat : 7877 (xcsp3-exec) S 7874 7877 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3913705 9740288 346 33554432000 4194304 5098028 140725219017696 140725219015800 140015541543548 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34480128 140725219021966 140725219022176 140725219022176 140725219024875 0
/proc/7877/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700174 s]
/proc/loadavg: 11.77 14.65 14.94 3/271 7877
/proc/meminfo: memFree=28683688/32770624 swapFree=5900/232472
[pid=7877] ppid=7874 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7877/stat : 7877 (xcsp3-exec) S 7874 7877 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3913705 9740288 346 33554432000 4194304 5098028 140725219017696 140725219015800 140015541543548 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34480128 140725219021966 140725219022176 140725219022176 140725219024875 0
/proc/7877/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7878 sig 9
??? kill 7877 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800243 s]
/proc/loadavg: 11.77 14.65 14.94 3/271 7877
/proc/meminfo: memFree=28683688/32770624 swapFree=5900/232472
[pid=7877] ppid=7874 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7877/stat : 7877 (xcsp3-exec) S 7874 7877 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3913705 9740288 346 33554432000 4194304 5098028 140725219017696 140725219015800 140015541543548 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34480128 140725219021966 140725219022176 140725219022176 140725219024875 0
/proc/7877/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.21565 s]
/proc/loadavg: 11.23 14.49 14.88 11/300 7918
/proc/meminfo: memFree=28551260/32770624 swapFree=5900/235940
[pid=7877] ppid=7874 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7877/stat : 7877 (xcsp3-exec) S 7874 7877 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3913705 9740288 346 33554432000 4194304 5098028 140725219017696 140725219015800 140015541543548 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34480128 140725219021966 140725219022176 140725219022176 140725219024875 0
/proc/7877/statm: 2378 346 289 221 0 87 0
[pid=7878] ppid=7877 vsize=13801768 CPUtime=4.53 cores=0,2,4,6,8,10,12,14
/proc/7878/stat : 7878 (java) S 7877 7877 16913 0 -1 1077944320 14935 0 0 0 445 8 0 0 20 0 28 0 3913705 14133010432 37249 33554432000 4194304 4196468 140726531976016 140726531958560 140521973423863 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
/proc/7878/statm: 3450442 37249 3228 1 0 3437675 0
[pid=7878/tid=7879] ppid=7877 vsize=13801768 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7879/stat : 7879 (java) S 7877 7877 16913 0 -1 1077944384 6921 0 0 0 89 4 0 0 20 0 28 0 3913705 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521977664640 140521973434069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7881] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7881/stat : 7881 (java) S 7877 7877 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3913706 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521936529808 140521973434069 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7882] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7882/stat : 7882 (java) S 7877 7877 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3913706 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521571285264 140521973434069 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7883] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7883/stat : 7883 (java) S 7877 7877 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3913706 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521570232976 140521973434069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7884] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7884/stat : 7884 (java) S 7877 7877 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3913706 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521569180176 140521973434069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7885] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7885/stat : 7885 (java) S 7877 7877 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3913706 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521568127888 140521973434069 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7886] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7886/stat : 7886 (java) S 7877 7877 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3913706 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521567075088 140521973434069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7887] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7887/stat : 7887 (java) S 7877 7877 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3913706 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521566022800 140521973434069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7888] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7888/stat : 7888 (java) S 7877 7877 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3913706 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521564970000 140521973434069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7889] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7889/stat : 7889 (java) S 7877 7877 16913 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3913708 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521435682928 140521973435010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7890] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7890/stat : 7890 (java) S 7877 7877 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3913709 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521434628896 140521973434069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7891] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7891/stat : 7891 (java) S 7877 7877 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3913709 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521433576560 140521973434069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7892] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7892/stat : 7892 (java) S 7877 7877 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3913712 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521432524880 140521973442459 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7893] ppid=7877 vsize=13801768 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7893/stat : 7893 (java) R 7877 7877 16913 0 -1 4202560 1796 0 0 0 60 0 0 0 20 0 28 0 3913712 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521431458776 140521954948416 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7894] ppid=7877 vsize=13801768 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7894/stat : 7894 (java) R 7877 7877 16913 0 -1 4202560 1354 0 0 0 64 0 0 0 20 0 28 0 3913712 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521430401968 140521954943936 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7895] ppid=7877 vsize=13801768 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7895/stat : 7895 (java) R 7877 7877 16913 0 -1 4202560 1024 0 0 0 62 0 0 0 20 0 28 0 3913712 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521429360856 140521954968097 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7896] ppid=7877 vsize=13801768 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7896/stat : 7896 (java) R 7877 7877 16913 0 -1 1077944384 2168 0 0 0 63 0 0 0 20 0 28 0 3913712 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521428314864 140521973435010 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7897] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7897/stat : 7897 (java) S 7877 7877 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3913713 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521427261792 140521973434069 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7898] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7898/stat : 7898 (java) S 7877 7877 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3913713 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521426209072 140521973435010 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7911] ppid=7877 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7911/stat : 7911 (java) R 7877 7877 16913 0 -1 4202560 58 0 0 0 12 0 0 0 20 0 28 0 3913802 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521418194800 140521614736377 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7912] ppid=7877 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7912/stat : 7912 (java) R 7877 7877 16913 0 -1 4202560 48 0 0 0 12 0 0 0 20 0 28 0 3913802 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521417143144 140521614843036 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7913] ppid=7877 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7913/stat : 7913 (java) R 7877 7877 16913 0 -1 4202560 43 0 0 0 16 0 0 0 20 0 28 0 3913802 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521416076464 140521611009952 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7914] ppid=7877 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7914/stat : 7914 (java) R 7877 7877 16913 0 -1 4202560 65 0 0 0 11 0 0 0 20 0 28 0 3913802 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521415039336 140521609514013 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7915] ppid=7877 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7915/stat : 7915 (java) R 7877 7877 16913 0 -1 4202560 49 0 0 0 12 0 0 0 20 0 28 0 3913802 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521413986216 140521614946118 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7916] ppid=7877 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7916/stat : 7916 (java) R 7877 7877 16913 0 -1 4202560 33 0 0 0 15 0 0 0 20 0 28 0 3913802 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521412931264 140521614844905 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7917] ppid=7877 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7917/stat : 7917 (java) R 7877 7877 16913 0 -1 4202560 30 0 0 0 12 0 0 0 20 0 28 0 3913802 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521411880920 140521613262782 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7918] ppid=7877 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7918/stat : 7918 (java) R 7877 7877 16913 0 -1 4202560 32 0 0 0 11 0 0 0 20 0 28 0 3913802 14133010432 37249 33554432000 4194304 4196468 140726531976016 140521410829288 140521614945995 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
Current children cumulated CPU time (s) 4.53
Current children cumulated vsize (KiB) 13811280
[startup+1.30169 s]
/proc/loadavg: 11.23 14.49 14.88 11/300 7918
/proc/meminfo: memFree=28551260/32770624 swapFree=5900/235940
[pid=7877] ppid=7874 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7877/stat : 7877 (xcsp3-exec) S 7874 7877 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3913705 9740288 346 33554432000 4194304 5098028 140725219017696 140725219015800 140015541543548 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34480128 140725219021966 140725219022176 140725219022176 140725219024875 0
/proc/7877/statm: 2378 346 289 221 0 87 0
[pid=7878] ppid=7877 vsize=13801768 CPUtime=5.21 cores=0,2,4,6,8,10,12,14
/proc/7878/stat : 7878 (java) S 7877 7877 16913 0 -1 1077944320 15012 0 0 0 513 8 0 0 20 0 28 0 3913705 14133010432 38444 33554432000 4194304 4196468 140726531976016 140726531958560 140521973423863 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
/proc/7878/statm: 3450442 38444 3232 1 0 3437675 0
[pid=7878/tid=7879] ppid=7877 vsize=13801768 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7879/stat : 7879 (java) S 7877 7877 16913 0 -1 1077944384 6921 0 0 0 89 4 0 0 20 0 28 0 3913705 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521977664640 140521973434069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7881] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7881/stat : 7881 (java) S 7877 7877 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3913706 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521936529808 140521973434069 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7882] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7882/stat : 7882 (java) S 7877 7877 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3913706 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521571285264 140521973434069 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7883] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7883/stat : 7883 (java) S 7877 7877 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3913706 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521570232976 140521973434069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7884] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7884/stat : 7884 (java) S 7877 7877 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3913706 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521569180176 140521973434069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7885] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7885/stat : 7885 (java) S 7877 7877 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3913706 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521568127888 140521973434069 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7886] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7886/stat : 7886 (java) S 7877 7877 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3913706 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521567075088 140521973434069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7887] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7887/stat : 7887 (java) S 7877 7877 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3913706 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521566022800 140521973434069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7888] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7888/stat : 7888 (java) S 7877 7877 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3913706 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521564970000 140521973434069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7889] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7889/stat : 7889 (java) S 7877 7877 16913 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3913708 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521435682928 140521973435010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7890] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7890/stat : 7890 (java) S 7877 7877 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3913709 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521434628896 140521973434069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7891] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7891/stat : 7891 (java) S 7877 7877 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3913709 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521433576560 140521973434069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7892] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7892/stat : 7892 (java) S 7877 7877 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3913712 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521432524880 140521973442459 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7893] ppid=7877 vsize=13801768 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7893/stat : 7893 (java) R 7877 7877 16913 0 -1 4202560 1816 0 0 0 69 0 0 0 20 0 28 0 3913712 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521431471888 140521956891971 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7894] ppid=7877 vsize=13801768 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7894/stat : 7894 (java) R 7877 7877 16913 0 -1 4202560 1364 0 0 0 67 0 0 0 20 0 28 0 3913712 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521430406352 140521952904017 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7895] ppid=7877 vsize=13801768 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7895/stat : 7895 (java) R 7877 7877 16913 0 -1 4202560 1032 0 0 0 67 0 0 0 20 0 28 0 3913712 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521429354432 140521951827310 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7896] ppid=7877 vsize=13801768 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7896/stat : 7896 (java) S 7877 7877 16913 0 -1 1077944384 2202 0 0 0 66 0 0 0 20 0 28 0 3913712 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521428314864 140521973435010 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7897] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7897/stat : 7897 (java) S 7877 7877 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3913713 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521427261792 140521973434069 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7898] ppid=7877 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7898/stat : 7898 (java) S 7877 7877 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3913713 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521426209072 140521973435010 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7911] ppid=7877 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7911/stat : 7911 (java) R 7877 7877 16913 0 -1 4202560 58 0 0 0 17 0 0 0 20 0 28 0 3913802 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521418196072 140521615032141 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7912] ppid=7877 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7912/stat : 7912 (java) R 7877 7877 16913 0 -1 1077944384 48 0 0 0 15 0 0 0 20 0 28 0 3913802 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521417141280 140521973434069 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7913] ppid=7877 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7913/stat : 7913 (java) R 7877 7877 16913 0 -1 4202560 43 0 0 0 22 0 0 0 20 0 28 0 3913802 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521416091600 140521615005660 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7914] ppid=7877 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7914/stat : 7914 (java) R 7877 7877 16913 0 -1 4202560 67 0 0 0 19 0 0 0 20 0 28 0 3913802 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521415039128 140521614825299 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7915] ppid=7877 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7915/stat : 7915 (java) R 7877 7877 16913 0 -1 4202560 50 0 0 0 19 0 0 0 20 0 28 0 3913802 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521413986744 140521614761180 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7916] ppid=7877 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7916/stat : 7916 (java) R 7877 7877 16913 0 -1 4202560 33 0 0 0 23 0 0 0 20 0 28 0 3913802 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521412932376 140521615228901 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7917] ppid=7877 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7917/stat : 7917 (java) R 7877 7877 16913 0 -1 4202560 31 0 0 0 19 0 0 0 20 0 28 0 3913802 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521411878464 140521615275209 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
[pid=7878/tid=7918] ppid=7877 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/7878/task/7918/stat : 7918 (java) R 7877 7877 16913 0 -1 4202560 33 0 0 0 14 0 0 0 20 0 28 0 3913802 14133010432 38444 33554432000 4194304 4196468 140726531976016 140521410829288 140521614915829 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140726531982524 140726531982700 140726531982700 140726531985359 0
Current children cumulated CPU time (s) 5.21
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 1.36696
CPU time (s): 5.59782
CPU user time (s): 5.50614
CPU system time (s): 0.091678
CPU usage (%): 409.508
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.50614
system time used= 0.091678
maximum resident set size= 159152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15646
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3016
involuntary context switches= 601
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.011865 second user time and 0.025709 second system time
The end