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-4254957-1501981282/watcher-4254957-1501981282 -o /tmp/evaluation-result-4254957-1501981282/solver-4254957-1501981282 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501978204-32403 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1804531734 HOME/instance-4254957-1501981282.xml
pid=2284
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.12 1.96 1.93 3/200 2287
/proc/meminfo: memFree=31077476/32770624 swapFree=0/281960
[pid=2287] ppid=2284 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/2287/stat : 2287 (runsolver) D 2284 2287 30500 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 45943477 24240128 107 18446744073709551615 4194304 4338465 140724509651648 140724509649288 139822634808023 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 22999040 140724509655138 140724509655628 140724509655628 140724509659082 0
/proc/2287/statm: 5918 107 54 36 0 2156 0
[startup+0.100107 s]
/proc/loadavg: 2.12 1.96 1.93 3/200 2287
/proc/meminfo: memFree=31077476/32770624 swapFree=0/281960
[pid=2287] ppid=2284 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/2287/stat : 2287 (xcsp3-exec) S 2284 2287 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 45943477 9740288 344 18446744073709551615 4194304 5098028 140724132621824 140724132619928 140579023450748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 39239680 140724132622753 140724132622957 140724132622957 140724132626411 0
/proc/2287/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.202115 s]
/proc/loadavg: 2.12 1.96 1.93 3/200 2287
/proc/meminfo: memFree=31077476/32770624 swapFree=0/281960
[pid=2287] ppid=2284 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/2287/stat : 2287 (xcsp3-exec) S 2284 2287 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 45943477 9740288 344 18446744073709551615 4194304 5098028 140724132621824 140724132619928 140579023450748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 39239680 140724132622753 140724132622957 140724132622957 140724132626411 0
/proc/2287/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300247 s]
/proc/loadavg: 2.12 1.96 1.93 3/200 2287
/proc/meminfo: memFree=31077476/32770624 swapFree=0/281960
[pid=2287] ppid=2284 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/2287/stat : 2287 (xcsp3-exec) S 2284 2287 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 45943477 9740288 344 18446744073709551615 4194304 5098028 140724132621824 140724132619928 140579023450748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 39239680 140724132622753 140724132622957 140724132622957 140724132626411 0
/proc/2287/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700201 s]
/proc/loadavg: 2.12 1.96 1.93 3/200 2287
/proc/meminfo: memFree=31077476/32770624 swapFree=0/281960
[pid=2287] ppid=2284 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/2287/stat : 2287 (xcsp3-exec) S 2284 2287 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 45943477 9740288 344 18446744073709551615 4194304 5098028 140724132621824 140724132619928 140579023450748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 39239680 140724132622753 140724132622957 140724132622957 140724132626411 0
/proc/2287/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50078 s]
/proc/loadavg: 2.12 1.96 1.93 6/216 2303
/proc/meminfo: memFree=30869652/32770624 swapFree=0/281920
[pid=2287] ppid=2284 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/2287/stat : 2287 (xcsp3-exec) S 2284 2287 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 45943477 9740288 344 18446744073709551615 4194304 5098028 140724132621824 140724132619928 140579023450748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 39239680 140724132622753 140724132622957 140724132622957 140724132626411 0
/proc/2287/statm: 2378 344 289 221 0 87 0
[pid=2289] ppid=2287 vsize=13980732 CPUtime=4.03 cores=0,2,4,6
/proc/2289/stat : 2289 (java) S 2287 2287 30500 0 -1 1077944320 15976 0 0 0 392 11 0 0 20 0 15 0 45943486 14316269568 56475 18446744073709551615 4194304 4196468 140732577065072 140732577047616 139762172391159 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
/proc/2289/statm: 3495183 56475 3211 1 0 3483476 0
[pid=2289/tid=2290] ppid=2287 vsize=13980732 CPUtime=1.3 cores=0,2,4,6
/proc/2289/task/2290/stat : 2290 (java) R 2287 2287 30500 0 -1 4202560 8508 0 0 0 126 4 0 0 20 0 15 0 45943486 14316269568 56475 18446744073709551615 4194304 4196468 140732577065072 139762176626504 139762154680531 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2291] ppid=2287 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/2289/task/2291/stat : 2291 (java) S 2287 2287 30500 0 -1 1077944384 60 0 0 0 2 1 0 0 20 0 15 0 45943487 14316269568 56475 18446744073709551615 4194304 4196468 140732577065072 139762129357840 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2292] ppid=2287 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/2289/task/2292/stat : 2292 (java) S 2287 2287 30500 0 -1 1077944384 81 0 0 0 2 0 0 0 20 0 15 0 45943487 14316269568 56475 18446744073709551615 4194304 4196468 140732577065072 139761771801744 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2293] ppid=2287 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/2289/task/2293/stat : 2293 (java) S 2287 2287 30500 0 -1 1077944384 69 0 0 0 2 1 0 0 20 0 15 0 45943487 14316269568 56475 18446744073709551615 4194304 4196468 140732577065072 139761770748688 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2294] ppid=2287 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/2289/task/2294/stat : 2294 (java) S 2287 2287 30500 0 -1 1077944384 60 0 0 0 1 1 0 0 20 0 15 0 45943487 14316269568 56475 18446744073709551615 4194304 4196468 140732577065072 139761769696144 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2295] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2295/stat : 2295 (java) S 2287 2287 30500 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 45943488 14316269568 56475 18446744073709551615 4194304 4196468 140732577065072 139761650989296 139762172402306 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2296] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2296/stat : 2296 (java) S 2287 2287 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45943489 14316269568 56475 18446744073709551615 4194304 4196468 140732577065072 139761649935584 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2297] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2297/stat : 2297 (java) S 2287 2287 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45943489 14316269568 56475 18446744073709551615 4194304 4196468 140732577065072 139761648882432 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2298] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2298/stat : 2298 (java) S 2287 2287 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45943491 14316269568 56475 18446744073709551615 4194304 4196468 140732577065072 139761647830992 139762172409755 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2299] ppid=2287 vsize=13980732 CPUtime=1.01 cores=0,2,4,6
/proc/2289/task/2299/stat : 2299 (java) R 2287 2287 30500 0 -1 4202560 1826 0 0 0 101 0 0 0 20 0 15 0 45943491 14316269568 56475 18446744073709551615 4194304 4196468 140732577065072 139761646765680 139762150792765 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2300] ppid=2287 vsize=13980732 CPUtime=1.02 cores=0,2,4,6
/proc/2289/task/2300/stat : 2300 (java) R 2287 2287 30500 0 -1 4202560 1830 0 0 0 102 0 0 0 20 0 15 0 45943491 14316269568 56475 18446744073709551615 4194304 4196468 140732577065072 139761645712768 139762153912034 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2301] ppid=2287 vsize=13980732 CPUtime=0.51 cores=0,2,4,6
/proc/2289/task/2301/stat : 2301 (java) S 2287 2287 30500 0 -1 1077944384 2163 0 0 0 51 0 0 0 20 0 15 0 45943492 14316269568 56475 18446744073709551615 4194304 4196468 140732577065072 139761644673520 139762172402306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2302] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2302/stat : 2302 (java) S 2287 2287 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45943492 14316269568 56475 18446744073709551615 4194304 4196468 140732577065072 139761643621216 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2303] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2303/stat : 2303 (java) S 2287 2287 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45943496 14316269568 56475 18446744073709551615 4194304 4196468 140732577065072 139761642568240 139762172402306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 13990244
[startup+3.1007 s]
/proc/loadavg: 2.03 1.95 1.92 3/216 2303
/proc/meminfo: memFree=30751060/32770624 swapFree=0/281920
[pid=2287] ppid=2284 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/2287/stat : 2287 (xcsp3-exec) S 2284 2287 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 45943477 9740288 344 18446744073709551615 4194304 5098028 140724132621824 140724132619928 140579023450748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 39239680 140724132622753 140724132622957 140724132622957 140724132626411 0
/proc/2287/statm: 2378 344 289 221 0 87 0
[pid=2289] ppid=2287 vsize=13980732 CPUtime=6.79 cores=0,2,4,6
/proc/2289/stat : 2289 (java) S 2287 2287 30500 0 -1 1077944320 17205 0 0 0 659 20 0 0 20 0 15 0 45943486 14316269568 105498 18446744073709551615 4194304 4196468 140732577065072 140732577047616 139762172391159 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
/proc/2289/statm: 3495183 105498 3232 1 0 3483476 0
[pid=2289/tid=2290] ppid=2287 vsize=13980732 CPUtime=2.82 cores=0,2,4,6
/proc/2289/task/2290/stat : 2290 (java) R 2287 2287 30500 0 -1 4202560 8948 0 0 0 276 6 0 0 20 0 15 0 45943486 14316269568 105498 18446744073709551615 4194304 4196468 140732577065072 139762176628376 139761816512945 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2291] ppid=2287 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/2289/task/2291/stat : 2291 (java) S 2287 2287 30500 0 -1 1077944384 99 0 0 0 9 2 0 0 20 0 15 0 45943487 14316269568 105498 18446744073709551615 4194304 4196468 140732577065072 139762129357840 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2292] ppid=2287 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/2289/task/2292/stat : 2292 (java) S 2287 2287 30500 0 -1 1077944384 122 0 0 0 8 2 0 0 20 0 15 0 45943487 14316269568 105498 18446744073709551615 4194304 4196468 140732577065072 139761771801744 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2293] ppid=2287 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/2289/task/2293/stat : 2293 (java) S 2287 2287 30500 0 -1 1077944384 103 0 0 0 8 2 0 0 20 0 15 0 45943487 14316269568 105498 18446744073709551615 4194304 4196468 140732577065072 139761770748688 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2294] ppid=2287 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/2289/task/2294/stat : 2294 (java) S 2287 2287 30500 0 -1 1077944384 117 0 0 0 8 2 0 0 20 0 15 0 45943487 14316269568 105498 18446744073709551615 4194304 4196468 140732577065072 139761769696144 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2295] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2295/stat : 2295 (java) S 2287 2287 30500 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 45943488 14316269568 105498 18446744073709551615 4194304 4196468 140732577065072 139761650989296 139762172402306 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2296] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2296/stat : 2296 (java) S 2287 2287 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45943489 14316269568 105498 18446744073709551615 4194304 4196468 140732577065072 139761649935584 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2297] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2297/stat : 2297 (java) S 2287 2287 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45943489 14316269568 105498 18446744073709551615 4194304 4196468 140732577065072 139761648882432 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2298] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2298/stat : 2298 (java) S 2287 2287 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45943491 14316269568 105498 18446744073709551615 4194304 4196468 140732577065072 139761647830992 139762172409755 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2299] ppid=2287 vsize=13980732 CPUtime=1.41 cores=0,2,4,6
/proc/2289/task/2299/stat : 2299 (java) S 2287 2287 30500 0 -1 1077944384 2054 0 0 0 141 0 0 0 20 0 15 0 45943491 14316269568 105498 18446744073709551615 4194304 4196468 140732577065072 139761646779120 139762172402306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2300] ppid=2287 vsize=13980732 CPUtime=1.42 cores=0,2,4,6
/proc/2289/task/2300/stat : 2300 (java) S 2287 2287 30500 0 -1 1077944384 1919 0 0 0 142 0 0 0 20 0 15 0 45943491 14316269568 105498 18446744073709551615 4194304 4196468 140732577065072 139761645726576 139762172402306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2301] ppid=2287 vsize=13980732 CPUtime=0.62 cores=0,2,4,6
/proc/2289/task/2301/stat : 2301 (java) S 2287 2287 30500 0 -1 1077944384 2336 0 0 0 62 0 0 0 20 0 15 0 45943492 14316269568 105498 18446744073709551615 4194304 4196468 140732577065072 139761644673520 139762172402306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2302] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2302/stat : 2302 (java) S 2287 2287 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45943492 14316269568 105498 18446744073709551615 4194304 4196468 140732577065072 139761643621216 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2303] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2303/stat : 2303 (java) S 2287 2287 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45943496 14316269568 105498 18446744073709551615 4194304 4196468 140732577065072 139761642568240 139762172402306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
Current children cumulated CPU time (s) 6.79
Current children cumulated vsize (KiB) 13990244
[startup+6.3007 s]
/proc/loadavg: 2.03 1.95 1.92 3/216 2303
/proc/meminfo: memFree=30640672/32770624 swapFree=0/281924
[pid=2287] ppid=2284 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/2287/stat : 2287 (xcsp3-exec) S 2284 2287 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 45943477 9740288 344 18446744073709551615 4194304 5098028 140724132621824 140724132619928 140579023450748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 39239680 140724132622753 140724132622957 140724132622957 140724132626411 0
/proc/2287/statm: 2378 344 289 221 0 87 0
[pid=2289] ppid=2287 vsize=13980732 CPUtime=10.02 cores=0,2,4,6
/proc/2289/stat : 2289 (java) S 2287 2287 30500 0 -1 1077944320 19051 0 0 0 982 20 0 0 20 0 15 0 45943486 14316269568 105643 18446744073709551615 4194304 4196468 140732577065072 140732577047616 139762172391159 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
/proc/2289/statm: 3495183 105643 3235 1 0 3483476 0
[pid=2289/tid=2290] ppid=2287 vsize=13980732 CPUtime=6.02 cores=0,2,4,6
/proc/2289/task/2290/stat : 2290 (java) R 2287 2287 30500 0 -1 4202560 9382 0 0 0 596 6 0 0 20 0 15 0 45943486 14316269568 105643 18446744073709551615 4194304 4196468 140732577065072 139762176627584 139761816526488 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2291] ppid=2287 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/2289/task/2291/stat : 2291 (java) S 2287 2287 30500 0 -1 1077944384 99 0 0 0 9 2 0 0 20 0 15 0 45943487 14316269568 105643 18446744073709551615 4194304 4196468 140732577065072 139762129357840 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2292] ppid=2287 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/2289/task/2292/stat : 2292 (java) S 2287 2287 30500 0 -1 1077944384 122 0 0 0 8 2 0 0 20 0 15 0 45943487 14316269568 105643 18446744073709551615 4194304 4196468 140732577065072 139761771801744 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2293] ppid=2287 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/2289/task/2293/stat : 2293 (java) S 2287 2287 30500 0 -1 1077944384 103 0 0 0 8 2 0 0 20 0 15 0 45943487 14316269568 105643 18446744073709551615 4194304 4196468 140732577065072 139761770748688 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2294] ppid=2287 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/2289/task/2294/stat : 2294 (java) S 2287 2287 30500 0 -1 1077944384 117 0 0 0 8 2 0 0 20 0 15 0 45943487 14316269568 105643 18446744073709551615 4194304 4196468 140732577065072 139761769696144 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2295] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2295/stat : 2295 (java) S 2287 2287 30500 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 15 0 45943488 14316269568 105643 18446744073709551615 4194304 4196468 140732577065072 139761650989296 139762172402306 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2296] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2296/stat : 2296 (java) S 2287 2287 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45943489 14316269568 105643 18446744073709551615 4194304 4196468 140732577065072 139761649935584 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2297] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2297/stat : 2297 (java) S 2287 2287 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45943489 14316269568 105643 18446744073709551615 4194304 4196468 140732577065072 139761648882432 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2298] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2298/stat : 2298 (java) S 2287 2287 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45943491 14316269568 105643 18446744073709551615 4194304 4196468 140732577065072 139761647830992 139762172409755 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2299] ppid=2287 vsize=13980732 CPUtime=1.41 cores=0,2,4,6
/proc/2289/task/2299/stat : 2299 (java) S 2287 2287 30500 0 -1 1077944384 2096 0 0 0 141 0 0 0 20 0 15 0 45943491 14316269568 105643 18446744073709551615 4194304 4196468 140732577065072 139761646779120 139762172402306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2300] ppid=2287 vsize=13980732 CPUtime=1.43 cores=0,2,4,6
/proc/2289/task/2300/stat : 2300 (java) S 2287 2287 30500 0 -1 1077944384 2001 0 0 0 143 0 0 0 20 0 15 0 45943491 14316269568 105643 18446744073709551615 4194304 4196468 140732577065072 139761645726576 139762172402306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2301] ppid=2287 vsize=13980732 CPUtime=0.65 cores=0,2,4,6
/proc/2289/task/2301/stat : 2301 (java) S 2287 2287 30500 0 -1 1077944384 3225 0 0 0 65 0 0 0 20 0 15 0 45943492 14316269568 105643 18446744073709551615 4194304 4196468 140732577065072 139761644673520 139762172402306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2302] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2302/stat : 2302 (java) S 2287 2287 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45943492 14316269568 105643 18446744073709551615 4194304 4196468 140732577065072 139761643621216 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2303] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2303/stat : 2303 (java) S 2287 2287 30500 0 -1 1077944384 364 0 0 0 0 0 0 0 20 0 15 0 45943496 14316269568 105643 18446744073709551615 4194304 4196468 140732577065072 139761642568240 139762172402306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
Current children cumulated CPU time (s) 10.02
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.02 1.95 1.92 3/216 2303
/proc/meminfo: memFree=30537420/32770624 swapFree=0/281928
[pid=2287] ppid=2284 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/2287/stat : 2287 (xcsp3-exec) S 2284 2287 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 45943477 9740288 344 18446744073709551615 4194304 5098028 140724132621824 140724132619928 140579023450748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 39239680 140724132622753 140724132622957 140724132622957 140724132626411 0
/proc/2287/statm: 2378 344 289 221 0 87 0
[pid=2289] ppid=2287 vsize=13980732 CPUtime=16.55 cores=0,2,4,6
/proc/2289/stat : 2289 (java) S 2287 2287 30500 0 -1 1077944320 21992 0 0 0 1631 24 0 0 20 0 15 0 45943486 14316269568 134839 18446744073709551615 4194304 4196468 140732577065072 140732577047616 139762172391159 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
/proc/2289/statm: 3495183 134839 3237 1 0 3483476 0
[pid=2289/tid=2290] ppid=2287 vsize=13980732 CPUtime=12.38 cores=0,2,4,6
/proc/2289/task/2290/stat : 2290 (java) R 2287 2287 30500 0 -1 4202560 10116 0 0 0 1231 7 0 0 20 0 15 0 45943486 14316269568 134839 18446744073709551615 4194304 4196468 140732577065072 139762176627472 139761816513026 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2291] ppid=2287 vsize=13980732 CPUtime=0.14 cores=0,2,4,6
/proc/2289/task/2291/stat : 2291 (java) S 2287 2287 30500 0 -1 1077944384 209 0 0 0 11 3 0 0 20 0 15 0 45943487 14316269568 134839 18446744073709551615 4194304 4196468 140732577065072 139762129357840 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2292] ppid=2287 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/2289/task/2292/stat : 2292 (java) S 2287 2287 30500 0 -1 1077944384 183 0 0 0 10 3 0 0 20 0 15 0 45943487 14316269568 134839 18446744073709551615 4194304 4196468 140732577065072 139761771801744 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
################
# More data... #
################
[pid=2289/tid=2296] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2296/stat : 2296 (java) S 2287 2287 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45943489 14316269568 555051 18446744073709551615 4194304 4196468 140732577065072 139761649935584 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2297] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2297/stat : 2297 (java) S 2287 2287 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45943489 14316269568 555051 18446744073709551615 4194304 4196468 140732577065072 139761648882432 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2298] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2298/stat : 2298 (java) S 2287 2287 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45943491 14316269568 555051 18446744073709551615 4194304 4196468 140732577065072 139761647830992 139762172409755 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2299] ppid=2287 vsize=13980732 CPUtime=1.57 cores=0,2,4,6
/proc/2289/task/2299/stat : 2299 (java) S 2287 2287 30500 0 -1 1077944384 5125 0 0 0 157 0 0 0 20 0 15 0 45943491 14316269568 555051 18446744073709551615 4194304 4196468 140732577065072 139761646779120 139762172402306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2300] ppid=2287 vsize=13980732 CPUtime=1.58 cores=0,2,4,6
/proc/2289/task/2300/stat : 2300 (java) S 2287 2287 30500 0 -1 1077944384 6303 0 0 0 157 1 0 0 20 0 15 0 45943491 14316269568 555051 18446744073709551615 4194304 4196468 140732577065072 139761645726576 139762172402306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2301] ppid=2287 vsize=13980732 CPUtime=0.66 cores=0,2,4,6
/proc/2289/task/2301/stat : 2301 (java) S 2287 2287 30500 0 -1 1077944384 3589 0 0 0 66 0 0 0 20 0 15 0 45943492 14316269568 555051 18446744073709551615 4194304 4196468 140732577065072 139761644673520 139762172402306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2302] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2302/stat : 2302 (java) S 2287 2287 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45943492 14316269568 555051 18446744073709551615 4194304 4196468 140732577065072 139761643621216 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2303] ppid=2287 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/2289/task/2303/stat : 2303 (java) S 2287 2287 30500 0 -1 1077944384 647 0 0 0 2 3 0 0 20 0 15 0 45943496 14316269568 555051 18446744073709551615 4194304 4196468 140732577065072 139761642568240 139762172402306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
Current children cumulated CPU time (s) 106.84
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.95 1.97 1.94 3/216 2309
/proc/meminfo: memFree=26264204/32770624 swapFree=0/282052
[pid=2287] ppid=2284 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/2287/stat : 2287 (xcsp3-exec) S 2284 2287 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 45943477 9740288 344 18446744073709551615 4194304 5098028 140724132621824 140724132619928 140579023450748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 39239680 140724132622753 140724132622957 140724132622957 140724132626411 0
/proc/2287/statm: 2378 344 289 221 0 87 0
[pid=2289] ppid=2287 vsize=13980732 CPUtime=166.95 cores=0,2,4,6
/proc/2289/stat : 2289 (java) S 2287 2287 30500 0 -1 1077944320 46234 0 0 0 16629 66 0 0 20 0 15 0 45943486 14316269568 556468 18446744073709551615 4194304 4196468 140732577065072 140732577047616 139762172391159 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
/proc/2289/statm: 3495183 556468 3239 1 0 3483476 0
[pid=2289/tid=2290] ppid=2287 vsize=13980732 CPUtime=161.84 cores=0,2,4,6
/proc/2289/task/2290/stat : 2290 (java) R 2287 2287 30500 0 -1 4202560 18946 0 0 0 16152 32 0 0 20 0 15 0 45943486 14316269568 556468 18446744073709551615 4194304 4196468 140732577065072 139762176628232 139761816512955 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2291] ppid=2287 vsize=13980732 CPUtime=0.26 cores=0,2,4,6
/proc/2289/task/2291/stat : 2291 (java) S 2287 2287 30500 0 -1 1077944384 379 0 0 0 20 6 0 0 20 0 15 0 45943487 14316269568 556468 18446744073709551615 4194304 4196468 140732577065072 139762129357840 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2292] ppid=2287 vsize=13980732 CPUtime=0.25 cores=0,2,4,6
/proc/2289/task/2292/stat : 2292 (java) S 2287 2287 30500 0 -1 1077944384 1951 0 0 0 19 6 0 0 20 0 15 0 45943487 14316269568 556468 18446744073709551615 4194304 4196468 140732577065072 139761771801744 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2293] ppid=2287 vsize=13980732 CPUtime=0.26 cores=0,2,4,6
/proc/2289/task/2293/stat : 2293 (java) S 2287 2287 30500 0 -1 1077944384 2692 0 0 0 20 6 0 0 20 0 15 0 45943487 14316269568 556468 18446744073709551615 4194304 4196468 140732577065072 139761770748688 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2294] ppid=2287 vsize=13980732 CPUtime=0.25 cores=0,2,4,6
/proc/2289/task/2294/stat : 2294 (java) S 2287 2287 30500 0 -1 1077944384 947 0 0 0 19 6 0 0 20 0 15 0 45943487 14316269568 556468 18446744073709551615 4194304 4196468 140732577065072 139761769696144 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2295] ppid=2287 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/2289/task/2295/stat : 2295 (java) S 2287 2287 30500 0 -1 1077944384 2430 0 0 0 2 0 0 0 20 0 15 0 45943488 14316269568 556468 18446744073709551615 4194304 4196468 140732577065072 139761650989296 139762172402306 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2296] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2296/stat : 2296 (java) S 2287 2287 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45943489 14316269568 556468 18446744073709551615 4194304 4196468 140732577065072 139761649935584 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2297] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2297/stat : 2297 (java) S 2287 2287 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45943489 14316269568 556468 18446744073709551615 4194304 4196468 140732577065072 139761648882432 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2298] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2298/stat : 2298 (java) S 2287 2287 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45943491 14316269568 556468 18446744073709551615 4194304 4196468 140732577065072 139761647830992 139762172409755 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2299] ppid=2287 vsize=13980732 CPUtime=1.57 cores=0,2,4,6
/proc/2289/task/2299/stat : 2299 (java) S 2287 2287 30500 0 -1 1077944384 5127 0 0 0 157 0 0 0 20 0 15 0 45943491 14316269568 556468 18446744073709551615 4194304 4196468 140732577065072 139761646779120 139762172402306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2300] ppid=2287 vsize=13980732 CPUtime=1.64 cores=0,2,4,6
/proc/2289/task/2300/stat : 2300 (java) S 2287 2287 30500 0 -1 1077944384 8116 0 0 0 163 1 0 0 20 0 15 0 45943491 14316269568 556468 18446744073709551615 4194304 4196468 140732577065072 139761645726576 139762172402306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2301] ppid=2287 vsize=13980732 CPUtime=0.67 cores=0,2,4,6
/proc/2289/task/2301/stat : 2301 (java) S 2287 2287 30500 0 -1 1077944384 3698 0 0 0 66 1 0 0 20 0 15 0 45943492 14316269568 556468 18446744073709551615 4194304 4196468 140732577065072 139761644673520 139762172402306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2302] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2302/stat : 2302 (java) S 2287 2287 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45943492 14316269568 556468 18446744073709551615 4194304 4196468 140732577065072 139761643621216 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2303] ppid=2287 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/2289/task/2303/stat : 2303 (java) S 2287 2287 30500 0 -1 1077944384 653 0 0 0 3 6 0 0 20 0 15 0 45943496 14316269568 556468 18446744073709551615 4194304 4196468 140732577065072 139761642568240 139762172402306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
Current children cumulated CPU time (s) 166.95
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.04 1.99 1.95 2/200 2365
/proc/meminfo: memFree=29450424/32770624 swapFree=0/282104
[pid=2287] ppid=2284 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/2287/stat : 2287 (xcsp3-exec) S 2284 2287 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 45943477 9740288 344 18446744073709551615 4194304 5098028 140724132621824 140724132619928 140579023450748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 39239680 140724132622753 140724132622957 140724132622957 140724132626411 0
/proc/2287/statm: 2378 344 289 221 0 87 0
[pid=2289] ppid=2287 vsize=13980732 CPUtime=227.04 cores=0,2,4,6
/proc/2289/stat : 2289 (java) S 2287 2287 30500 0 -1 1077944320 50041 0 0 0 22634 70 0 0 20 0 15 0 45943486 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 140732577047616 139762172391159 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
/proc/2289/statm: 3495183 558630 3239 1 0 3483476 0
[pid=2289/tid=2290] ppid=2287 vsize=13980732 CPUtime=221.84 cores=0,2,4,6
/proc/2289/task/2290/stat : 2290 (java) R 2287 2287 30500 0 -1 4202560 21547 0 0 0 22151 33 0 0 20 0 15 0 45943486 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139762176631040 139761816513026 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2291] ppid=2287 vsize=13980732 CPUtime=0.27 cores=0,2,4,6
/proc/2289/task/2291/stat : 2291 (java) S 2287 2287 30500 0 -1 1077944384 725 0 0 0 21 6 0 0 20 0 15 0 45943487 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139762129357840 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2292] ppid=2287 vsize=13980732 CPUtime=0.26 cores=0,2,4,6
/proc/2289/task/2292/stat : 2292 (java) S 2287 2287 30500 0 -1 1077944384 2113 0 0 0 20 6 0 0 20 0 15 0 45943487 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139761771801744 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2293] ppid=2287 vsize=13980732 CPUtime=0.26 cores=0,2,4,6
/proc/2289/task/2293/stat : 2293 (java) S 2287 2287 30500 0 -1 1077944384 3072 0 0 0 20 6 0 0 20 0 15 0 45943487 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139761770748688 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2294] ppid=2287 vsize=13980732 CPUtime=0.26 cores=0,2,4,6
/proc/2289/task/2294/stat : 2294 (java) S 2287 2287 30500 0 -1 1077944384 1004 0 0 0 20 6 0 0 20 0 15 0 45943487 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139761769696144 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2295] ppid=2287 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/2289/task/2295/stat : 2295 (java) S 2287 2287 30500 0 -1 1077944384 2642 0 0 0 2 0 0 0 20 0 15 0 45943488 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139761650989296 139762172402306 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2296] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2296/stat : 2296 (java) S 2287 2287 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45943489 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139761649935584 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2297] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2297/stat : 2297 (java) S 2287 2287 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45943489 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139761648882432 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2298] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2298/stat : 2298 (java) S 2287 2287 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45943491 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139761647830992 139762172409755 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2299] ppid=2287 vsize=13980732 CPUtime=1.57 cores=0,2,4,6
/proc/2289/task/2299/stat : 2299 (java) S 2287 2287 30500 0 -1 1077944384 5129 0 0 0 157 0 0 0 20 0 15 0 45943491 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139761646779120 139762172402306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2300] ppid=2287 vsize=13980732 CPUtime=1.64 cores=0,2,4,6
/proc/2289/task/2300/stat : 2300 (java) S 2287 2287 30500 0 -1 1077944384 8117 0 0 0 163 1 0 0 20 0 15 0 45943491 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139761645726576 139762172402306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2301] ppid=2287 vsize=13980732 CPUtime=0.68 cores=0,2,4,6
/proc/2289/task/2301/stat : 2301 (java) S 2287 2287 30500 0 -1 1077944384 3702 0 0 0 67 1 0 0 20 0 15 0 45943492 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139761644673520 139762172402306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2302] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2302/stat : 2302 (java) S 2287 2287 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45943492 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139761643621216 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2303] ppid=2287 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/2289/task/2303/stat : 2303 (java) S 2287 2287 30500 0 -1 1077944384 695 0 0 0 5 8 0 0 20 0 15 0 45943496 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139761642568240 139762172402306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
Current children cumulated CPU time (s) 227.04
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.18 2.02 1.96 3/219 2404
/proc/meminfo: memFree=28364664/32770624 swapFree=0/282192
[pid=2287] ppid=2284 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/2287/stat : 2287 (xcsp3-exec) S 2284 2287 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 45943477 9740288 344 18446744073709551615 4194304 5098028 140724132621824 140724132619928 140579023450748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 39239680 140724132622753 140724132622957 140724132622957 140724132626411 0
/proc/2287/statm: 2378 344 289 221 0 87 0
[pid=2289] ppid=2287 vsize=13980732 CPUtime=244.74 cores=0,2,4,6
/proc/2289/stat : 2289 (java) S 2287 2287 30500 0 -1 1077944320 50240 0 0 0 24403 71 0 0 20 0 15 0 45943486 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 140732577047616 139762172391159 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
/proc/2289/statm: 3495183 558630 3239 1 0 3483476 0
[pid=2289/tid=2290] ppid=2287 vsize=13980732 CPUtime=239.53 cores=0,2,4,6
/proc/2289/task/2290/stat : 2290 (java) R 2287 2287 30500 0 -1 4202560 21711 0 0 0 23920 33 0 0 20 0 15 0 45943486 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139762176631040 139761816526505 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2291] ppid=2287 vsize=13980732 CPUtime=0.27 cores=0,2,4,6
/proc/2289/task/2291/stat : 2291 (java) S 2287 2287 30500 0 -1 1077944384 725 0 0 0 21 6 0 0 20 0 15 0 45943487 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139762129357840 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2292] ppid=2287 vsize=13980732 CPUtime=0.26 cores=0,2,4,6
/proc/2289/task/2292/stat : 2292 (java) S 2287 2287 30500 0 -1 1077944384 2113 0 0 0 20 6 0 0 20 0 15 0 45943487 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139761771801744 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2293] ppid=2287 vsize=13980732 CPUtime=0.26 cores=0,2,4,6
/proc/2289/task/2293/stat : 2293 (java) S 2287 2287 30500 0 -1 1077944384 3072 0 0 0 20 6 0 0 20 0 15 0 45943487 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139761770748688 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2294] ppid=2287 vsize=13980732 CPUtime=0.26 cores=0,2,4,6
/proc/2289/task/2294/stat : 2294 (java) S 2287 2287 30500 0 -1 1077944384 1004 0 0 0 20 6 0 0 20 0 15 0 45943487 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139761769696144 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2295] ppid=2287 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/2289/task/2295/stat : 2295 (java) S 2287 2287 30500 0 -1 1077944384 2647 0 0 0 2 0 0 0 20 0 15 0 45943488 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139761650989296 139762172402306 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2296] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2296/stat : 2296 (java) S 2287 2287 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45943489 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139761649935584 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2297] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2297/stat : 2297 (java) S 2287 2287 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45943489 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139761648882432 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2298] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2298/stat : 2298 (java) S 2287 2287 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45943491 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139761647830992 139762172409755 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2299] ppid=2287 vsize=13980732 CPUtime=1.57 cores=0,2,4,6
/proc/2289/task/2299/stat : 2299 (java) S 2287 2287 30500 0 -1 1077944384 5129 0 0 0 157 0 0 0 20 0 15 0 45943491 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139761646779120 139762172402306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2300] ppid=2287 vsize=13980732 CPUtime=1.64 cores=0,2,4,6
/proc/2289/task/2300/stat : 2300 (java) S 2287 2287 30500 0 -1 1077944384 8117 0 0 0 163 1 0 0 20 0 15 0 45943491 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139761645726576 139762172402306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2301] ppid=2287 vsize=13980732 CPUtime=0.68 cores=0,2,4,6
/proc/2289/task/2301/stat : 2301 (java) S 2287 2287 30500 0 -1 1077944384 3702 0 0 0 67 1 0 0 20 0 15 0 45943492 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139761644673520 139762172402306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2302] ppid=2287 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2289/task/2302/stat : 2302 (java) S 2287 2287 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45943492 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139761643621216 139762172401365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
[pid=2289/tid=2303] ppid=2287 vsize=13980732 CPUtime=0.15 cores=0,2,4,6
/proc/2289/task/2303/stat : 2303 (java) S 2287 2287 30500 0 -1 1077944384 725 0 0 0 6 9 0 0 20 0 15 0 45943496 14316269568 558630 18446744073709551615 4194304 4196468 140732577065072 139761642568240 139762172402306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35168256 140732577071578 140732577071753 140732577071753 140732577075151 0
Current children cumulated CPU time (s) 244.74
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 2289 sig 9
??? kill 2287 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2287 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1989
# CPU time returned by wait4() is 0.001989
# while last known CPU time is 244.74
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 244.74
CPU user time (s): 244.03
CPU system time (s): 0.71
CPU usage (%): 101.971
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001989
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.931401 second user time and 1.79514 second system time
The end