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-4256499-1501630228/watcher-4256499-1501630228 -o /tmp/evaluation-result-4256499-1501630228/solver-4256499-1501630228 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501623086-29847 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1892351539 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256499-1501630228.xml
pid=3107
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 1.51 1.56 1.64 1/181 3110
/proc/meminfo: memFree=31774240/32770624 swapFree=0/227116
[pid=3110] ppid=3107 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/3110/stat : 3110 (runsolver) D 3107 3110 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 62676319 24240128 106 18446744073709551615 4194304 4338465 140734136833552 140734136831192 140264952066775 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 19132416 140734136840297 140734136840773 140734136840773 140734136844234 0
/proc/3110/statm: 5918 106 53 36 0 2156 0
[startup+0.100061 s]
/proc/loadavg: 1.51 1.56 1.64 1/181 3110
/proc/meminfo: memFree=31774240/32770624 swapFree=0/227116
[pid=3110] ppid=3107 vsize=356952 CPUtime=0 cores=0,2,4,6
/proc/3110/stat : 3110 (java) S 3107 3110 18930 0 -1 1077944320 1733 0 0 0 0 0 0 0 20 0 2 0 62676319 365518848 1882 18446744073709551615 4194304 4196468 140732484349184 140732484331728 140490880511735 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
/proc/3110/statm: 89238 1882 1032 1 0 79216 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 356952
[startup+0.200371 s]
/proc/loadavg: 1.51 1.56 1.64 1/181 3110
/proc/meminfo: memFree=31774240/32770624 swapFree=0/227116
[pid=3110] ppid=3107 vsize=13906484 CPUtime=0.06 cores=0,2,4,6
/proc/3110/stat : 3110 (java) S 3107 3110 18930 0 -1 1077944320 4875 0 0 0 5 1 0 0 20 0 14 0 62676319 14240239616 5428 18446744073709551615 4194304 4196468 140732484349184 140732484331728 140490880511735 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
/proc/3110/statm: 3476621 5428 2568 1 0 3466126 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13906484
[startup+0.300328 s]
/proc/loadavg: 1.51 1.56 1.64 1/181 3110
/proc/meminfo: memFree=31774240/32770624 swapFree=0/227116
[pid=3110] ppid=3107 vsize=13906484 CPUtime=0.06 cores=0,2,4,6
/proc/3110/stat : 3110 (java) S 3107 3110 18930 0 -1 1077944320 4875 0 0 0 5 1 0 0 20 0 14 0 62676319 14240239616 5428 18446744073709551615 4194304 4196468 140732484349184 140732484331728 140490880511735 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
/proc/3110/statm: 3476621 5428 2568 1 0 3466126 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13906484
[startup+0.700305 s]
/proc/loadavg: 1.51 1.56 1.64 1/181 3110
/proc/meminfo: memFree=31774240/32770624 swapFree=0/227116
[pid=3110] ppid=3107 vsize=13975940 CPUtime=0.67 cores=0,2,4,6
/proc/3110/stat : 3110 (java) S 3107 3110 18930 0 -1 1077944320 13037 0 0 0 64 3 0 0 20 0 15 0 62676319 14311362560 14265 18446744073709551615 4194304 4196468 140732484349184 140732484331728 140490880511735 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
/proc/3110/statm: 3493985 14265 3705 1 0 3482767 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 13975940
[startup+1.51114 s]
/proc/loadavg: 1.51 1.56 1.64 6/214 3162
/proc/meminfo: memFree=31664664/32770624 swapFree=0/227132
[pid=3110] ppid=3107 vsize=13980036 CPUtime=2.85 cores=0,2,4,6
/proc/3110/stat : 3110 (java) S 3107 3110 18930 0 -1 1077944320 26587 0 0 0 277 8 0 0 20 0 15 0 62676319 14315556864 31301 18446744073709551615 4194304 4196468 140732484349184 140732484331728 140490880511735 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
/proc/3110/statm: 3495009 31301 3738 1 0 3483791 0
[pid=3110/tid=3115] ppid=3107 vsize=13980036 CPUtime=1.19 cores=0,2,4,6
/proc/3110/task/3115/stat : 3115 (java) R 3107 3110 18930 0 -1 4202560 13442 0 0 0 114 5 0 0 20 0 15 0 62676329 14315556864 31301 18446744073709551615 4194304 4196468 140732484349184 140490884748952 140490880523670 0 4 1 16800974 0 0 0 -1 4 0 0 19 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3116] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3116/stat : 3116 (java) S 3107 3110 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62676329 14315556864 31301 18446744073709551615 4194304 4196468 140732484349184 140490799925648 140490880521941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3117] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3117/stat : 3117 (java) S 3107 3110 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62676329 14315556864 31301 18446744073709551615 4194304 4196468 140732484349184 140490798872848 140490880521941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3118] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3118/stat : 3118 (java) S 3107 3110 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62676329 14315556864 31301 18446744073709551615 4194304 4196468 140732484349184 140490797820560 140490880521941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3119] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3119/stat : 3119 (java) S 3107 3110 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62676329 14315556864 31301 18446744073709551615 4194304 4196468 140732484349184 140490477398544 140490880521941 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3120] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3120/stat : 3120 (java) S 3107 3110 18930 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 62676331 14315556864 31301 18446744073709551615 4194304 4196468 140732484349184 140489797630576 140490880522882 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3121] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3121/stat : 3121 (java) S 3107 3110 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62676331 14315556864 31301 18446744073709551615 4194304 4196468 140732484349184 140489796576544 140490880521941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3122] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3122/stat : 3122 (java) S 3107 3110 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62676331 14315556864 31301 18446744073709551615 4194304 4196468 140732484349184 140489795524208 140490880521941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3126] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3126/stat : 3126 (java) S 3107 3110 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62676334 14315556864 31301 18446744073709551615 4194304 4196468 140732484349184 140489794472528 140490880530331 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3127] ppid=3107 vsize=13980036 CPUtime=0.62 cores=0,2,4,6
/proc/3110/task/3127/stat : 3127 (java) R 3107 3110 18930 0 -1 4202560 5903 0 0 0 62 0 0 0 20 0 15 0 62676334 14315556864 31301 18446744073709551615 4194304 4196468 140732484349184 140489793405472 140490860173728 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3128] ppid=3107 vsize=13980036 CPUtime=0.65 cores=0,2,4,6
/proc/3110/task/3128/stat : 3128 (java) R 3107 3110 18930 0 -1 4202560 3741 0 0 0 65 0 0 0 20 0 15 0 62676334 14315556864 31301 18446744073709551615 4194304 4196468 140732484349184 140489792352600 140490862029672 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3129] ppid=3107 vsize=13980036 CPUtime=0.35 cores=0,2,4,6
/proc/3110/task/3129/stat : 3129 (java) S 3107 3110 18930 0 -1 1077944384 2110 0 0 0 34 1 0 0 20 0 15 0 62676334 14315556864 31301 18446744073709551615 4194304 4196468 140732484349184 140489791314288 140490880522882 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3130] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3130/stat : 3130 (java) S 3107 3110 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62676334 14315556864 31301 18446744073709551615 4194304 4196468 140732484349184 140489319770592 140490880521941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3133] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3133/stat : 3133 (java) S 3107 3110 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62676354 14315556864 31301 18446744073709551615 4194304 4196468 140732484349184 140489318718384 140490880522882 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 13980036
[startup+3.10074 s]
/proc/loadavg: 1.63 1.59 1.65 2/199 3177
/proc/meminfo: memFree=31627416/32770624 swapFree=0/227136
[pid=3110] ppid=3107 vsize=13980036 CPUtime=5.2 cores=0,2,4,6
/proc/3110/stat : 3110 (java) S 3107 3110 18930 0 -1 1077944320 30135 0 0 0 509 11 0 0 20 0 15 0 62676319 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140732484331728 140490880511735 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
/proc/3110/statm: 3495009 52626 3769 1 0 3483791 0
[pid=3110/tid=3115] ppid=3107 vsize=13980036 CPUtime=2.78 cores=0,2,4,6
/proc/3110/task/3115/stat : 3115 (java) R 3107 3110 18930 0 -1 4202560 13764 0 0 0 271 7 0 0 20 0 15 0 62676329 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140490884749888 140490482174428 0 4 1 16800974 0 0 0 -1 4 0 0 19 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3116] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3116/stat : 3116 (java) S 3107 3110 18930 0 -1 1077944384 360 0 0 0 0 0 0 0 20 0 15 0 62676329 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140490799925648 140490880521941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3117] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3117/stat : 3117 (java) S 3107 3110 18930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 62676329 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140490798872848 140490880521941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3118] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3118/stat : 3118 (java) S 3107 3110 18930 0 -1 1077944384 383 0 0 0 0 0 0 0 20 0 15 0 62676329 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140490797820560 140490880521941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3119] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3119/stat : 3119 (java) S 3107 3110 18930 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 62676329 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140490477398544 140490880521941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3120] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3120/stat : 3120 (java) S 3107 3110 18930 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 15 0 62676331 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140489797630576 140490880522882 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3121] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3121/stat : 3121 (java) S 3107 3110 18930 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 62676331 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140489796576608 140490880521941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3122] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3122/stat : 3122 (java) S 3107 3110 18930 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 62676331 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140489795524224 140490880521941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3126] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3126/stat : 3126 (java) S 3107 3110 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62676334 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140489794472528 140490880530331 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3127] ppid=3107 vsize=13980036 CPUtime=0.99 cores=0,2,4,6
/proc/3110/task/3127/stat : 3127 (java) S 3107 3110 18930 0 -1 1077944384 6284 0 0 0 99 0 0 0 20 0 15 0 62676334 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140489793419376 140490880522882 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3128] ppid=3107 vsize=13980036 CPUtime=0.99 cores=0,2,4,6
/proc/3110/task/3128/stat : 3128 (java) S 3107 3110 18930 0 -1 1077944384 3948 0 0 0 99 0 0 0 20 0 15 0 62676334 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140489792366576 140490880522882 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3129] ppid=3107 vsize=13980036 CPUtime=0.38 cores=0,2,4,6
/proc/3110/task/3129/stat : 3129 (java) S 3107 3110 18930 0 -1 1077944384 3533 0 0 0 37 1 0 0 20 0 15 0 62676334 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140489791314288 140490880522882 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3130] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3130/stat : 3130 (java) S 3107 3110 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62676334 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140489319770592 140490880521941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3133] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3133/stat : 3133 (java) S 3107 3110 18930 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 62676354 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140489318718384 140490880522882 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
Current children cumulated CPU time (s) 5.2
Current children cumulated vsize (KiB) 13980036
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 3110 sig 9
??? end of watcher thread
??? end of watcher thrSolver just ended.
Dumping a history of the last processes samples
[startup+3.10074 s]
/proc/loadavg: 1.63 1.59 1.65 2/199 3177
/proc/meminfo: memFree=31627416/32770624 swapFree=0/227136
[pid=3110] ppid=3107 vsize=13980036 CPUtime=5.2 cores=0,2,4,6
/proc/3110/stat : 3110 (java) S 3107 3110 18930 0 -1 1077944320 30135 0 0 0 509 11 0 0 20 0 15 0 62676319 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140732484331728 140490880511735 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
/proc/3110/statm: 3495009 52626 3769 1 0 3483791 0
[pid=3110/tid=3115] ppid=3107 vsize=13980036 CPUtime=2.78 cores=0,2,4,6
/proc/3110/task/3115/stat : 3115 (java) R 3107 3110 18930 0 -1 4202560 13764 0 0 0 271 7 0 0 20 0 15 0 62676329 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140490884749888 140490482174428 0 4 1 16800974 0 0 0 -1 4 0 0 19 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3116] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3116/stat : 3116 (java) S 3107 3110 18930 0 -1 1077944384 360 0 0 0 0 0 0 0 20 0 15 0 62676329 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140490799925648 140490880521941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3117] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3117/stat : 3117 (java) S 3107 3110 18930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 62676329 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140490798872848 140490880521941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3118] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3118/stat : 3118 (java) S 3107 3110 18930 0 -1 1077944384 383 0 0 0 0 0 0 0 20 0 15 0 62676329 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140490797820560 140490880521941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3119] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3119/stat : 3119 (java) S 3107 3110 18930 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 62676329 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140490477398544 140490880521941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3120] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3120/stat : 3120 (java) S 3107 3110 18930 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 15 0 62676331 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140489797630576 140490880522882 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3121] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3121/stat : 3121 (java) S 3107 3110 18930 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 62676331 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140489796576608 140490880521941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3122] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3122/stat : 3122 (java) S 3107 3110 18930 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 62676331 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140489795524224 140490880521941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3126] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3126/stat : 3126 (java) S 3107 3110 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62676334 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140489794472528 140490880530331 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3127] ppid=3107 vsize=13980036 CPUtime=0.99 cores=0,2,4,6
/proc/3110/task/3127/stat : 3127 (java) S 3107 3110 18930 0 -1 1077944384 6284 0 0 0 99 0 0 0 20 0 15 0 62676334 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140489793419376 140490880522882 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3128] ppid=3107 vsize=13980036 CPUtime=0.99 cores=0,2,4,6
/proc/3110/task/3128/stat : 3128 (java) S 3107 3110 18930 0 -1 1077944384 3948 0 0 0 99 0 0 0 20 0 15 0 62676334 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140489792366576 140490880522882 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3129] ppid=3107 vsize=13980036 CPUtime=0.38 cores=0,2,4,6
/proc/3110/task/3129/stat : 3129 (java) S 3107 3110 18930 0 -1 1077944384 3533 0 0 0 37 1 0 0 20 0 15 0 62676334 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140489791314288 140490880522882 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3130] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3130/stat : 3130 (java) S 3107 3110 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62676334 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140489319770592 140490880521941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
[pid=3110/tid=3133] ppid=3107 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/3110/task/3133/stat : 3133 (java) S 3107 3110 18930 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 62676354 14315556864 52626 18446744073709551615 4194304 4196468 140732484349184 140489318718384 140490880522882 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140732484354452 140732484354634 140732484354634 140732484358095 0
Current children cumulated CPU time (s) 5.2
Current children cumulated vsize (KiB) 13980036
Child status: 0
Real time (s): 3.55117
CPU time (s): 5.66717
CPU user time (s): 5.55066
CPU system time (s): 0.116504
CPU usage (%): 159.586
Max. virtual memory (cumulated for all children) (KiB): 13980036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.55066
system time used= 0.116504
maximum resident set size= 212936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30641
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2192
involuntary context switches= 25
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.021522 second user time and 0.030584 second system time
The end