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-4255091-1501619470/watcher-4255091-1501619470 -o /tmp/evaluation-result-4255091-1501619470/solver-4255091-1501619470 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501617182-10800 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 344136949 HOME/instance-4255091-1501619470.xml
pid=12185
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.36 1.60 1.74 3/195 12188
/proc/meminfo: memFree=31800784/32770624 swapFree=0/189480
[pid=12188] ppid=12185 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/12188/stat : 12188 (runsolver) D 12185 12188 5123 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10564001 24240128 106 18446744073709551615 4194304 4338465 140726179825648 140726179823288 139936559641303 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 16842752 140726179827805 140726179828294 140726179828294 140726179831754 0
/proc/12188/statm: 5918 106 53 36 0 2156 0
[startup+0.100136 s]
/proc/loadavg: 1.36 1.60 1.74 3/195 12188
/proc/meminfo: memFree=31800784/32770624 swapFree=0/189480
[pid=12188] ppid=12185 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/12188/stat : 12188 (runsolver) D 12185 12188 5123 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10564001 24240128 106 18446744073709551615 4194304 4338465 140726179825648 140726179823288 139936559641303 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 16842752 140726179827805 140726179828294 140726179828294 140726179831754 0
/proc/12188/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200322 s]
/proc/loadavg: 1.36 1.60 1.74 3/195 12188
/proc/meminfo: memFree=31800784/32770624 swapFree=0/189480
[pid=12188] ppid=12185 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12188/stat : 12188 (xcsp3-exec) S 12185 12188 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10564001 9740288 345 18446744073709551615 4194304 5098028 140733114217872 140733114215976 140666305307260 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 27992064 140733114220956 140733114221159 140733114221159 140733114224619 0
/proc/12188/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300215 s]
/proc/loadavg: 1.36 1.60 1.74 3/195 12188
/proc/meminfo: memFree=31800784/32770624 swapFree=0/189480
[pid=12188] ppid=12185 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12188/stat : 12188 (xcsp3-exec) S 12185 12188 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10564001 9740288 345 18446744073709551615 4194304 5098028 140733114217872 140733114215976 140666305307260 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 27992064 140733114220956 140733114221159 140733114221159 140733114224619 0
/proc/12188/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700256 s]
/proc/loadavg: 1.36 1.60 1.74 3/195 12188
/proc/meminfo: memFree=31800784/32770624 swapFree=0/189480
[pid=12188] ppid=12185 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12188/stat : 12188 (xcsp3-exec) S 12185 12188 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10564001 9740288 345 18446744073709551615 4194304 5098028 140733114217872 140733114215976 140666305307260 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 27992064 140733114220956 140733114221159 140733114221159 140733114224619 0
/proc/12188/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50072 s]
/proc/loadavg: 1.36 1.60 1.74 5/211 12204
/proc/meminfo: memFree=31642344/32770624 swapFree=0/189496
[pid=12188] ppid=12185 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12188/stat : 12188 (xcsp3-exec) S 12185 12188 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10564001 9740288 345 18446744073709551615 4194304 5098028 140733114217872 140733114215976 140666305307260 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 27992064 140733114220956 140733114221159 140733114221159 140733114224619 0
/proc/12188/statm: 2378 345 289 221 0 87 0
[pid=12190] ppid=12188 vsize=13980732 CPUtime=3.68 cores=1,3,5,7
/proc/12190/stat : 12190 (java) S 12188 12188 5123 0 -1 1077944320 30331 0 0 0 361 7 0 0 20 0 15 0 10564012 14316269568 34284 18446744073709551615 4194304 4196468 140730596970320 140730596952864 140273303215863 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
/proc/12190/statm: 3495183 34284 3175 1 0 3483484 0
[pid=12190/tid=12191] ppid=12188 vsize=13980732 CPUtime=1.33 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (java) R 12188 12188 5123 0 -1 4202560 9066 0 0 0 130 3 0 0 20 0 15 0 10564012 14316269568 34284 18446744073709551615 4194304 4196468 140730596970320 140273307452144 140273303227798 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12192] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (java) S 12188 12188 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10564013 14316269568 34284 18446744073709551615 4194304 4196468 140730596970320 140273237649808 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12193] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (java) S 12188 12188 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10564013 14316269568 34284 18446744073709551615 4194304 4196468 140730596970320 140273236597008 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12194] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12194/stat : 12194 (java) S 12188 12188 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10564013 14316269568 34284 18446744073709551615 4194304 4196468 140730596970320 140273235544720 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12195] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12195/stat : 12195 (java) S 12188 12188 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10564013 14316269568 34284 18446744073709551615 4194304 4196468 140730596970320 140273234491920 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12196] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12196/stat : 12196 (java) S 12188 12188 5123 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 10564014 14316269568 34284 18446744073709551615 4194304 4196468 140730596970320 140272780921456 140273303227010 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12197] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12197/stat : 12197 (java) S 12188 12188 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10564014 14316269568 34284 18446744073709551615 4194304 4196468 140730596970320 140272779867424 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12198] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12198/stat : 12198 (java) S 12188 12188 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10564015 14316269568 34284 18446744073709551615 4194304 4196468 140730596970320 140272778815088 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12199] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12199/stat : 12199 (java) S 12188 12188 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10564017 14316269568 34284 18446744073709551615 4194304 4196468 140730596970320 140272777763408 140273303234459 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12200] ppid=12188 vsize=13980732 CPUtime=0.97 cores=1,3,5,7
/proc/12190/task/12200/stat : 12200 (java) R 12188 12188 5123 0 -1 4202560 6340 0 0 0 96 1 0 0 20 0 15 0 10564017 14316269568 34284 18446744073709551615 4194304 4196468 140730596970320 140272776698848 140273284760491 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12201] ppid=12188 vsize=13980732 CPUtime=0.92 cores=1,3,5,7
/proc/12190/task/12201/stat : 12201 (java) R 12188 12188 5123 0 -1 4202560 9933 0 0 0 91 1 0 0 20 0 15 0 10564017 14316269568 34284 18446744073709551615 4194304 4196468 140730596970320 140272775647248 140273283916965 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12202] ppid=12188 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/12190/task/12202/stat : 12202 (java) R 12188 12188 5123 0 -1 1077944384 3674 0 0 0 42 1 0 0 20 0 15 0 10564017 14316269568 34284 18446744073709551615 4194304 4196468 140730596970320 140272774605168 140273303227010 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12203] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12203/stat : 12203 (java) S 12188 12188 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10564017 14316269568 34284 18446744073709551615 4194304 4196468 140730596970320 140272773552608 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12204] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12204/stat : 12204 (java) S 12188 12188 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10564022 14316269568 34284 18446744073709551615 4194304 4196468 140730596970320 140272772500400 140273303227010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 13990244
[startup+3.10112 s]
/proc/loadavg: 1.49 1.62 1.74 5/211 12204
/proc/meminfo: memFree=31524908/32770624 swapFree=0/189496
[pid=12188] ppid=12185 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12188/stat : 12188 (xcsp3-exec) S 12185 12188 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10564001 9740288 345 18446744073709551615 4194304 5098028 140733114217872 140733114215976 140666305307260 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 27992064 140733114220956 140733114221159 140733114221159 140733114224619 0
/proc/12188/statm: 2378 345 289 221 0 87 0
[pid=12190] ppid=12188 vsize=13980732 CPUtime=7.68 cores=1,3,5,7
/proc/12190/stat : 12190 (java) S 12188 12188 5123 0 -1 1077944320 40321 0 0 0 758 10 0 0 20 0 15 0 10564012 14316269568 55128 18446744073709551615 4194304 4196468 140730596970320 140730596952864 140273303215863 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
/proc/12190/statm: 3495183 55128 3212 1 0 3483484 0
[pid=12190/tid=12191] ppid=12188 vsize=13980732 CPUtime=2.92 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (java) R 12188 12188 5123 0 -1 4202560 10101 0 0 0 288 4 0 0 20 0 15 0 10564012 14316269568 55128 18446744073709551615 4194304 4196468 140730596970320 140273307453912 140272915862913 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12192] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (java) S 12188 12188 5123 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 10564013 14316269568 55128 18446744073709551615 4194304 4196468 140730596970320 140273237649808 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12193] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (java) S 12188 12188 5123 0 -1 1077944384 224 0 0 0 0 0 0 0 20 0 15 0 10564013 14316269568 55128 18446744073709551615 4194304 4196468 140730596970320 140273236597008 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12194] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12194/stat : 12194 (java) S 12188 12188 5123 0 -1 1077944384 349 0 0 0 0 0 0 0 20 0 15 0 10564013 14316269568 55128 18446744073709551615 4194304 4196468 140730596970320 140273235544720 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12195] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12195/stat : 12195 (java) S 12188 12188 5123 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 10564013 14316269568 55128 18446744073709551615 4194304 4196468 140730596970320 140273234491920 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12196] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12196/stat : 12196 (java) S 12188 12188 5123 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 15 0 10564014 14316269568 55128 18446744073709551615 4194304 4196468 140730596970320 140272780921456 140273303227010 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12197] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12197/stat : 12197 (java) S 12188 12188 5123 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10564014 14316269568 55128 18446744073709551615 4194304 4196468 140730596970320 140272779867424 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12198] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12198/stat : 12198 (java) S 12188 12188 5123 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10564015 14316269568 55128 18446744073709551615 4194304 4196468 140730596970320 140272778815088 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12199] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12199/stat : 12199 (java) S 12188 12188 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10564017 14316269568 55128 18446744073709551615 4194304 4196468 140730596970320 140272777763408 140273303234459 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12200] ppid=12188 vsize=13980732 CPUtime=2.06 cores=1,3,5,7
/proc/12190/task/12200/stat : 12200 (java) S 12188 12188 5123 0 -1 1077944384 8443 0 0 0 205 1 0 0 20 0 15 0 10564017 14316269568 55128 18446744073709551615 4194304 4196468 140730596970320 140272776710256 140273303227010 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12201] ppid=12188 vsize=13980732 CPUtime=2.05 cores=1,3,5,7
/proc/12190/task/12201/stat : 12201 (java) S 12188 12188 5123 0 -1 1077944384 14425 0 0 0 204 1 0 0 20 0 15 0 10564017 14316269568 55128 18446744073709551615 4194304 4196468 140730596970320 140272775657456 140273303227010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12202] ppid=12188 vsize=13980732 CPUtime=0.58 cores=1,3,5,7
/proc/12190/task/12202/stat : 12202 (java) S 12188 12188 5123 0 -1 1077944384 5137 0 0 0 57 1 0 0 20 0 15 0 10564017 14316269568 55128 18446744073709551615 4194304 4196468 140730596970320 140272774605168 140273303227010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12203] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12203/stat : 12203 (java) S 12188 12188 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10564017 14316269568 55128 18446744073709551615 4194304 4196468 140730596970320 140272773552608 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12204] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12204/stat : 12204 (java) S 12188 12188 5123 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 10564022 14316269568 55128 18446744073709551615 4194304 4196468 140730596970320 140272772500400 140273303227010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
Current children cumulated CPU time (s) 7.68
Current children cumulated vsize (KiB) 13990244
[startup+6.30076 s]
/proc/loadavg: 1.49 1.62 1.74 5/211 12204
/proc/meminfo: memFree=31329828/32770624 swapFree=0/189504
[pid=12188] ppid=12185 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12188/stat : 12188 (xcsp3-exec) S 12185 12188 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10564001 9740288 345 18446744073709551615 4194304 5098028 140733114217872 140733114215976 140666305307260 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 27992064 140733114220956 140733114221159 140733114221159 140733114224619 0
/proc/12188/statm: 2378 345 289 221 0 87 0
[pid=12190] ppid=12188 vsize=13980732 CPUtime=12.76 cores=1,3,5,7
/proc/12190/stat : 12190 (java) S 12188 12188 5123 0 -1 1077944320 41613 0 0 0 1263 13 0 0 20 0 15 0 10564012 14316269568 61871 18446744073709551615 4194304 4196468 140730596970320 140730596952864 140273303215863 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
/proc/12190/statm: 3495183 61871 3218 1 0 3483484 0
[pid=12190/tid=12191] ppid=12188 vsize=13980732 CPUtime=6.09 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (java) R 12188 12188 5123 0 -1 4202560 10113 0 0 0 605 4 0 0 20 0 15 0 10564012 14316269568 61871 18446744073709551615 4194304 4196468 140730596970320 140273307452504 140272915014682 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12192] ppid=12188 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (java) S 12188 12188 5123 0 -1 1077944384 47 0 0 0 2 1 0 0 20 0 15 0 10564013 14316269568 61871 18446744073709551615 4194304 4196468 140730596970320 140273237649808 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12193] ppid=12188 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (java) S 12188 12188 5123 0 -1 1077944384 236 0 0 0 2 0 0 0 20 0 15 0 10564013 14316269568 61871 18446744073709551615 4194304 4196468 140730596970320 140273236597008 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12194] ppid=12188 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/12190/task/12194/stat : 12194 (java) S 12188 12188 5123 0 -1 1077944384 379 0 0 0 2 0 0 0 20 0 15 0 10564013 14316269568 61871 18446744073709551615 4194304 4196468 140730596970320 140273235544720 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12195] ppid=12188 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/12190/task/12195/stat : 12195 (java) S 12188 12188 5123 0 -1 1077944384 88 0 0 0 2 0 0 0 20 0 15 0 10564013 14316269568 61871 18446744073709551615 4194304 4196468 140730596970320 140273234491920 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12196] ppid=12188 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/12190/task/12196/stat : 12196 (java) S 12188 12188 5123 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 15 0 10564014 14316269568 61871 18446744073709551615 4194304 4196468 140730596970320 140272780921456 140273303227010 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12197] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12197/stat : 12197 (java) S 12188 12188 5123 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10564014 14316269568 61871 18446744073709551615 4194304 4196468 140730596970320 140272779867488 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12198] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12198/stat : 12198 (java) S 12188 12188 5123 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10564015 14316269568 61871 18446744073709551615 4194304 4196468 140730596970320 140272778815104 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12199] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12199/stat : 12199 (java) S 12188 12188 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10564017 14316269568 61871 18446744073709551615 4194304 4196468 140730596970320 140272777763408 140273303234459 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12200] ppid=12188 vsize=13980732 CPUtime=3.03 cores=1,3,5,7
/proc/12190/task/12200/stat : 12200 (java) S 12188 12188 5123 0 -1 1077944384 9413 0 0 0 302 1 0 0 20 0 15 0 10564017 14316269568 61871 18446744073709551615 4194304 4196468 140730596970320 140272776710256 140273303227010 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12201] ppid=12188 vsize=13980732 CPUtime=2.8 cores=1,3,5,7
/proc/12190/task/12201/stat : 12201 (java) S 12188 12188 5123 0 -1 1077944384 14564 0 0 0 279 1 0 0 20 0 15 0 10564017 14316269568 61871 18446744073709551615 4194304 4196468 140730596970320 140272775657456 140273303227010 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12202] ppid=12188 vsize=13980732 CPUtime=0.65 cores=1,3,5,7
/proc/12190/task/12202/stat : 12202 (java) S 12188 12188 5123 0 -1 1077944384 5217 0 0 0 64 1 0 0 20 0 15 0 10564017 14316269568 61871 18446744073709551615 4194304 4196468 140730596970320 140272774605168 140273303227010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12203] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12203/stat : 12203 (java) S 12188 12188 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10564017 14316269568 61871 18446744073709551615 4194304 4196468 140730596970320 140272773552608 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12204] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12204/stat : 12204 (java) S 12188 12188 5123 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 10564022 14316269568 61871 18446744073709551615 4194304 4196468 140730596970320 140272772500400 140273303227010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
Current children cumulated CPU time (s) 12.76
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.64 1.65 1.75 3/211 12205
/proc/meminfo: memFree=30962820/32770624 swapFree=0/189512
[pid=12188] ppid=12185 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12188/stat : 12188 (xcsp3-exec) S 12185 12188 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10564001 9740288 345 18446744073709551615 4194304 5098028 140733114217872 140733114215976 140666305307260 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 27992064 140733114220956 140733114221159 140733114221159 140733114224619 0
/proc/12188/statm: 2378 345 289 221 0 87 0
[pid=12190] ppid=12188 vsize=13980732 CPUtime=19.71 cores=1,3,5,7
/proc/12190/stat : 12190 (java) S 12188 12188 5123 0 -1 1077944320 50338 0 0 0 1951 20 0 0 20 0 15 0 10564012 14316269568 92361 18446744073709551615 4194304 4196468 140730596970320 140730596952864 140273303215863 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
/proc/12190/statm: 3495183 92361 3226 1 0 3483484 0
[pid=12190/tid=12191] ppid=12188 vsize=13980732 CPUtime=12.42 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (java) R 12188 12188 5123 0 -1 4202560 11422 0 0 0 1237 5 0 0 20 0 15 0 10564012 14316269568 92361 18446744073709551615 4194304 4196468 140730596970320 140273307452296 140272915032766 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12192] ppid=12188 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (java) S 12188 12188 5123 0 -1 1077944384 94 0 0 0 6 2 0 0 20 0 15 0 10564013 14316269568 92361 18446744073709551615 4194304 4196468 140730596970320 140273237649808 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12193] ppid=12188 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (java) S 12188 12188 5123 0 -1 1077944384 279 0 0 0 7 2 0 0 20 0 15 0 10564013 14316269568 92361 18446744073709551615 4194304 4196468 140730596970320 140273236597008 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
################
# More data... #
################
/proc/12190/task/12202/stat : 12202 (java) S 12188 12188 5123 0 -1 1077944384 6646 0 0 0 66 1 0 0 20 0 15 0 10564017 14316269568 97730 18446744073709551615 4194304 4196468 140730596970320 140272774605168 140273303227010 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12203] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12203/stat : 12203 (java) S 12188 12188 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10564017 14316269568 97730 18446744073709551615 4194304 4196468 140730596970320 140272773552608 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12204] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12204/stat : 12204 (java) S 12188 12188 5123 0 -1 1077944384 326 0 0 0 0 0 0 0 20 0 15 0 10564022 14316269568 97730 18446744073709551615 4194304 4196468 140730596970320 140272772500400 140273303227010 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
Current children cumulated CPU time (s) 28.31
Current children cumulated vsize (KiB) 13990244
[startup+22.4011 s]
/proc/loadavg: 1.62 1.65 1.75 3/211 12205
/proc/meminfo: memFree=30411292/32770624 swapFree=0/189524
[pid=12188] ppid=12185 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12188/stat : 12188 (xcsp3-exec) S 12185 12188 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10564001 9740288 345 18446744073709551615 4194304 5098028 140733114217872 140733114215976 140666305307260 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 27992064 140733114220956 140733114221159 140733114221159 140733114224619 0
/proc/12188/statm: 2378 345 289 221 0 87 0
[pid=12190] ppid=12188 vsize=13980732 CPUtime=30.17 cores=1,3,5,7
/proc/12190/stat : 12190 (java) S 12188 12188 5123 0 -1 1077944320 58699 0 0 0 2991 26 0 0 20 0 15 0 10564012 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140730596952864 140273303215863 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
/proc/12190/statm: 3495183 98660 3228 1 0 3483484 0
[pid=12190/tid=12191] ppid=12188 vsize=13980732 CPUtime=22.06 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (java) R 12188 12188 5123 0 -1 4202560 12595 0 0 0 2201 5 0 0 20 0 15 0 10564012 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140273307455088 140272914877100 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12192] ppid=12188 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (java) S 12188 12188 5123 0 -1 1077944384 451 0 0 0 11 3 0 0 20 0 15 0 10564013 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140273237649808 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12193] ppid=12188 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (java) S 12188 12188 5123 0 -1 1077944384 372 0 0 0 11 3 0 0 20 0 15 0 10564013 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140273236597008 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12194] ppid=12188 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/12190/task/12194/stat : 12194 (java) S 12188 12188 5123 0 -1 1077944384 743 0 0 0 11 3 0 0 20 0 15 0 10564013 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140273235544720 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12195] ppid=12188 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/12190/task/12195/stat : 12195 (java) S 12188 12188 5123 0 -1 1077944384 228 0 0 0 11 3 0 0 20 0 15 0 10564013 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140273234491920 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12196] ppid=12188 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/12190/task/12196/stat : 12196 (java) S 12188 12188 5123 0 -1 1077944384 710 0 0 0 2 0 0 0 20 0 15 0 10564014 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272780921456 140273303227010 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12197] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12197/stat : 12197 (java) S 12188 12188 5123 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10564014 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272779867488 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12198] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12198/stat : 12198 (java) S 12188 12188 5123 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10564015 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272778815104 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12199] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12199/stat : 12199 (java) S 12188 12188 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10564017 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272777763408 140273303234459 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12200] ppid=12188 vsize=13980732 CPUtime=3.28 cores=1,3,5,7
/proc/12190/task/12200/stat : 12200 (java) S 12188 12188 5123 0 -1 1077944384 13770 0 0 0 326 2 0 0 20 0 15 0 10564017 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272776710256 140273303227010 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12201] ppid=12188 vsize=13980732 CPUtime=3.47 cores=1,3,5,7
/proc/12190/task/12201/stat : 12201 (java) R 12188 12188 5123 0 -1 4202560 21073 0 0 0 345 2 0 0 20 0 15 0 10564017 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272775657752 140273286419840 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12202] ppid=12188 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/12190/task/12202/stat : 12202 (java) S 12188 12188 5123 0 -1 1077944384 7082 0 0 0 67 1 0 0 20 0 15 0 10564017 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272774605168 140273303227010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12203] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12203/stat : 12203 (java) S 12188 12188 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10564017 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272773552608 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12204] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12204/stat : 12204 (java) S 12188 12188 5123 0 -1 1077944384 326 0 0 0 0 0 0 0 20 0 15 0 10564022 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272772500400 140273303227010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
Current children cumulated CPU time (s) 30.17
Current children cumulated vsize (KiB) 13990244
[startup+23.2063 s]
/proc/loadavg: 1.62 1.65 1.75 3/211 12205
/proc/meminfo: memFree=30407196/32770624 swapFree=0/189524
[pid=12188] ppid=12185 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12188/stat : 12188 (xcsp3-exec) S 12185 12188 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10564001 9740288 345 18446744073709551615 4194304 5098028 140733114217872 140733114215976 140666305307260 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 27992064 140733114220956 140733114221159 140733114221159 140733114224619 0
/proc/12188/statm: 2378 345 289 221 0 87 0
[pid=12190] ppid=12188 vsize=13980732 CPUtime=31.05 cores=1,3,5,7
/proc/12190/stat : 12190 (java) S 12188 12188 5123 0 -1 1077944320 58756 0 0 0 3079 26 0 0 20 0 15 0 10564012 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140730596952864 140273303215863 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
/proc/12190/statm: 3495183 98660 3228 1 0 3483484 0
[pid=12190/tid=12191] ppid=12188 vsize=13980732 CPUtime=22.86 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (java) R 12188 12188 5123 0 -1 4202560 12610 0 0 0 2281 5 0 0 20 0 15 0 10564012 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140273307452256 140272918381756 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12192] ppid=12188 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (java) S 12188 12188 5123 0 -1 1077944384 451 0 0 0 11 3 0 0 20 0 15 0 10564013 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140273237649808 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12193] ppid=12188 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (java) S 12188 12188 5123 0 -1 1077944384 372 0 0 0 11 3 0 0 20 0 15 0 10564013 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140273236597008 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12194] ppid=12188 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/12190/task/12194/stat : 12194 (java) S 12188 12188 5123 0 -1 1077944384 743 0 0 0 11 3 0 0 20 0 15 0 10564013 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140273235544720 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12195] ppid=12188 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/12190/task/12195/stat : 12195 (java) S 12188 12188 5123 0 -1 1077944384 228 0 0 0 11 3 0 0 20 0 15 0 10564013 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140273234491920 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12196] ppid=12188 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/12190/task/12196/stat : 12196 (java) S 12188 12188 5123 0 -1 1077944384 711 0 0 0 2 0 0 0 20 0 15 0 10564014 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272780921456 140273303227010 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12197] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12197/stat : 12197 (java) S 12188 12188 5123 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10564014 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272779867488 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12198] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12198/stat : 12198 (java) S 12188 12188 5123 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10564015 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272778815104 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12199] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12199/stat : 12199 (java) S 12188 12188 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10564017 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272777763408 140273303234459 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12200] ppid=12188 vsize=13980732 CPUtime=3.3 cores=1,3,5,7
/proc/12190/task/12200/stat : 12200 (java) S 12188 12188 5123 0 -1 1077944384 13786 0 0 0 328 2 0 0 20 0 15 0 10564017 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272776710256 140273303227010 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12201] ppid=12188 vsize=13980732 CPUtime=3.55 cores=1,3,5,7
/proc/12190/task/12201/stat : 12201 (java) S 12188 12188 5123 0 -1 1077944384 21098 0 0 0 353 2 0 0 20 0 15 0 10564017 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272775657456 140273303227010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12202] ppid=12188 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/12190/task/12202/stat : 12202 (java) S 12188 12188 5123 0 -1 1077944384 7082 0 0 0 67 1 0 0 20 0 15 0 10564017 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272774605168 140273303227010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12203] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12203/stat : 12203 (java) S 12188 12188 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10564017 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272773552608 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12204] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12204/stat : 12204 (java) S 12188 12188 5123 0 -1 1077944384 326 0 0 0 0 0 0 0 20 0 15 0 10564022 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272772500400 140273303227010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
Current children cumulated CPU time (s) 31.05
Current children cumulated vsize (KiB) 13990244
[startup+23.4007 s]
/proc/loadavg: 1.62 1.65 1.75 3/211 12205
/proc/meminfo: memFree=30407196/32770624 swapFree=0/189524
[pid=12188] ppid=12185 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12188/stat : 12188 (xcsp3-exec) S 12185 12188 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10564001 9740288 345 18446744073709551615 4194304 5098028 140733114217872 140733114215976 140666305307260 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 27992064 140733114220956 140733114221159 140733114221159 140733114224619 0
/proc/12188/statm: 2378 345 289 221 0 87 0
[pid=12190] ppid=12188 vsize=13980732 CPUtime=31.25 cores=1,3,5,7
/proc/12190/stat : 12190 (java) S 12188 12188 5123 0 -1 1077944320 58756 0 0 0 3099 26 0 0 20 0 15 0 10564012 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140730596952864 140273303215863 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
/proc/12190/statm: 3495183 98660 3228 1 0 3483484 0
[pid=12190/tid=12191] ppid=12188 vsize=13980732 CPUtime=23.05 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (java) R 12188 12188 5123 0 -1 4202560 12610 0 0 0 2300 5 0 0 20 0 15 0 10564012 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140273307452256 140272914113200 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12192] ppid=12188 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (java) S 12188 12188 5123 0 -1 1077944384 451 0 0 0 11 3 0 0 20 0 15 0 10564013 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140273237649808 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12193] ppid=12188 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (java) S 12188 12188 5123 0 -1 1077944384 372 0 0 0 11 3 0 0 20 0 15 0 10564013 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140273236597008 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12194] ppid=12188 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/12190/task/12194/stat : 12194 (java) S 12188 12188 5123 0 -1 1077944384 743 0 0 0 11 3 0 0 20 0 15 0 10564013 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140273235544720 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12195] ppid=12188 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/12190/task/12195/stat : 12195 (java) S 12188 12188 5123 0 -1 1077944384 228 0 0 0 11 3 0 0 20 0 15 0 10564013 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140273234491920 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12196] ppid=12188 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/12190/task/12196/stat : 12196 (java) S 12188 12188 5123 0 -1 1077944384 711 0 0 0 2 0 0 0 20 0 15 0 10564014 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272780921456 140273303227010 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12197] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12197/stat : 12197 (java) S 12188 12188 5123 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10564014 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272779867488 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12198] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12198/stat : 12198 (java) S 12188 12188 5123 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10564015 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272778815104 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12199] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12199/stat : 12199 (java) S 12188 12188 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10564017 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272777763408 140273303234459 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12200] ppid=12188 vsize=13980732 CPUtime=3.3 cores=1,3,5,7
/proc/12190/task/12200/stat : 12200 (java) S 12188 12188 5123 0 -1 1077944384 13786 0 0 0 328 2 0 0 20 0 15 0 10564017 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272776710256 140273303227010 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12201] ppid=12188 vsize=13980732 CPUtime=3.55 cores=1,3,5,7
/proc/12190/task/12201/stat : 12201 (java) S 12188 12188 5123 0 -1 1077944384 21098 0 0 0 353 2 0 0 20 0 15 0 10564017 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272775657456 140273303227010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12202] ppid=12188 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/12190/task/12202/stat : 12202 (java) S 12188 12188 5123 0 -1 1077944384 7082 0 0 0 67 1 0 0 20 0 15 0 10564017 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272774605168 140273303227010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12203] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12203/stat : 12203 (java) S 12188 12188 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10564017 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272773552608 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12204] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12204/stat : 12204 (java) S 12188 12188 5123 0 -1 1077944384 326 0 0 0 0 0 0 0 20 0 15 0 10564022 14316269568 98660 18446744073709551615 4194304 4196468 140730596970320 140272772500400 140273303227010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
Current children cumulated CPU time (s) 31.25
Current children cumulated vsize (KiB) 13990244
[startup+23.5007 s]
/proc/loadavg: 1.62 1.65 1.75 3/211 12205
/proc/meminfo: memFree=30407196/32770624 swapFree=0/189524
[pid=12188] ppid=12185 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12188/stat : 12188 (xcsp3-exec) S 12185 12188 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10564001 9740288 345 18446744073709551615 4194304 5098028 140733114217872 140733114215976 140666305307260 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 27992064 140733114220956 140733114221159 140733114221159 140733114224619 0
/proc/12188/statm: 2378 345 289 221 0 87 0
[pid=12190] ppid=12188 vsize=13980732 CPUtime=31.36 cores=1,3,5,7
/proc/12190/stat : 12190 (java) S 12188 12188 5123 0 -1 1077944320 58775 0 0 0 3110 26 0 0 20 0 15 0 10564012 14316269568 98667 18446744073709551615 4194304 4196468 140730596970320 140730596952864 140273303215863 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
/proc/12190/statm: 3495183 98667 3228 1 0 3483484 0
[pid=12190/tid=12191] ppid=12188 vsize=13980732 CPUtime=23.15 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (java) R 12188 12188 5123 0 -1 4202560 12610 0 0 0 2310 5 0 0 20 0 15 0 10564012 14316269568 98667 18446744073709551615 4194304 4196468 140730596970320 140273307452256 140272914113214 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12192] ppid=12188 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (java) S 12188 12188 5123 0 -1 1077944384 451 0 0 0 11 3 0 0 20 0 15 0 10564013 14316269568 98667 18446744073709551615 4194304 4196468 140730596970320 140273237649808 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12193] ppid=12188 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (java) S 12188 12188 5123 0 -1 1077944384 372 0 0 0 11 3 0 0 20 0 15 0 10564013 14316269568 98667 18446744073709551615 4194304 4196468 140730596970320 140273236597008 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12194] ppid=12188 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/12190/task/12194/stat : 12194 (java) S 12188 12188 5123 0 -1 1077944384 743 0 0 0 11 3 0 0 20 0 15 0 10564013 14316269568 98667 18446744073709551615 4194304 4196468 140730596970320 140273235544720 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12195] ppid=12188 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/12190/task/12195/stat : 12195 (java) S 12188 12188 5123 0 -1 1077944384 228 0 0 0 11 3 0 0 20 0 15 0 10564013 14316269568 98667 18446744073709551615 4194304 4196468 140730596970320 140273234491920 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12196] ppid=12188 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/12190/task/12196/stat : 12196 (java) S 12188 12188 5123 0 -1 1077944384 711 0 0 0 2 0 0 0 20 0 15 0 10564014 14316269568 98667 18446744073709551615 4194304 4196468 140730596970320 140272780921456 140273303227010 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12197] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12197/stat : 12197 (java) S 12188 12188 5123 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10564014 14316269568 98667 18446744073709551615 4194304 4196468 140730596970320 140272779867488 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12198] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12198/stat : 12198 (java) S 12188 12188 5123 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10564015 14316269568 98667 18446744073709551615 4194304 4196468 140730596970320 140272778815104 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12199] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12199/stat : 12199 (java) S 12188 12188 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10564017 14316269568 98667 18446744073709551615 4194304 4196468 140730596970320 140272777763408 140273303234459 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12200] ppid=12188 vsize=13980732 CPUtime=3.3 cores=1,3,5,7
/proc/12190/task/12200/stat : 12200 (java) S 12188 12188 5123 0 -1 1077944384 13786 0 0 0 328 2 0 0 20 0 15 0 10564017 14316269568 98667 18446744073709551615 4194304 4196468 140730596970320 140272776710256 140273303227010 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12201] ppid=12188 vsize=13980732 CPUtime=3.56 cores=1,3,5,7
/proc/12190/task/12201/stat : 12201 (java) S 12188 12188 5123 0 -1 1077944384 21117 0 0 0 354 2 0 0 20 0 15 0 10564017 14316269568 98667 18446744073709551615 4194304 4196468 140730596970320 140272775657456 140273303227010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12202] ppid=12188 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/12190/task/12202/stat : 12202 (java) S 12188 12188 5123 0 -1 1077944384 7082 0 0 0 67 1 0 0 20 0 15 0 10564017 14316269568 98667 18446744073709551615 4194304 4196468 140730596970320 140272774605168 140273303227010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12203] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12203/stat : 12203 (java) S 12188 12188 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10564017 14316269568 98667 18446744073709551615 4194304 4196468 140730596970320 140272773552608 140273303226069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
[pid=12190/tid=12204] ppid=12188 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12204/stat : 12204 (java) S 12188 12188 5123 0 -1 1077944384 326 0 0 0 0 0 0 0 20 0 15 0 10564022 14316269568 98667 18446744073709551615 4194304 4196468 140730596970320 140272772500400 140273303227010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140730596975060 140730596975235 140730596975235 140730596978639 0
Current children cumulated CPU time (s) 31.36
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 23.5433
CPU time (s): 31.4161
CPU user time (s): 31.1433
CPU system time (s): 0.272818
CPU usage (%): 133.44
Max. virtual memory (cumulated for all children) (KiB): 13992160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.1433
system time used= 0.272818
maximum resident set size= 398636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59696
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3628
involuntary context switches= 60
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.113574 second user time and 0.15116 second system time
The end