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-4245906-1500686430/watcher-4245906-1500686430 -o /tmp/evaluation-result-4245906-1500686430/solver-4245906-1500686430 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16945 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1610427888 HOME/instance-4245906-1500686430.xml
pid=7083
running on 8 cores: 1,3,5,7,9,11,13,15
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: 14.67 15.43 15.19 11/275 7086
/proc/meminfo: memFree=31189180/32770624 swapFree=5900/228476
[pid=7086] ppid=7083 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7086/stat : 7086 (xcsp3-exec) S 7083 7086 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3909940 9740288 345 33554432000 4194304 5098028 140730523339632 140730523337736 140346990277244 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 15646720 140730523346062 140730523346272 140730523346272 140730523348971 0
/proc/7086/statm: 2378 345 289 221 0 87 0
[startup+0.100103 s]
/proc/loadavg: 14.67 15.43 15.19 11/275 7086
/proc/meminfo: memFree=31189180/32770624 swapFree=5900/228476
[pid=7086] ppid=7083 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7086/stat : 7086 (xcsp3-exec) S 7083 7086 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3909940 9740288 345 33554432000 4194304 5098028 140730523339632 140730523337736 140346990277244 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 15646720 140730523346062 140730523346272 140730523346272 140730523348971 0
/proc/7086/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20028 s]
/proc/loadavg: 14.67 15.43 15.19 11/275 7086
/proc/meminfo: memFree=31189180/32770624 swapFree=5900/228476
[pid=7086] ppid=7083 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7086/stat : 7086 (xcsp3-exec) S 7083 7086 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3909940 9740288 345 33554432000 4194304 5098028 140730523339632 140730523337736 140346990277244 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 15646720 140730523346062 140730523346272 140730523346272 140730523348971 0
/proc/7086/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300246 s]
/proc/loadavg: 14.67 15.43 15.19 11/275 7086
/proc/meminfo: memFree=31189180/32770624 swapFree=5900/228476
[pid=7086] ppid=7083 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7086/stat : 7086 (xcsp3-exec) S 7083 7086 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3909940 9740288 345 33554432000 4194304 5098028 140730523339632 140730523337736 140346990277244 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 15646720 140730523346062 140730523346272 140730523346272 140730523348971 0
/proc/7086/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70023 s]
/proc/loadavg: 14.67 15.43 15.19 11/275 7086
/proc/meminfo: memFree=31189180/32770624 swapFree=5900/228476
[pid=7086] ppid=7083 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7086/stat : 7086 (xcsp3-exec) S 7083 7086 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3909940 9740288 345 33554432000 4194304 5098028 140730523339632 140730523337736 140346990277244 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 15646720 140730523346062 140730523346272 140730523346272 140730523348971 0
/proc/7086/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50129 s]
/proc/loadavg: 14.67 15.43 15.19 13/296 7107
/proc/meminfo: memFree=31023908/32770624 swapFree=5900/228852
[pid=7086] ppid=7083 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7086/stat : 7086 (xcsp3-exec) S 7083 7086 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3909940 9740288 345 33554432000 4194304 5098028 140730523339632 140730523337736 140346990277244 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 15646720 140730523346062 140730523346272 140730523346272 140730523348971 0
/proc/7086/statm: 2378 345 289 221 0 87 0
[pid=7087] ppid=7086 vsize=13269256 CPUtime=5.57 cores=1,3,5,7,9,11,13,15
/proc/7087/stat : 7087 (java) S 7086 7086 16913 0 -1 1077944320 23970 0 0 0 536 21 0 0 20 0 20 0 3909940 13587718144 61793 33554432000 4194304 4196468 140727817470656 140727817453200 139624790007543 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
/proc/7087/statm: 3317314 61793 3245 1 0 3304547 0
[pid=7087/tid=7088] ppid=7086 vsize=13269256 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7088/stat : 7088 (java) R 7086 7086 16913 0 -1 4202560 6877 0 0 0 135 5 0 0 20 0 20 0 3909941 13587718144 61793 33554432000 4194304 4196468 140727817470656 139624794242760 139624431672413 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7090] ppid=7086 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7090/stat : 7090 (java) S 7086 7086 16913 0 -1 1077944384 47 0 0 0 2 1 0 0 20 0 20 0 3909942 13587718144 61793 33554432000 4194304 4196468 140727817470656 139624757565712 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7091] ppid=7086 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7091/stat : 7091 (java) S 7086 7086 16913 0 -1 1077944384 111 0 0 0 2 1 0 0 20 0 20 0 3909942 13587718144 61793 33554432000 4194304 4196468 140727817470656 139624388430224 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7092] ppid=7086 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7092/stat : 7092 (java) S 7086 7086 16913 0 -1 1077944384 55 0 0 0 2 0 0 0 20 0 20 0 3909942 13587718144 61793 33554432000 4194304 4196468 140727817470656 139624387377680 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7093] ppid=7086 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7093/stat : 7093 (java) S 7086 7086 16913 0 -1 1077944384 88 0 0 0 3 1 0 0 20 0 20 0 3909942 13587718144 61793 33554432000 4194304 4196468 140727817470656 139624386325136 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7094] ppid=7086 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7094/stat : 7094 (java) S 7086 7086 16913 0 -1 1077944384 41 0 0 0 2 1 0 0 20 0 20 0 3909942 13587718144 61793 33554432000 4194304 4196468 140727817470656 139624385272592 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7095] ppid=7086 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7095/stat : 7095 (java) S 7086 7086 16913 0 -1 1077944384 33 0 0 0 2 1 0 0 20 0 20 0 3909942 13587718144 61793 33554432000 4194304 4196468 140727817470656 139624384220048 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7096] ppid=7086 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7096/stat : 7096 (java) S 7086 7086 16913 0 -1 1077944384 203 0 0 0 4 2 0 0 20 0 20 0 3909942 13587718144 61793 33554432000 4194304 4196468 140727817470656 139624383167504 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7097] ppid=7086 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7097/stat : 7097 (java) S 7086 7086 16913 0 -1 1077944384 20 0 0 0 2 0 0 0 20 0 20 0 3909942 13587718144 61793 33554432000 4194304 4196468 140727817470656 139624382114960 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7098] ppid=7086 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7098/stat : 7098 (java) S 7086 7086 16913 0 -1 1077944384 181 0 0 0 0 0 0 0 20 0 20 0 3909944 13587718144 61793 33554432000 4194304 4196468 140727817470656 139624252319728 139624790018690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7099] ppid=7086 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7099/stat : 7099 (java) S 7086 7086 16913 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 3909945 13587718144 61793 33554432000 4194304 4196468 140727817470656 139624251266016 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7100] ppid=7086 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7100/stat : 7100 (java) S 7086 7086 16913 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 3909945 13587718144 61793 33554432000 4194304 4196468 140727817470656 139624250213376 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7101] ppid=7086 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7101/stat : 7101 (java) S 7086 7086 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3909949 13587718144 61793 33554432000 4194304 4196468 140727817470656 139624249161936 139624790026139 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7102] ppid=7086 vsize=13269256 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7102/stat : 7102 (java) R 7086 7086 16913 0 -1 4202560 3839 0 0 0 106 1 0 0 20 0 20 0 3909949 13587718144 61793 33554432000 4194304 4196468 140727817470656 139624248095648 139624776331918 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7103] ppid=7086 vsize=13269256 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7103/stat : 7103 (java) R 7086 7086 16913 0 -1 4202560 3885 0 0 0 103 1 0 0 20 0 20 0 3909949 13587718144 61793 33554432000 4194304 4196468 140727817470656 139624247043032 139624769246016 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7104] ppid=7086 vsize=13269256 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7104/stat : 7104 (java) R 7086 7086 16913 0 -1 4202560 3645 0 0 0 104 0 0 0 20 0 20 0 3909949 13587718144 61793 33554432000 4194304 4196468 140727817470656 139624245991008 139624782296997 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7105] ppid=7086 vsize=13269256 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7105/stat : 7105 (java) S 7086 7086 16913 0 -1 1077944384 3602 0 0 0 62 1 0 0 20 0 20 0 3909949 13587718144 61793 33554432000 4194304 4196468 140727817470656 139624244951920 139624790018690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7106] ppid=7086 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7106/stat : 7106 (java) S 7086 7086 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3909949 13587718144 61793 33554432000 4194304 4196468 140727817470656 139624243898592 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7107] ppid=7086 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7107/stat : 7107 (java) S 7086 7086 16913 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 3909949 13587718144 61793 33554432000 4194304 4196468 140727817470656 139624242846128 139624790018690 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
Current children cumulated CPU time (s) 5.57
Current children cumulated vsize (KiB) 13278768
[startup+3.10119 s]
/proc/loadavg: 14.67 15.43 15.19 10/296 7107
/proc/meminfo: memFree=30782160/32770624 swapFree=5900/228852
[pid=7086] ppid=7083 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7086/stat : 7086 (xcsp3-exec) S 7083 7086 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3909940 9740288 345 33554432000 4194304 5098028 140730523339632 140730523337736 140346990277244 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 15646720 140730523346062 140730523346272 140730523346272 140730523348971 0
/proc/7086/statm: 2378 345 289 221 0 87 0
[pid=7087] ppid=7086 vsize=13801768 CPUtime=12 cores=1,3,5,7,9,11,13,15
/proc/7087/stat : 7087 (java) S 7086 7086 16913 0 -1 1077944320 28467 0 0 0 1111 89 0 0 20 0 28 0 3909940 14133010432 146999 33554432000 4194304 4196468 140727817470656 140727817453200 139624790007543 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
/proc/7087/statm: 3450442 146999 3250 1 0 3437675 0
[pid=7087/tid=7088] ppid=7086 vsize=13801768 CPUtime=2.49 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7088/stat : 7088 (java) S 7086 7086 16913 0 -1 1077944384 8292 0 0 0 241 8 0 0 20 0 28 0 3909941 14133010432 146999 33554432000 4194304 4196468 140727817470656 139624794248320 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7090] ppid=7086 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7090/stat : 7090 (java) S 7086 7086 16913 0 -1 1077944384 142 0 0 0 9 9 0 0 20 0 28 0 3909942 14133010432 146999 33554432000 4194304 4196468 140727817470656 139624757565712 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7091] ppid=7086 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7091/stat : 7091 (java) S 7086 7086 16913 0 -1 1077944384 240 0 0 0 11 9 0 0 20 0 28 0 3909942 14133010432 146999 33554432000 4194304 4196468 140727817470656 139624388430224 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7092] ppid=7086 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7092/stat : 7092 (java) S 7086 7086 16913 0 -1 1077944384 155 0 0 0 10 9 0 0 20 0 28 0 3909942 14133010432 146999 33554432000 4194304 4196468 140727817470656 139624387377680 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7093] ppid=7086 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7093/stat : 7093 (java) S 7086 7086 16913 0 -1 1077944384 629 0 0 0 12 9 0 0 20 0 28 0 3909942 14133010432 146999 33554432000 4194304 4196468 140727817470656 139624386325136 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7094] ppid=7086 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7094/stat : 7094 (java) S 7086 7086 16913 0 -1 1077944384 127 0 0 0 11 9 0 0 20 0 28 0 3909942 14133010432 146999 33554432000 4194304 4196468 140727817470656 139624385272592 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7095] ppid=7086 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7095/stat : 7095 (java) S 7086 7086 16913 0 -1 1077944384 122 0 0 0 9 9 0 0 20 0 28 0 3909942 14133010432 146999 33554432000 4194304 4196468 140727817470656 139624384220048 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7096] ppid=7086 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7096/stat : 7096 (java) S 7086 7086 16913 0 -1 1077944384 282 0 0 0 11 9 0 0 20 0 28 0 3909942 14133010432 146999 33554432000 4194304 4196468 140727817470656 139624383167504 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7097] ppid=7086 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7097/stat : 7097 (java) S 7086 7086 16913 0 -1 1077944384 84 0 0 0 9 8 0 0 20 0 28 0 3909942 14133010432 146999 33554432000 4194304 4196468 140727817470656 139624382114960 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7098] ppid=7086 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7098/stat : 7098 (java) S 7086 7086 16913 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 28 0 3909944 14133010432 146999 33554432000 4194304 4196468 140727817470656 139624252319728 139624790018690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7099] ppid=7086 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7099/stat : 7099 (java) S 7086 7086 16913 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3909945 14133010432 146999 33554432000 4194304 4196468 140727817470656 139624251266016 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7100] ppid=7086 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7100/stat : 7100 (java) S 7086 7086 16913 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3909945 14133010432 146999 33554432000 4194304 4196468 140727817470656 139624250213376 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7101] ppid=7086 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7101/stat : 7101 (java) S 7086 7086 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3909949 14133010432 146999 33554432000 4194304 4196468 140727817470656 139624249161936 139624790026139 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7102] ppid=7086 vsize=13801768 CPUtime=1.77 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7102/stat : 7102 (java) R 7086 7086 16913 0 -1 4202560 4049 0 0 0 176 1 0 0 20 0 28 0 3909949 14133010432 146999 33554432000 4194304 4196468 140727817470656 139624248096096 139624771528779 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7103] ppid=7086 vsize=13801768 CPUtime=1.84 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7103/stat : 7103 (java) R 7086 7086 16913 0 -1 4202560 4375 0 0 0 183 1 0 0 20 0 28 0 3909949 14133010432 146999 33554432000 4194304 4196468 140727817470656 139624247042768 139624767754984 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7104] ppid=7086 vsize=13801768 CPUtime=1.71 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7104/stat : 7104 (java) R 7086 7086 16913 0 -1 4202560 3815 0 0 0 171 0 0 0 20 0 28 0 3909949 14133010432 146999 33554432000 4194304 4196468 140727817470656 139624246003600 139624770708715 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7105] ppid=7086 vsize=13801768 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7105/stat : 7105 (java) S 7086 7086 16913 0 -1 1077944384 4045 0 0 0 83 1 0 0 20 0 28 0 3909949 14133010432 146999 33554432000 4194304 4196468 140727817470656 139624244951920 139624790018690 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7106] ppid=7086 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7106/stat : 7106 (java) S 7086 7086 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3909949 14133010432 146999 33554432000 4194304 4196468 140727817470656 139624243898592 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7107] ppid=7086 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7107/stat : 7107 (java) S 7086 7086 16913 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 3909949 14133010432 146999 33554432000 4194304 4196468 140727817470656 139624242846128 139624790018690 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
Current children cumulated CPU time (s) 12
Current children cumulated vsize (KiB) 13811280
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7087 sig 9
??? kill 7086 sig 9
??? kill -7086 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20161 s]
/proc/loadavg: 14.67 15.43 15.19 10/296 7107
/proc/meminfo: memFree=30782160/32770624 swapFree=5900/228852
[pid=7086] ppid=7083 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7086/stat : 7086 (xcsp3-exec) S 7083 7086 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3909940 9740288 345 33554432000 4194304 5098028 140730523339632 140730523337736 140346990277244 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 15646720 140730523346062 140730523346272 140730523346272 140730523348971 0
/proc/7086/statm: 2378 345 289 221 0 87 0
[pid=7087] ppid=7086 vsize=13801768 CPUtime=12.8 cores=1,3,5,7,9,11,13,15
/proc/7087/stat : 7087 (java) S 7086 7086 16913 0 -1 1077944320 28671 0 0 0 1191 89 0 0 20 0 28 0 3909940 14133010432 147222 33554432000 4194304 4196468 140727817470656 140727817453200 139624790007543 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
/proc/7087/statm: 3450442 147222 3250 1 0 3437675 0
[pid=7087/tid=7088] ppid=7086 vsize=13801768 CPUtime=2.49 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7088/stat : 7088 (java) S 7086 7086 16913 0 -1 1077944384 8292 0 0 0 241 8 0 0 20 0 28 0 3909941 14133010432 147222 33554432000 4194304 4196468 140727817470656 139624794248320 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7090] ppid=7086 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7090/stat : 7090 (java) S 7086 7086 16913 0 -1 1077944384 142 0 0 0 9 9 0 0 20 0 28 0 3909942 14133010432 147222 33554432000 4194304 4196468 140727817470656 139624757565712 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7091] ppid=7086 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7091/stat : 7091 (java) S 7086 7086 16913 0 -1 1077944384 240 0 0 0 11 9 0 0 20 0 28 0 3909942 14133010432 147222 33554432000 4194304 4196468 140727817470656 139624388430224 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7092] ppid=7086 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7092/stat : 7092 (java) S 7086 7086 16913 0 -1 1077944384 155 0 0 0 10 9 0 0 20 0 28 0 3909942 14133010432 147222 33554432000 4194304 4196468 140727817470656 139624387377680 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7093] ppid=7086 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7093/stat : 7093 (java) S 7086 7086 16913 0 -1 1077944384 629 0 0 0 12 9 0 0 20 0 28 0 3909942 14133010432 147222 33554432000 4194304 4196468 140727817470656 139624386325136 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7094] ppid=7086 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7094/stat : 7094 (java) S 7086 7086 16913 0 -1 1077944384 127 0 0 0 11 9 0 0 20 0 28 0 3909942 14133010432 147222 33554432000 4194304 4196468 140727817470656 139624385272592 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7095] ppid=7086 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7095/stat : 7095 (java) S 7086 7086 16913 0 -1 1077944384 122 0 0 0 9 9 0 0 20 0 28 0 3909942 14133010432 147222 33554432000 4194304 4196468 140727817470656 139624384220048 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7096] ppid=7086 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7096/stat : 7096 (java) S 7086 7086 16913 0 -1 1077944384 282 0 0 0 11 9 0 0 20 0 28 0 3909942 14133010432 147222 33554432000 4194304 4196468 140727817470656 139624383167504 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7097] ppid=7086 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
/proc/7087/task/7090/stat : 7090 (java) S 7086 7086 16913 0 -1 1077944384 142 0 0 0 9 9 0 0 20 0 28 0 3909942 14133010432 154107 33554432000 4194304 4196468 140727817470656 139624757565712 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7091] ppid=7086 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7091/stat : 7091 (java) S 7086 7086 16913 0 -1 1077944384 240 0 0 0 11 9 0 0 20 0 28 0 3909942 14133010432 154107 33554432000 4194304 4196468 140727817470656 139624388430224 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7092] ppid=7086 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7092/stat : 7092 (java) S 7086 7086 16913 0 -1 1077944384 155 0 0 0 10 9 0 0 20 0 28 0 3909942 14133010432 154107 33554432000 4194304 4196468 140727817470656 139624387377680 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7093] ppid=7086 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7093/stat : 7093 (java) S 7086 7086 16913 0 -1 1077944384 629 0 0 0 12 9 0 0 20 0 28 0 3909942 14133010432 154107 33554432000 4194304 4196468 140727817470656 139624386325136 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7094] ppid=7086 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7094/stat : 7094 (java) S 7086 7086 16913 0 -1 1077944384 127 0 0 0 11 9 0 0 20 0 28 0 3909942 14133010432 154107 33554432000 4194304 4196468 140727817470656 139624385272592 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7095] ppid=7086 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7095/stat : 7095 (java) S 7086 7086 16913 0 -1 1077944384 122 0 0 0 9 9 0 0 20 0 28 0 3909942 14133010432 154107 33554432000 4194304 4196468 140727817470656 139624384220048 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7096] ppid=7086 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7096/stat : 7096 (java) S 7086 7086 16913 0 -1 1077944384 282 0 0 0 11 9 0 0 20 0 28 0 3909942 14133010432 154107 33554432000 4194304 4196468 140727817470656 139624383167504 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7097] ppid=7086 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7097/stat : 7097 (java) S 7086 7086 16913 0 -1 1077944384 84 0 0 0 9 8 0 0 20 0 28 0 3909942 14133010432 154107 33554432000 4194304 4196468 140727817470656 139624382114960 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7098] ppid=7086 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7098/stat : 7098 (java) S 7086 7086 16913 0 -1 1077944384 452 0 0 0 1 0 0 0 20 0 28 0 3909944 14133010432 154107 33554432000 4194304 4196468 140727817470656 139624252319728 139624790018690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7099] ppid=7086 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7099/stat : 7099 (java) S 7086 7086 16913 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3909945 14133010432 154107 33554432000 4194304 4196468 140727817470656 139624251266016 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7100] ppid=7086 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7100/stat : 7100 (java) S 7086 7086 16913 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3909945 14133010432 154107 33554432000 4194304 4196468 140727817470656 139624250213376 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7101] ppid=7086 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7101/stat : 7101 (java) S 7086 7086 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3909949 14133010432 154107 33554432000 4194304 4196468 140727817470656 139624249161936 139624790026139 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7102] ppid=7086 vsize=13801768 CPUtime=1.98 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7102/stat : 7102 (java) R 7086 7086 16913 0 -1 4202560 4330 0 0 0 197 1 0 0 20 0 28 0 3909949 14133010432 154107 33554432000 4194304 4196468 140727817470656 139624248109552 139624774401419 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7103] ppid=7086 vsize=13801768 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7103/stat : 7103 (java) R 7086 7086 16913 0 -1 4202560 4875 0 0 0 209 2 0 0 20 0 28 0 3909949 14133010432 154107 33554432000 4194304 4196468 140727817470656 139624247057008 139624783113245 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7104] ppid=7086 vsize=13801768 CPUtime=2.19 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7104/stat : 7104 (java) R 7086 7086 16913 0 -1 4202560 4376 0 0 0 219 0 0 0 20 0 28 0 3909949 14133010432 154107 33554432000 4194304 4196468 140727817470656 139624246004464 139624774747941 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7105] ppid=7086 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7105/stat : 7105 (java) S 7086 7086 16913 0 -1 1077944384 4572 0 0 0 97 2 0 0 20 0 28 0 3909949 14133010432 154107 33554432000 4194304 4196468 140727817470656 139624244951920 139624790018690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7106] ppid=7086 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7106/stat : 7106 (java) S 7086 7086 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3909949 14133010432 154107 33554432000 4194304 4196468 140727817470656 139624243898592 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7107] ppid=7086 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7107/stat : 7107 (java) S 7086 7086 16913 0 -1 1077944384 782 0 0 0 0 0 0 0 20 0 28 0 3909949 14133010432 154107 33554432000 4194304 4196468 140727817470656 139624242846128 139624790018690 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7108] ppid=7086 vsize=13801768 CPUtime=2.23 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7108/stat : 7108 (java) R 7086 7086 16913 0 -1 4202560 145 0 0 0 223 0 0 0 20 0 28 0 3910216 14133010432 154107 33554432000 4194304 4196468 140727817470656 139624234831080 139624433958978 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7109] ppid=7086 vsize=13801768 CPUtime=2.15 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7109/stat : 7109 (java) R 7086 7086 16913 0 -1 4202560 84 0 0 0 215 0 0 0 20 0 28 0 3910216 14133010432 154107 33554432000 4194304 4196468 140727817470656 139624233779112 139624434516358 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7110] ppid=7086 vsize=13801768 CPUtime=2.14 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7110/stat : 7110 (java) R 7086 7086 16913 0 -1 4202560 137 0 0 0 214 0 0 0 20 0 28 0 3910216 14133010432 154107 33554432000 4194304 4196468 140727817470656 139624232726568 139624434169868 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7111] ppid=7086 vsize=13801768 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7111/stat : 7111 (java) R 7086 7086 16913 0 -1 4202560 293 0 0 0 201 0 0 0 20 0 28 0 3910216 14133010432 154107 33554432000 4194304 4196468 140727817470656 139624231674216 139624433958978 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7112] ppid=7086 vsize=13801768 CPUtime=2.05 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7112/stat : 7112 (java) R 7086 7086 16913 0 -1 4202560 117 0 0 0 205 0 0 0 20 0 28 0 3910216 14133010432 154107 33554432000 4194304 4196468 140727817470656 139624230621480 139624434082362 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7113] ppid=7086 vsize=13801768 CPUtime=2.18 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7113/stat : 7113 (java) R 7086 7086 16913 0 -1 4202560 154 0 0 0 218 0 0 0 20 0 28 0 3910216 14133010432 154107 33554432000 4194304 4196468 140727817470656 139624229569480 139624433861719 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7114] ppid=7086 vsize=13801768 CPUtime=2.23 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7114/stat : 7114 (java) R 7086 7086 16913 0 -1 4202560 71 0 0 0 223 0 0 0 20 0 28 0 3910216 14133010432 154107 33554432000 4194304 4196468 140727817470656 139624228515512 139624433861567 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7115] ppid=7086 vsize=13801768 CPUtime=2.19 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7115/stat : 7115 (java) R 7086 7086 16913 0 -1 4202560 284 0 0 0 219 0 0 0 20 0 28 0 3910216 14133010432 154107 33554432000 4194304 4196468 140727817470656 139624227463592 139624434054870 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
Current children cumulated CPU time (s) 28.66
Current children cumulated vsize (KiB) 13811280
[startup+5.40151 s]
/proc/loadavg: 14.70 15.42 15.18 17/304 7115
/proc/meminfo: memFree=30595788/32770624 swapFree=5900/228860
[pid=7086] ppid=7083 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7086/stat : 7086 (xcsp3-exec) S 7083 7086 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3909940 9740288 345 33554432000 4194304 5098028 140730523339632 140730523337736 140346990277244 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 15646720 140730523346062 140730523346272 140730523346272 140730523348971 0
/proc/7086/statm: 2378 345 289 221 0 87 0
[pid=7087] ppid=7086 vsize=13801768 CPUtime=30.26 cores=1,3,5,7,9,11,13,15
/proc/7087/stat : 7087 (java) S 7086 7086 16913 0 -1 1077944320 35996 0 0 0 2935 91 0 0 20 0 28 0 3909940 14133010432 155152 33554432000 4194304 4196468 140727817470656 140727817453200 139624790007543 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
/proc/7087/statm: 3450442 155152 3281 1 0 3437675 0
[pid=7087/tid=7088] ppid=7086 vsize=13801768 CPUtime=2.49 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7088/stat : 7088 (java) S 7086 7086 16913 0 -1 1077944384 8292 0 0 0 241 8 0 0 20 0 28 0 3909941 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624794248320 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7090] ppid=7086 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7090/stat : 7090 (java) S 7086 7086 16913 0 -1 1077944384 142 0 0 0 9 9 0 0 20 0 28 0 3909942 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624757565712 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7091] ppid=7086 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7091/stat : 7091 (java) S 7086 7086 16913 0 -1 1077944384 240 0 0 0 11 9 0 0 20 0 28 0 3909942 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624388430224 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7092] ppid=7086 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7092/stat : 7092 (java) S 7086 7086 16913 0 -1 1077944384 155 0 0 0 10 9 0 0 20 0 28 0 3909942 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624387377680 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7093] ppid=7086 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7093/stat : 7093 (java) S 7086 7086 16913 0 -1 1077944384 629 0 0 0 12 9 0 0 20 0 28 0 3909942 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624386325136 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7094] ppid=7086 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7094/stat : 7094 (java) S 7086 7086 16913 0 -1 1077944384 127 0 0 0 11 9 0 0 20 0 28 0 3909942 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624385272592 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7095] ppid=7086 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7095/stat : 7095 (java) S 7086 7086 16913 0 -1 1077944384 122 0 0 0 9 9 0 0 20 0 28 0 3909942 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624384220048 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7096] ppid=7086 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7096/stat : 7096 (java) S 7086 7086 16913 0 -1 1077944384 282 0 0 0 11 9 0 0 20 0 28 0 3909942 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624383167504 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7097] ppid=7086 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7097/stat : 7097 (java) S 7086 7086 16913 0 -1 1077944384 84 0 0 0 9 8 0 0 20 0 28 0 3909942 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624382114960 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7098] ppid=7086 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7098/stat : 7098 (java) S 7086 7086 16913 0 -1 1077944384 452 0 0 0 1 0 0 0 20 0 28 0 3909944 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624252319728 139624790018690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7099] ppid=7086 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7099/stat : 7099 (java) S 7086 7086 16913 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3909945 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624251266016 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7100] ppid=7086 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7100/stat : 7100 (java) S 7086 7086 16913 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3909945 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624250213376 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7101] ppid=7086 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7101/stat : 7101 (java) S 7086 7086 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3909949 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624249161936 139624790026139 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7102] ppid=7086 vsize=13801768 CPUtime=2.12 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7102/stat : 7102 (java) R 7086 7086 16913 0 -1 4202560 5608 0 0 0 210 2 0 0 20 0 28 0 3909949 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624248091360 139624773507749 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7103] ppid=7086 vsize=13801768 CPUtime=2.21 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7103/stat : 7103 (java) R 7086 7086 16913 0 -1 4202560 5953 0 0 0 219 2 0 0 20 0 28 0 3909949 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624247043824 139624775131088 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7104] ppid=7086 vsize=13801768 CPUtime=2.31 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7104/stat : 7104 (java) S 7086 7086 16913 0 -1 1077944384 5865 0 0 0 231 0 0 0 20 0 28 0 3909949 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624246004464 139624790018690 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7105] ppid=7086 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7105/stat : 7105 (java) S 7086 7086 16913 0 -1 1077944384 4577 0 0 0 97 2 0 0 20 0 28 0 3909949 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624244951920 139624790018690 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7106] ppid=7086 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7106/stat : 7106 (java) S 7086 7086 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3909949 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624243898592 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7107] ppid=7086 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7107/stat : 7107 (java) S 7086 7086 16913 0 -1 1077944384 782 0 0 0 0 0 0 0 20 0 28 0 3909949 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624242846128 139624790018690 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7108] ppid=7086 vsize=13801768 CPUtime=2.39 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7108/stat : 7108 (java) R 7086 7086 16913 0 -1 4202560 146 0 0 0 239 0 0 0 20 0 28 0 3910216 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624234831416 139624433861572 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7109] ppid=7086 vsize=13801768 CPUtime=2.35 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7109/stat : 7109 (java) R 7086 7086 16913 0 -1 4202560 94 0 0 0 235 0 0 0 20 0 28 0 3910216 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624233779112 139624434054870 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7110] ppid=7086 vsize=13801768 CPUtime=2.27 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7110/stat : 7110 (java) R 7086 7086 16913 0 -1 4202560 139 0 0 0 227 0 0 0 20 0 28 0 3910216 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624232728792 139624433861567 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7111] ppid=7086 vsize=13801768 CPUtime=2.16 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7111/stat : 7111 (java) R 7086 7086 16913 0 -1 4202560 317 0 0 0 216 0 0 0 20 0 28 0 3910216 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624231673528 139624434274601 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7112] ppid=7086 vsize=13801768 CPUtime=2.19 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7112/stat : 7112 (java) R 7086 7086 16913 0 -1 4202560 124 0 0 0 219 0 0 0 20 0 28 0 3910216 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624230621480 139624434054660 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7113] ppid=7086 vsize=13801768 CPUtime=2.3 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7113/stat : 7113 (java) R 7086 7086 16913 0 -1 4202560 154 0 0 0 230 0 0 0 20 0 28 0 3910216 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624229569480 139624433861358 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7114] ppid=7086 vsize=13801768 CPUtime=2.39 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7114/stat : 7114 (java) R 7086 7086 16913 0 -1 4202560 86 0 0 0 239 0 0 0 20 0 28 0 3910216 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624228516208 139624433959263 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7115] ppid=7086 vsize=13801768 CPUtime=2.39 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7115/stat : 7115 (java) R 7086 7086 16913 0 -1 4202560 288 0 0 0 239 0 0 0 20 0 28 0 3910216 14133010432 155152 33554432000 4194304 4196468 140727817470656 139624227463392 139624433861358 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
Current children cumulated CPU time (s) 30.26
Current children cumulated vsize (KiB) 13811280
[startup+5.50174 s]
/proc/loadavg: 14.70 15.42 15.18 20/304 7115
/proc/meminfo: memFree=30576992/32770624 swapFree=5900/228860
[pid=7086] ppid=7083 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7086/stat : 7086 (xcsp3-exec) S 7083 7086 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3909940 9740288 345 33554432000 4194304 5098028 140730523339632 140730523337736 140346990277244 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 15646720 140730523346062 140730523346272 140730523346272 140730523348971 0
/proc/7086/statm: 2378 345 289 221 0 87 0
[pid=7087] ppid=7086 vsize=13801768 CPUtime=31.14 cores=1,3,5,7,9,11,13,15
/proc/7087/stat : 7087 (java) S 7086 7086 16913 0 -1 1077944320 36750 0 0 0 3023 91 0 0 20 0 20 0 3909940 14133010432 155531 33554432000 4194304 4196468 140727817470656 140727817453200 139624790007543 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
/proc/7087/statm: 3450442 155531 3284 1 0 3437675 0
[pid=7087/tid=7088] ppid=7086 vsize=13801768 CPUtime=2.5 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7088/stat : 7088 (java) R 7086 7086 16913 0 -1 4202560 8717 0 0 0 242 8 0 0 20 0 20 0 3909941 14133010432 156049 33554432000 4194304 4196468 140727817470656 139624794243776 139624774088001 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7090] ppid=7086 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7090/stat : 7090 (java) S 7086 7086 16913 0 -1 1077944384 142 0 0 0 9 9 0 0 20 0 20 0 3909942 14133010432 156050 33554432000 4194304 4196468 140727817470656 139624757565712 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7091] ppid=7086 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7091/stat : 7091 (java) S 7086 7086 16913 0 -1 1077944384 240 0 0 0 11 9 0 0 20 0 20 0 3909942 14133010432 156050 33554432000 4194304 4196468 140727817470656 139624388430224 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7092] ppid=7086 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7092/stat : 7092 (java) S 7086 7086 16913 0 -1 1077944384 155 0 0 0 10 9 0 0 20 0 20 0 3909942 14133010432 156050 33554432000 4194304 4196468 140727817470656 139624387377680 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7093] ppid=7086 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7093/stat : 7093 (java) S 7086 7086 16913 0 -1 1077944384 629 0 0 0 12 9 0 0 20 0 20 0 3909942 14133010432 156050 33554432000 4194304 4196468 140727817470656 139624386325136 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7094] ppid=7086 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7094/stat : 7094 (java) S 7086 7086 16913 0 -1 1077944384 127 0 0 0 11 9 0 0 20 0 20 0 3909942 14133010432 156050 33554432000 4194304 4196468 140727817470656 139624385272592 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7095] ppid=7086 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7095/stat : 7095 (java) S 7086 7086 16913 0 -1 1077944384 122 0 0 0 9 9 0 0 20 0 20 0 3909942 14133010432 156050 33554432000 4194304 4196468 140727817470656 139624384220048 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7096] ppid=7086 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7096/stat : 7096 (java) S 7086 7086 16913 0 -1 1077944384 282 0 0 0 11 9 0 0 20 0 20 0 3909942 14133010432 156050 33554432000 4194304 4196468 140727817470656 139624383167504 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7097] ppid=7086 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7097/stat : 7097 (java) S 7086 7086 16913 0 -1 1077944384 84 0 0 0 9 8 0 0 20 0 20 0 3909942 14133010432 156050 33554432000 4194304 4196468 140727817470656 139624382114960 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7098] ppid=7086 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7098/stat : 7098 (java) R 7086 7086 16913 0 -1 4202560 452 0 0 0 1 0 0 0 20 0 19 0 3909944 14133010432 156052 33554432000 4194304 4196468 140727817470656 139624252320248 139624782724695 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7099] ppid=7086 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7099/stat : 7099 (java) S 7086 7086 16913 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 3909945 14133010432 156052 33554432000 4194304 4196468 140727817470656 139624251266016 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7100] ppid=7086 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7100/stat : 7100 (java) S 7086 7086 16913 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 3909945 14133010432 156052 33554432000 4194304 4196468 140727817470656 139624250213376 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7101] ppid=7086 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7101/stat : 7101 (java) S 7086 7086 16913 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 3909949 14133010432 156052 33554432000 4194304 4196468 140727817470656 139624249160704 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7102] ppid=7086 vsize=13801768 CPUtime=2.18 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7102/stat : 7102 (java) R 7086 7086 16913 0 -1 4202560 5788 0 0 0 216 2 0 0 20 0 19 0 3909949 14133010432 156052 33554432000 4194304 4196468 140727817470656 139624248095568 139624769253391 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7103] ppid=7086 vsize=13801768 CPUtime=2.25 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7103/stat : 7103 (java) R 7086 7086 16913 0 -1 4202560 6030 0 0 0 223 2 0 0 20 0 19 0 3909949 14133010432 156052 33554432000 4194304 4196468 140727817470656 139624247038208 139624770707840 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7104] ppid=7086 vsize=13801768 CPUtime=2.34 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7104/stat : 7104 (java) S 7086 7086 16913 0 -1 1077944384 5879 0 0 0 234 0 0 0 20 0 19 0 3909949 14133010432 156052 33554432000 4194304 4196468 140727817470656 139624245995936 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7105] ppid=7086 vsize=13801768 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7105/stat : 7105 (java) S 7086 7086 16913 0 -1 1077944384 4601 0 0 0 98 2 0 0 20 0 19 0 3909949 14133010432 156052 33554432000 4194304 4196468 140727817470656 139624244951920 139624790018690 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
[pid=7087/tid=7106] ppid=7086 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7087/task/7106/stat : 7106 (java) S 7086 7086 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 3909949 14133010432 156052 33554432000 4194304 4196468 140727817470656 139624243898592 139624790017749 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7557120 140727817475260 140727817475436 140727817475436 140727817478095 0
Current children cumulated CPU time (s) 31.14
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 5.54737
CPU time (s): 31.1904
CPU user time (s): 30.2614
CPU system time (s): 0.929063
CPU usage (%): 562.256
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.2614
system time used= 0.929063
maximum resident set size= 624664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37618
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4000
involuntary context switches= 2762
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.072639 second user time and 0.074629 second system time
The end