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-4254218-1501985330/watcher-4254218-1501985330 -o /tmp/evaluation-result-4254218-1501985330/solver-4254218-1501985330 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501978181-12403 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1016262229 HOME/instance-4254218-1501985330.xml
pid=18962
running on 4 cores: 1,3,5,7
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.27 1.66 1.90 3/199 18965
/proc/meminfo: memFree=31459900/32770624 swapFree=0/322896
[pid=18965] ppid=18962 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/18965/stat : 18965 (runsolver) D 18962 18965 12039 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 98186257 24240128 106 18446744073709551615 4194304 4338465 140722831403104 140722831400744 140143949542103 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 25501696 140722831405154 140722831405644 140722831405644 140722831409098 0
/proc/18965/statm: 5918 106 53 36 0 2156 0
[startup+0.100153 s]
/proc/loadavg: 1.27 1.66 1.90 3/199 18965
/proc/meminfo: memFree=31459900/32770624 swapFree=0/322896
[pid=18965] ppid=18962 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18965/stat : 18965 (xcsp3-exec) S 18962 18965 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 98186257 9740288 345 18446744073709551615 4194304 5098028 140737051748640 140737051746744 140616476119676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 29999104 140737051750817 140737051751021 140737051751021 140737051754475 0
/proc/18965/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200314 s]
/proc/loadavg: 1.27 1.66 1.90 3/199 18965
/proc/meminfo: memFree=31459900/32770624 swapFree=0/322896
[pid=18965] ppid=18962 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18965/stat : 18965 (xcsp3-exec) S 18962 18965 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 98186257 9740288 345 18446744073709551615 4194304 5098028 140737051748640 140737051746744 140616476119676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 29999104 140737051750817 140737051751021 140737051751021 140737051754475 0
/proc/18965/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30201 s]
/proc/loadavg: 1.27 1.66 1.90 3/199 18965
/proc/meminfo: memFree=31459900/32770624 swapFree=0/322896
[pid=18965] ppid=18962 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18965/stat : 18965 (xcsp3-exec) S 18962 18965 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 98186257 9740288 345 18446744073709551615 4194304 5098028 140737051748640 140737051746744 140616476119676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 29999104 140737051750817 140737051751021 140737051751021 140737051754475 0
/proc/18965/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700298 s]
/proc/loadavg: 1.27 1.66 1.90 3/199 18965
/proc/meminfo: memFree=31459900/32770624 swapFree=0/322896
[pid=18965] ppid=18962 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18965/stat : 18965 (xcsp3-exec) S 18962 18965 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 98186257 9740288 345 18446744073709551615 4194304 5098028 140737051748640 140737051746744 140616476119676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 29999104 140737051750817 140737051751021 140737051751021 140737051754475 0
/proc/18965/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50077 s]
/proc/loadavg: 1.27 1.66 1.90 3/215 18981
/proc/meminfo: memFree=31343828/32770624 swapFree=0/322924
[pid=18965] ppid=18962 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18965/stat : 18965 (xcsp3-exec) S 18962 18965 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 98186257 9740288 345 18446744073709551615 4194304 5098028 140737051748640 140737051746744 140616476119676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 29999104 140737051750817 140737051751021 140737051751021 140737051754475 0
/proc/18965/statm: 2378 345 289 221 0 87 0
[pid=18967] ppid=18965 vsize=13980732 CPUtime=2.13 cores=1,3,5,7
/proc/18967/stat : 18967 (java) S 18965 18965 12039 0 -1 1077944320 15153 0 0 0 195 18 0 0 20 0 15 0 98186265 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140726254189936 140468119252727 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
/proc/18967/statm: 3495183 68004 3181 1 0 3483476 0
[pid=18967/tid=18968] ppid=18965 vsize=13980732 CPUtime=1.24 cores=1,3,5,7
/proc/18967/task/18968/stat : 18968 (java) R 18965 18965 12039 0 -1 4202560 9063 0 0 0 121 3 0 0 20 0 15 0 98186265 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140468123491264 140467730410717 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18969] ppid=18965 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/18967/task/18969/stat : 18969 (java) S 18965 18965 12039 0 -1 1077944384 153 0 0 0 4 3 0 0 20 0 15 0 98186266 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140468053686544 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18970] ppid=18965 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/18967/task/18970/stat : 18970 (java) S 18965 18965 12039 0 -1 1077944384 327 0 0 0 4 3 0 0 20 0 15 0 98186266 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140468052634000 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18971] ppid=18965 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/18967/task/18971/stat : 18971 (java) S 18965 18965 12039 0 -1 1077944384 117 0 0 0 4 3 0 0 20 0 15 0 98186266 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140468051581456 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18972] ppid=18965 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/18967/task/18972/stat : 18972 (java) S 18965 18965 12039 0 -1 1077944384 226 0 0 0 5 3 0 0 20 0 15 0 98186266 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140468050528912 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18973] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18973/stat : 18973 (java) S 18965 18965 12039 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 98186267 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140467597683184 140468119263874 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18974] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18974/stat : 18974 (java) S 18965 18965 12039 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 98186268 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140467596629408 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18975] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18975/stat : 18975 (java) S 18965 18965 12039 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 98186268 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140467595576816 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18976] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18976/stat : 18976 (java) S 18965 18965 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98186271 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140467594525392 140468119271323 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18977] ppid=18965 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/18967/task/18977/stat : 18977 (java) S 18965 18965 12039 0 -1 1077944384 857 0 0 0 16 0 0 0 20 0 15 0 98186271 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140467593471984 140468119263874 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18978] ppid=18965 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/18967/task/18978/stat : 18978 (java) S 18965 18965 12039 0 -1 1077944384 559 0 0 0 13 0 0 0 20 0 15 0 98186271 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140467592419440 140468119263874 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18979] ppid=18965 vsize=13980732 CPUtime=0.23 cores=1,3,5,7
/proc/18967/task/18979/stat : 18979 (java) S 18965 18965 12039 0 -1 1077944384 2184 0 0 0 23 0 0 0 20 0 15 0 98186271 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140467591366896 140468119263874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18980] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18980/stat : 18980 (java) S 18965 18965 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98186271 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140467590314592 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18981] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18981/stat : 18981 (java) S 18965 18965 12039 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 98186278 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140467589262128 140468119263874 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 13990244
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18967 sig 9
??? kill 18965 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60088 s]
/proc/loadavg: 1.27 1.66 1.90 3/215 18981
/proc/meminfo: memFree=31343828/32770624 swapFree=0/322924
[pid=18965] ppid=18962 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18965/stat : 18965 (xcsp3-exec) S 18962 18965 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 98186257 9740288 345 18446744073709551615 4194304 5098028 140737051748640 140737051746744 140616476119676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 29999104 140737051750817 140737051751021 140737051751021 140737051754475 0
/proc/18965/statm: 2378 345 289 221 0 87 0
[pid=18967] ppid=18965 vsize=13980732 CPUtime=2.23 cores=1,3,5,7
/proc/18967/stat : 18967 (java) S 18965 18965 12039 0 -1 1077944320 15184 0 0 0 205 18 0 0 20 0 15 0 98186265 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140726254189936 140468119252727 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
/proc/18967/statm: 3495183 68004 3181 1 0 3483476 0
[pid=18967/tid=18968] ppid=18965 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/18967/task/18968/stat : 18968 (java) R 18965 18965 12039 0 -1 4202560 9071 0 0 0 131 3 0 0 20 0 15 0 98186265 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140468123487656 140467730410640 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18969] ppid=18965 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/18967/task/18969/stat : 18969 (java) S 18965 18965 12039 0 -1 1077944384 153 0 0 0 4 3 0 0 20 0 15 0 98186266 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140468053686544 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18970] ppid=18965 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/18967/task/18970/stat : 18970 (java) S 18965 18965 12039 0 -1 1077944384 327 0 0 0 4 3 0 0 20 0 15 0 98186266 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140468052634000 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18971] ppid=18965 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/18967/task/18971/stat : 18971 (java) S 18965 18965 12039 0 -1 1077944384 117 0 0 0 4 3 0 0 20 0 15 0 98186266 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140468051581456 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18972] ppid=18965 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/18967/task/18972/stat : 18972 (java) S 18965 18965 12039 0 -1 1077944384 226 0 0 0 5 3 0 0 20 0 15 0 98186266 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140468050528912 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18973] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18973/stat : 18973 (java) S 18965 18965 12039 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 98186267 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140467597683184 140468119263874 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18974] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18974/stat : 18974 (java) S 18965 18965 12039 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 98186268 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140467596629408 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18975] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18975/stat : 18975 (java) S 18965 18965 12039 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 98186268 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140467595576816 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18976] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18976/stat : 18976 (java) S 18965 18965 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98186271 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140467594525392 140468119271323 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18977] ppid=18965 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/18967/task/18977/stat : 18977 (java) S 18965 18965 12039 0 -1 1077944384 857 0 0 0 16 0 0 0 20 0 15 0 98186271 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140467593471984 140468119263874 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18978] ppid=18965 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/18967/task/18978/stat : 18978 (java) S 18965 18965 12039 0 -1 1077944384 559 0 0 0 13 0 0 0 20 0 15 0 98186271 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140467592419440 140468119263874 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18979] ppid=18965 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/18967/task/18979/stat : 18979 (java) S 18965 18965 12039 0 -1 1077944384 2207 0 0 0 24 0 0 0 20 0 15 0 98186271 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140467591366896 140468119263874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18980] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18980/stat : 18980 (java) S 18965 18965 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98186271 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140467590314592 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18981] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18981/stat : 18981 (java) S 18965 18965 12039 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 98186278 14316269568 68004 18446744073709551615 4194304 4196468 140726254207392 140467589262128 140468119263874 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 13990244
[startup+2.00068 s]
/proc/loadavg: 1.27 1.66 1.90 3/215 18981
/proc/meminfo: memFree=31343828/32770624 swapFree=0/322924
[pid=18965] ppid=18962 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18965/stat : 18965 (xcsp3-exec) S 18962 18965 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 98186257 9740288 345 18446744073709551615 4194304 5098028 140737051748640 140737051746744 140616476119676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 29999104 140737051750817 140737051751021 140737051751021 140737051754475 0
/proc/18965/statm: 2378 345 289 221 0 87 0
[pid=18967] ppid=18965 vsize=13980732 CPUtime=2.65 cores=1,3,5,7
/proc/18967/stat : 18967 (java) S 18965 18965 12039 0 -1 1077944320 15331 0 0 0 247 18 0 0 20 0 15 0 98186265 14316269568 68037 18446744073709551615 4194304 4196468 140726254207392 140726254189936 140468119252727 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
/proc/18967/statm: 3495183 68037 3183 1 0 3483476 0
[pid=18967/tid=18968] ppid=18965 vsize=13980732 CPUtime=1.73 cores=1,3,5,7
/proc/18967/task/18968/stat : 18968 (java) R 18965 18965 12039 0 -1 4202560 9106 0 0 0 170 3 0 0 20 0 15 0 98186265 14316269568 68037 18446744073709551615 4194304 4196468 140726254207392 140468123490920 140467730410640 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18969] ppid=18965 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/18967/task/18969/stat : 18969 (java) S 18965 18965 12039 0 -1 1077944384 153 0 0 0 4 3 0 0 20 0 15 0 98186266 14316269568 68037 18446744073709551615 4194304 4196468 140726254207392 140468053686544 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18970] ppid=18965 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/18967/task/18970/stat : 18970 (java) S 18965 18965 12039 0 -1 1077944384 327 0 0 0 4 3 0 0 20 0 15 0 98186266 14316269568 68037 18446744073709551615 4194304 4196468 140726254207392 140468052634000 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18971] ppid=18965 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/18967/task/18971/stat : 18971 (java) S 18965 18965 12039 0 -1 1077944384 117 0 0 0 4 3 0 0 20 0 15 0 98186266 14316269568 68037 18446744073709551615 4194304 4196468 140726254207392 140468051581456 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18972] ppid=18965 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/18967/task/18972/stat : 18972 (java) S 18965 18965 12039 0 -1 1077944384 226 0 0 0 5 3 0 0 20 0 15 0 98186266 14316269568 68037 18446744073709551615 4194304 4196468 140726254207392 140468050528912 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18973] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18973/stat : 18973 (java) S 18965 18965 12039 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 98186267 14316269568 68037 18446744073709551615 4194304 4196468 140726254207392 140467597683184 140468119263874 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18974] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18974/stat : 18974 (java) S 18965 18965 12039 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 98186268 14316269568 68037 18446744073709551615 4194304 4196468 140726254207392 140467596629408 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18975] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18975/stat : 18975 (java) S 18965 18965 12039 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 98186268 14316269568 68037 18446744073709551615 4194304 4196468 140726254207392 140467595576816 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18976] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18976/stat : 18976 (java) S 18965 18965 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98186271 14316269568 68037 18446744073709551615 4194304 4196468 140726254207392 140467594525392 140468119271323 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18977] ppid=18965 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/18967/task/18977/stat : 18977 (java) S 18965 18965 12039 0 -1 1077944384 857 0 0 0 16 0 0 0 20 0 15 0 98186271 14316269568 68037 18446744073709551615 4194304 4196468 140726254207392 140467593471984 140468119263874 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18978] ppid=18965 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/18967/task/18978/stat : 18978 (java) S 18965 18965 12039 0 -1 1077944384 559 0 0 0 13 0 0 0 20 0 15 0 98186271 14316269568 68037 18446744073709551615 4194304 4196468 140726254207392 140467592419440 140468119263874 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18979] ppid=18965 vsize=13980732 CPUtime=0.25 cores=1,3,5,7
/proc/18967/task/18979/stat : 18979 (java) S 18965 18965 12039 0 -1 1077944384 2319 0 0 0 25 0 0 0 20 0 15 0 98186271 14316269568 68037 18446744073709551615 4194304 4196468 140726254207392 140467591366896 140468119263874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18980] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18980/stat : 18980 (java) S 18965 18965 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98186271 14316269568 68037 18446744073709551615 4194304 4196468 140726254207392 140467590314592 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18981] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18981/stat : 18981 (java) S 18965 18965 12039 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 98186278 14316269568 68037 18446744073709551615 4194304 4196468 140726254207392 140467589262128 140468119263874 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 13990244
[startup+2.20144 s]
/proc/loadavg: 1.27 1.66 1.90 5/215 18981
/proc/meminfo: memFree=31197620/32770624 swapFree=0/322924
[pid=18965] ppid=18962 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18965/stat : 18965 (xcsp3-exec) S 18962 18965 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 98186257 9740288 345 18446744073709551615 4194304 5098028 140737051748640 140737051746744 140616476119676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 29999104 140737051750817 140737051751021 140737051751021 140737051754475 0
/proc/18965/statm: 2378 345 289 221 0 87 0
[pid=18967] ppid=18965 vsize=13980732 CPUtime=3.04 cores=1,3,5,7
/proc/18967/stat : 18967 (java) S 18965 18965 12039 0 -1 1077944320 17820 0 0 0 285 19 0 0 20 0 15 0 98186265 14316269568 68612 18446744073709551615 4194304 4196468 140726254207392 140726254189936 140468119252727 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
/proc/18967/statm: 3495183 68612 3202 1 0 3483476 0
[pid=18967/tid=18968] ppid=18965 vsize=13980732 CPUtime=1.95 cores=1,3,5,7
/proc/18967/task/18968/stat : 18968 (java) R 18965 18965 12039 0 -1 4202560 9972 0 0 0 191 4 0 0 20 0 15 0 98186265 14316269568 68612 18446744073709551615 4194304 4196468 140726254207392 140468123489648 140467730865119 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18969] ppid=18965 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/18967/task/18969/stat : 18969 (java) S 18965 18965 12039 0 -1 1077944384 153 0 0 0 4 3 0 0 20 0 15 0 98186266 14316269568 68612 18446744073709551615 4194304 4196468 140726254207392 140468053686544 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18970] ppid=18965 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/18967/task/18970/stat : 18970 (java) S 18965 18965 12039 0 -1 1077944384 327 0 0 0 4 3 0 0 20 0 15 0 98186266 14316269568 68612 18446744073709551615 4194304 4196468 140726254207392 140468052634000 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18971] ppid=18965 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/18967/task/18971/stat : 18971 (java) S 18965 18965 12039 0 -1 1077944384 117 0 0 0 4 3 0 0 20 0 15 0 98186266 14316269568 68612 18446744073709551615 4194304 4196468 140726254207392 140468051581456 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18972] ppid=18965 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/18967/task/18972/stat : 18972 (java) S 18965 18965 12039 0 -1 1077944384 226 0 0 0 5 3 0 0 20 0 15 0 98186266 14316269568 68612 18446744073709551615 4194304 4196468 140726254207392 140468050528912 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18973] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18973/stat : 18973 (java) S 18965 18965 12039 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 98186267 14316269568 68612 18446744073709551615 4194304 4196468 140726254207392 140467597683184 140468119263874 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18974] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18974/stat : 18974 (java) S 18965 18965 12039 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 98186268 14316269568 68612 18446744073709551615 4194304 4196468 140726254207392 140467596629408 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18975] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18975/stat : 18975 (java) S 18965 18965 12039 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 98186268 14316269568 68622 18446744073709551615 4194304 4196468 140726254207392 140467595576816 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18976] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18976/stat : 18976 (java) S 18965 18965 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98186271 14316269568 68622 18446744073709551615 4194304 4196468 140726254207392 140467594525392 140468119271323 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18977] ppid=18965 vsize=13980732 CPUtime=0.23 cores=1,3,5,7
/proc/18967/task/18977/stat : 18977 (java) S 18965 18965 12039 0 -1 1077944384 1504 0 0 0 23 0 0 0 20 0 15 0 98186271 14316269568 68622 18446744073709551615 4194304 4196468 140726254207392 140467593471984 140468119263874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18978] ppid=18965 vsize=13980732 CPUtime=0.2 cores=1,3,5,7
/proc/18967/task/18978/stat : 18978 (java) R 18965 18965 12039 0 -1 4202560 1283 0 0 0 20 0 0 0 20 0 15 0 98186271 14316269568 68622 18446744073709551615 4194304 4196468 140726254207392 140467592404304 140468098942844 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18979] ppid=18965 vsize=13980732 CPUtime=0.28 cores=1,3,5,7
/proc/18967/task/18979/stat : 18979 (java) S 18965 18965 12039 0 -1 1077944384 2573 0 0 0 28 0 0 0 20 0 15 0 98186271 14316269568 68622 18446744073709551615 4194304 4196468 140726254207392 140467591366896 140468119263874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18980] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18980/stat : 18980 (java) S 18965 18965 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98186271 14316269568 68622 18446744073709551615 4194304 4196468 140726254207392 140467590314592 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18981] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18981/stat : 18981 (java) S 18965 18965 12039 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 98186278 14316269568 68622 18446744073709551615 4194304 4196468 140726254207392 140467589262128 140468119263874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 13990244
[startup+2.3124 s]
/proc/loadavg: 1.27 1.66 1.90 5/215 18981
/proc/meminfo: memFree=31197620/32770624 swapFree=0/322924
[pid=18965] ppid=18962 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18965/stat : 18965 (xcsp3-exec) S 18962 18965 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 98186257 9740288 345 18446744073709551615 4194304 5098028 140737051748640 140737051746744 140616476119676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 29999104 140737051750817 140737051751021 140737051751021 140737051754475 0
/proc/18965/statm: 2378 345 289 221 0 87 0
[pid=18967] ppid=18965 vsize=13980732 CPUtime=3.26 cores=1,3,5,7
/proc/18967/stat : 18967 (java) S 18965 18965 12039 0 -1 1077944320 17971 0 0 0 307 19 0 0 20 0 15 0 98186265 14316269568 68707 18446744073709551615 4194304 4196468 140726254207392 140726254189936 140468119252727 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
/proc/18967/statm: 3495183 68707 3204 1 0 3483476 0
[pid=18967/tid=18968] ppid=18965 vsize=13980732 CPUtime=2.05 cores=1,3,5,7
/proc/18967/task/18968/stat : 18968 (java) R 18965 18965 12039 0 -1 4202560 9972 0 0 0 201 4 0 0 20 0 15 0 98186265 14316269568 68707 18446744073709551615 4194304 4196468 140726254207392 140468123488736 140467730864997 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18969] ppid=18965 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/18967/task/18969/stat : 18969 (java) S 18965 18965 12039 0 -1 1077944384 153 0 0 0 4 3 0 0 20 0 15 0 98186266 14316269568 68707 18446744073709551615 4194304 4196468 140726254207392 140468053686544 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18970] ppid=18965 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/18967/task/18970/stat : 18970 (java) S 18965 18965 12039 0 -1 1077944384 327 0 0 0 4 3 0 0 20 0 15 0 98186266 14316269568 68707 18446744073709551615 4194304 4196468 140726254207392 140468052634000 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18971] ppid=18965 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/18967/task/18971/stat : 18971 (java) S 18965 18965 12039 0 -1 1077944384 117 0 0 0 4 3 0 0 20 0 15 0 98186266 14316269568 68707 18446744073709551615 4194304 4196468 140726254207392 140468051581456 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18972] ppid=18965 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/18967/task/18972/stat : 18972 (java) S 18965 18965 12039 0 -1 1077944384 226 0 0 0 5 3 0 0 20 0 15 0 98186266 14316269568 68707 18446744073709551615 4194304 4196468 140726254207392 140468050528912 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18973] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18973/stat : 18973 (java) S 18965 18965 12039 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 98186267 14316269568 68707 18446744073709551615 4194304 4196468 140726254207392 140467597683184 140468119263874 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18974] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18974/stat : 18974 (java) S 18965 18965 12039 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 98186268 14316269568 68707 18446744073709551615 4194304 4196468 140726254207392 140467596629408 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18975] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18975/stat : 18975 (java) S 18965 18965 12039 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 98186268 14316269568 68707 18446744073709551615 4194304 4196468 140726254207392 140467595576816 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18976] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18976/stat : 18976 (java) S 18965 18965 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98186271 14316269568 68707 18446744073709551615 4194304 4196468 140726254207392 140467594525392 140468119271323 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18977] ppid=18965 vsize=13980732 CPUtime=0.3 cores=1,3,5,7
/proc/18967/task/18977/stat : 18977 (java) R 18965 18965 12039 0 -1 4202560 1592 0 0 0 30 0 0 0 20 0 15 0 98186271 14316269568 68707 18446744073709551615 4194304 4196468 140726254207392 140467593471984 140468099421492 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18978] ppid=18965 vsize=13980732 CPUtime=0.25 cores=1,3,5,7
/proc/18967/task/18978/stat : 18978 (java) R 18965 18965 12039 0 -1 4202560 1303 0 0 0 24 1 0 0 20 0 15 0 98186271 14316269568 68707 18446744073709551615 4194304 4196468 140726254207392 140467592419360 140468102784384 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18979] ppid=18965 vsize=13980732 CPUtime=0.3 cores=1,3,5,7
/proc/18967/task/18979/stat : 18979 (java) S 18965 18965 12039 0 -1 1077944384 2614 0 0 0 30 0 0 0 20 0 15 0 98186271 14316269568 68707 18446744073709551615 4194304 4196468 140726254207392 140467591366896 140468119263874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18980] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18980/stat : 18980 (java) S 18965 18965 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98186271 14316269568 68707 18446744073709551615 4194304 4196468 140726254207392 140467590314592 140468119262933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
[pid=18967/tid=18981] ppid=18965 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18967/task/18981/stat : 18981 (java) S 18965 18965 12039 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 98186278 14316269568 68707 18446744073709551615 4194304 4196468 140726254207392 140467589262128 140468119263874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140726254211546 140726254211721 140726254211721 140726254215119 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 2.38614
CPU time (s): 3.47328
CPU user time (s): 3.26897
CPU system time (s): 0.204305
CPU usage (%): 145.56
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.26897
system time used= 0.204305
maximum resident set size= 279584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19637
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= 1927
involuntary context switches= 18
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.015609 second user time and 0.015609 second system time
The end