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-4254274-1501612005/watcher-4254274-1501612005 -o /tmp/evaluation-result-4254274-1501612005/solver-4254274-1501612005 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501611170-5183 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1522279850 HOME/instance-4254274-1501612005.xml
pid=5206
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: 0.16 0.05 0.06 2/187 5212
/proc/meminfo: memFree=32049972/32770624 swapFree=0/131064
[pid=5212] ppid=5206 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/5212/stat : 5212 (runsolver) D 5206 5212 5123 34816 5123 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9817474 24240128 106 18446744073709551615 4194304 4338465 140726933944992 140726933942632 140106836148951 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 30281728 140726933950557 140726933951046 140726933951046 140726933954506 0
/proc/5212/statm: 5918 106 53 36 0 2156 0
[startup+0.100203 s]
/proc/loadavg: 0.16 0.05 0.06 2/187 5212
/proc/meminfo: memFree=32049972/32770624 swapFree=0/131064
[pid=5212] ppid=5206 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5212/stat : 5212 (xcsp3-exec) S 5206 5212 5123 34816 5123 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9817474 9740288 345 18446744073709551615 4194304 5098028 140737269258224 140737269256328 140007420834428 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 13979648 140737269264795 140737269264999 140737269264999 140737269268459 0
/proc/5212/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200414 s]
/proc/loadavg: 0.16 0.05 0.06 2/187 5212
/proc/meminfo: memFree=32049972/32770624 swapFree=0/131064
[pid=5212] ppid=5206 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5212/stat : 5212 (xcsp3-exec) S 5206 5212 5123 34816 5123 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9817474 9740288 345 18446744073709551615 4194304 5098028 140737269258224 140737269256328 140007420834428 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 13979648 140737269264795 140737269264999 140737269264999 140737269268459 0
/proc/5212/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300396 s]
/proc/loadavg: 0.16 0.05 0.06 2/187 5212
/proc/meminfo: memFree=32049972/32770624 swapFree=0/131064
[pid=5212] ppid=5206 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5212/stat : 5212 (xcsp3-exec) S 5206 5212 5123 34816 5123 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9817474 9740288 345 18446744073709551615 4194304 5098028 140737269258224 140737269256328 140007420834428 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 13979648 140737269264795 140737269264999 140737269264999 140737269268459 0
/proc/5212/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700298 s]
/proc/loadavg: 0.16 0.05 0.06 2/187 5212
/proc/meminfo: memFree=32049972/32770624 swapFree=0/131064
[pid=5212] ppid=5206 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5212/stat : 5212 (xcsp3-exec) S 5206 5212 5123 34816 5123 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9817474 9740288 345 18446744073709551615 4194304 5098028 140737269258224 140737269256328 140007420834428 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 13979648 140737269264795 140737269264999 140737269264999 140737269268459 0
/proc/5212/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50116 s]
/proc/loadavg: 0.16 0.05 0.06 3/220 5245
/proc/meminfo: memFree=31919196/32770624 swapFree=0/177292
[pid=5212] ppid=5206 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5212/stat : 5212 (xcsp3-exec) S 5206 5212 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9817474 9740288 345 18446744073709551615 4194304 5098028 140737269258224 140737269256328 140007420834428 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 13979648 140737269264795 140737269264999 140737269264999 140737269268459 0
/proc/5212/statm: 2378 345 289 221 0 87 0
[pid=5215] ppid=5212 vsize=13980732 CPUtime=1.62 cores=0,2,4,6
/proc/5215/stat : 5215 (java) S 5212 5212 5123 0 -1 1077944320 14492 0 6 0 156 6 0 0 20 0 15 0 9817482 14316269568 18777 18446744073709551615 4194304 4196468 140725431098464 140725431081008 140122724753143 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
/proc/5215/statm: 3495183 18777 3171 1 0 3483484 0
[pid=5215/tid=5217] ppid=5212 vsize=13980732 CPUtime=0.71 cores=0,2,4,6
/proc/5215/task/5217/stat : 5217 (java) R 5212 5212 5123 0 -1 4202560 9293 0 3 0 67 4 0 0 20 0 15 0 9817498 14316269568 18777 18446744073709551615 4194304 4196468 140725431098464 140122728988248 140122322028231 0 4 1 16800974 0 0 0 -1 6 0 0 49 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5223] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5223/stat : 5223 (java) S 5212 5212 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9817501 14316269568 18777 18446744073709551615 4194304 4196468 140725431098464 140122644166928 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5224] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5224/stat : 5224 (java) S 5212 5212 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9817501 14316269568 18777 18446744073709551615 4194304 4196468 140725431098464 140122643114384 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5225] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5225/stat : 5225 (java) S 5212 5212 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9817501 14316269568 18777 18446744073709551615 4194304 4196468 140725431098464 140122642061840 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5226] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5226/stat : 5226 (java) S 5212 5212 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9817501 14316269568 18777 18446744073709551615 4194304 4196468 140725431098464 140122641009296 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5228] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5228/stat : 5228 (java) S 5212 5212 5123 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9817510 14316269568 18777 18446744073709551615 4194304 4196468 140725431098464 140121910016496 140122724764290 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5230] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5230/stat : 5230 (java) S 5212 5212 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 18777 18446744073709551615 4194304 4196468 140725431098464 140121908962720 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5231] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5231/stat : 5231 (java) S 5212 5212 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 18777 18446744073709551615 4194304 4196468 140725431098464 140121907910128 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5233] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5233/stat : 5233 (java) S 5212 5212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817514 14316269568 18777 18446744073709551615 4194304 4196468 140725431098464 140121906858704 140122724771739 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5235] ppid=5212 vsize=13980732 CPUtime=0.23 cores=0,2,4,6
/proc/5215/task/5235/stat : 5235 (java) R 5212 5212 5123 0 -1 4202560 1117 0 0 0 23 0 0 0 20 0 15 0 9817514 14316269568 18777 18446744073709551615 4194304 4196468 140725431098464 140121905794896 140122706274534 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5236] ppid=5212 vsize=13980732 CPUtime=0.25 cores=0,2,4,6
/proc/5215/task/5236/stat : 5236 (java) R 5212 5212 5123 0 -1 4202560 1077 0 0 0 25 0 0 0 20 0 15 0 9817514 14316269568 18777 18446744073709551615 4194304 4196468 140725431098464 140121904752752 140122706317774 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5238] ppid=5212 vsize=13980732 CPUtime=0.38 cores=0,2,4,6
/proc/5215/task/5238/stat : 5238 (java) S 5212 5212 5123 0 -1 1077944384 1699 0 0 0 38 0 0 0 20 0 15 0 9817514 14316269568 18777 18446744073709551615 4194304 4196468 140725431098464 140121903700208 140122724764290 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5241] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5241/stat : 5241 (java) S 5212 5212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817515 14316269568 18777 18446744073709551615 4194304 4196468 140725431098464 140121902647904 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5244] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5244/stat : 5244 (java) S 5212 5212 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9817528 14316269568 18777 18446744073709551615 4194304 4196468 140725431098464 140121901595440 140122724764290 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 13990244
[startup+3.10071 s]
/proc/loadavg: 0.16 0.05 0.06 10/217 5247
/proc/meminfo: memFree=31792280/32770624 swapFree=0/177960
[pid=5212] ppid=5206 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5212/stat : 5212 (xcsp3-exec) S 5206 5212 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9817474 9740288 345 18446744073709551615 4194304 5098028 140737269258224 140737269256328 140007420834428 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 13979648 140737269264795 140737269264999 140737269264999 140737269268459 0
/proc/5212/statm: 2378 345 289 221 0 87 0
[pid=5215] ppid=5212 vsize=13980732 CPUtime=6.28 cores=0,2,4,6
/proc/5215/stat : 5215 (java) S 5212 5212 5123 0 -1 1077944320 35417 0 6 0 620 8 0 0 20 0 15 0 9817482 14316269568 30975 18446744073709551615 4194304 4196468 140725431098464 140725431081008 140122724753143 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
/proc/5215/statm: 3495183 30975 3189 1 0 3483484 0
[pid=5215/tid=5217] ppid=5212 vsize=13980732 CPUtime=2.31 cores=0,2,4,6
/proc/5215/task/5217/stat : 5217 (java) R 5212 5212 5123 0 -1 4202560 9860 0 3 0 227 4 0 0 20 0 15 0 9817498 14316269568 30975 18446744073709551615 4194304 4196468 140725431098464 140122728988576 140122322951414 0 4 1 16800974 0 0 0 -1 4 0 0 49 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5223] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5223/stat : 5223 (java) S 5212 5212 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9817501 14316269568 30975 18446744073709551615 4194304 4196468 140725431098464 140122644166928 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5224] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5224/stat : 5224 (java) S 5212 5212 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9817501 14316269568 30975 18446744073709551615 4194304 4196468 140725431098464 140122643114384 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5225] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5225/stat : 5225 (java) S 5212 5212 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9817501 14316269568 30975 18446744073709551615 4194304 4196468 140725431098464 140122642061840 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5226] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5226/stat : 5226 (java) S 5212 5212 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9817501 14316269568 30975 18446744073709551615 4194304 4196468 140725431098464 140122641009296 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5228] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5228/stat : 5228 (java) S 5212 5212 5123 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 9817510 14316269568 30975 18446744073709551615 4194304 4196468 140725431098464 140121910016496 140122724764290 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5230] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5230/stat : 5230 (java) S 5212 5212 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 30975 18446744073709551615 4194304 4196468 140725431098464 140121908962720 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5231] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5231/stat : 5231 (java) S 5212 5212 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 30975 18446744073709551615 4194304 4196468 140725431098464 140121907910128 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5233] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5233/stat : 5233 (java) S 5212 5212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817514 14316269568 30975 18446744073709551615 4194304 4196468 140725431098464 140121906858704 140122724771739 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5235] ppid=5212 vsize=13980732 CPUtime=1.74 cores=0,2,4,6
/proc/5215/task/5235/stat : 5235 (java) S 5212 5212 5123 0 -1 1077944384 10511 0 0 0 173 1 0 0 20 0 15 0 9817514 14316269568 30975 18446744073709551615 4194304 4196468 140725431098464 140121905805296 140122724764290 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5236] ppid=5212 vsize=13980732 CPUtime=1.77 cores=0,2,4,6
/proc/5215/task/5236/stat : 5236 (java) R 5212 5212 5123 0 -1 4202560 11499 0 0 0 176 1 0 0 20 0 15 0 9817514 14316269568 30975 18446744073709551615 4194304 4196468 140725431098464 140121904752752 140122709658619 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5238] ppid=5212 vsize=13980732 CPUtime=0.42 cores=0,2,4,6
/proc/5215/task/5238/stat : 5238 (java) S 5212 5212 5123 0 -1 1077944384 2222 0 0 0 42 0 0 0 20 0 15 0 9817514 14316269568 30975 18446744073709551615 4194304 4196468 140725431098464 140121903700208 140122724764290 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5241] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5241/stat : 5241 (java) S 5212 5212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817515 14316269568 30975 18446744073709551615 4194304 4196468 140725431098464 140121902647904 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5244] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5244/stat : 5244 (java) S 5212 5212 5123 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 9817528 14316269568 30975 18446744073709551615 4194304 4196468 140725431098464 140121901595440 140122724764290 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13990244
[startup+6.3008 s]
/proc/loadavg: 0.31 0.08 0.07 4/217 5247
/proc/meminfo: memFree=31748432/32770624 swapFree=0/177976
[pid=5212] ppid=5206 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5212/stat : 5212 (xcsp3-exec) S 5206 5212 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9817474 9740288 345 18446744073709551615 4194304 5098028 140737269258224 140737269256328 140007420834428 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 13979648 140737269264795 140737269264999 140737269264999 140737269268459 0
/proc/5212/statm: 2378 345 289 221 0 87 0
[pid=5215] ppid=5212 vsize=13980732 CPUtime=10.12 cores=0,2,4,6
/proc/5215/stat : 5215 (java) S 5212 5212 5123 0 -1 1077944320 39210 0 6 0 1003 9 0 0 20 0 15 0 9817482 14316269568 32808 18446744073709551615 4194304 4196468 140725431098464 140725431081008 140122724753143 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
/proc/5215/statm: 3495183 32808 3193 1 0 3483484 0
[pid=5215/tid=5217] ppid=5212 vsize=13980732 CPUtime=5.52 cores=0,2,4,6
/proc/5215/task/5217/stat : 5217 (java) R 5212 5212 5123 0 -1 4202560 10403 0 3 0 547 5 0 0 20 0 15 0 9817498 14316269568 32808 18446744073709551615 4194304 4196468 140725431098464 140122728989560 140122324234056 0 4 1 16800974 0 0 0 -1 4 0 0 49 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5223] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5223/stat : 5223 (java) S 5212 5212 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9817501 14316269568 32808 18446744073709551615 4194304 4196468 140725431098464 140122644166928 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5224] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5224/stat : 5224 (java) S 5212 5212 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9817501 14316269568 32808 18446744073709551615 4194304 4196468 140725431098464 140122643114384 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5225] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5225/stat : 5225 (java) S 5212 5212 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9817501 14316269568 32808 18446744073709551615 4194304 4196468 140725431098464 140122642061840 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5226] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5226/stat : 5226 (java) S 5212 5212 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9817501 14316269568 32808 18446744073709551615 4194304 4196468 140725431098464 140122641009296 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5228] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5228/stat : 5228 (java) S 5212 5212 5123 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 9817510 14316269568 32808 18446744073709551615 4194304 4196468 140725431098464 140121910016496 140122724764290 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5230] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5230/stat : 5230 (java) S 5212 5212 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 32808 18446744073709551615 4194304 4196468 140725431098464 140121908962720 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5231] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5231/stat : 5231 (java) S 5212 5212 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 32808 18446744073709551615 4194304 4196468 140725431098464 140121907910128 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5233] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5233/stat : 5233 (java) S 5212 5212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817514 14316269568 32808 18446744073709551615 4194304 4196468 140725431098464 140121906858704 140122724771739 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5235] ppid=5212 vsize=13980732 CPUtime=1.93 cores=0,2,4,6
/proc/5215/task/5235/stat : 5235 (java) S 5212 5212 5123 0 -1 1077944384 10565 0 0 0 192 1 0 0 20 0 15 0 9817514 14316269568 32808 18446744073709551615 4194304 4196468 140725431098464 140121905805296 140122724764290 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5236] ppid=5212 vsize=13980732 CPUtime=2.18 cores=0,2,4,6
/proc/5215/task/5236/stat : 5236 (java) S 5212 5212 5123 0 -1 1077944384 12925 0 0 0 216 2 0 0 20 0 15 0 9817514 14316269568 32808 18446744073709551615 4194304 4196468 140725431098464 140121904752752 140122724764290 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5238] ppid=5212 vsize=13980732 CPUtime=0.46 cores=0,2,4,6
/proc/5215/task/5238/stat : 5238 (java) S 5212 5212 5123 0 -1 1077944384 2765 0 0 0 46 0 0 0 20 0 15 0 9817514 14316269568 32808 18446744073709551615 4194304 4196468 140725431098464 140121903700208 140122724764290 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5241] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5241/stat : 5241 (java) S 5212 5212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817515 14316269568 32808 18446744073709551615 4194304 4196468 140725431098464 140121902647904 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5244] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5244/stat : 5244 (java) S 5212 5212 5123 0 -1 1077944384 961 0 0 0 0 0 0 0 20 0 15 0 9817528 14316269568 32808 18446744073709551615 4194304 4196468 140725431098464 140121901595440 140122724764290 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
Current children cumulated CPU time (s) 10.12
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 0.45 0.11 0.08 4/216 5247
/proc/meminfo: memFree=31699432/32770624 swapFree=0/177976
[pid=5212] ppid=5206 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5212/stat : 5212 (xcsp3-exec) S 5206 5212 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9817474 9740288 345 18446744073709551615 4194304 5098028 140737269258224 140737269256328 140007420834428 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 13979648 140737269264795 140737269264999 140737269264999 140737269268459 0
/proc/5212/statm: 2378 345 289 221 0 87 0
[pid=5215] ppid=5212 vsize=13980732 CPUtime=16.7 cores=0,2,4,6
/proc/5215/stat : 5215 (java) S 5212 5212 5123 0 -1 1077944320 43604 0 6 0 1660 10 0 0 20 0 15 0 9817482 14316269568 41888 18446744073709551615 4194304 4196468 140725431098464 140725431081008 140122724753143 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
/proc/5215/statm: 3495183 41888 3193 1 0 3483484 0
[pid=5215/tid=5217] ppid=5212 vsize=13980732 CPUtime=11.91 cores=0,2,4,6
/proc/5215/task/5217/stat : 5217 (java) R 5212 5212 5123 0 -1 4202560 10980 0 3 0 1186 5 0 0 20 0 15 0 9817498 14316269568 41888 18446744073709551615 4194304 4196468 140725431098464 140122728988928 140122324004268 0 4 1 16800974 0 0 0 -1 4 0 0 49 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5223] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5223/stat : 5223 (java) S 5212 5212 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9817501 14316269568 41888 18446744073709551615 4194304 4196468 140725431098464 140122644166928 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5224] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5224/stat : 5224 (java) S 5212 5212 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9817501 14316269568 41888 18446744073709551615 4194304 4196468 140725431098464 140122643114384 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
################
# More data... #
################
[pid=5215/tid=5230] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5230/stat : 5230 (java) S 5212 5212 5123 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 53631 18446744073709551615 4194304 4196468 140725431098464 140121908962720 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5231] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5231/stat : 5231 (java) S 5212 5212 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 53631 18446744073709551615 4194304 4196468 140725431098464 140121907910128 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5233] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5233/stat : 5233 (java) S 5212 5212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817514 14316269568 53631 18446744073709551615 4194304 4196468 140725431098464 140121906858704 140122724771739 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5235] ppid=5212 vsize=13980732 CPUtime=2.57 cores=0,2,4,6
/proc/5215/task/5235/stat : 5235 (java) S 5212 5212 5123 0 -1 1077944384 16413 0 0 0 256 1 0 0 20 0 15 0 9817514 14316269568 53631 18446744073709551615 4194304 4196468 140725431098464 140121905805296 140122724764290 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5236] ppid=5212 vsize=13980732 CPUtime=2.7 cores=0,2,4,6
/proc/5215/task/5236/stat : 5236 (java) S 5212 5212 5123 0 -1 1077944384 19417 0 0 0 268 2 0 0 20 0 15 0 9817514 14316269568 53631 18446744073709551615 4194304 4196468 140725431098464 140121904752752 140122724764290 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5238] ppid=5212 vsize=13980732 CPUtime=0.56 cores=0,2,4,6
/proc/5215/task/5238/stat : 5238 (java) S 5212 5212 5123 0 -1 1077944384 7014 0 0 0 56 0 0 0 20 0 15 0 9817514 14316269568 53631 18446744073709551615 4194304 4196468 140725431098464 140121903700208 140122724764290 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5241] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5241/stat : 5241 (java) S 5212 5212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817515 14316269568 53631 18446744073709551615 4194304 4196468 140725431098464 140121902647904 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5244] ppid=5212 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5215/task/5244/stat : 5244 (java) S 5212 5212 5123 0 -1 1077944384 1287 0 0 0 2 0 0 0 20 0 15 0 9817528 14316269568 53631 18446744073709551615 4194304 4196468 140725431098464 140121901595440 140122724764290 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
Current children cumulated CPU time (s) 107.47
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.89 0.88 0.37 4/212 5251
/proc/meminfo: memFree=31578732/32770624 swapFree=0/178020
[pid=5212] ppid=5206 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5212/stat : 5212 (xcsp3-exec) S 5206 5212 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9817474 9740288 345 18446744073709551615 4194304 5098028 140737269258224 140737269256328 140007420834428 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 13979648 140737269264795 140737269264999 140737269264999 140737269268459 0
/proc/5212/statm: 2378 345 289 221 0 87 0
[pid=5215] ppid=5212 vsize=13980732 CPUtime=167.68 cores=0,2,4,6
/proc/5215/stat : 5215 (java) S 5212 5212 5123 0 -1 1077944320 67634 0 6 0 16751 17 0 0 20 0 15 0 9817482 14316269568 54804 18446744073709551615 4194304 4196468 140725431098464 140725431081008 140122724753143 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
/proc/5215/statm: 3495183 54804 3226 1 0 3483484 0
[pid=5215/tid=5217] ppid=5212 vsize=13980732 CPUtime=161.46 cores=0,2,4,6
/proc/5215/task/5217/stat : 5217 (java) R 5212 5212 5123 0 -1 4202560 14405 0 3 0 16140 6 0 0 20 0 15 0 9817498 14316269568 54804 18446744073709551615 4194304 4196468 140725431098464 140122728989440 140122324234081 0 4 1 16800974 0 0 0 -1 4 0 0 49 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5223] ppid=5212 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5215/task/5223/stat : 5223 (java) S 5212 5212 5123 0 -1 1077944384 944 0 0 0 1 0 0 0 20 0 15 0 9817501 14316269568 54804 18446744073709551615 4194304 4196468 140725431098464 140122644166928 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5224] ppid=5212 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5215/task/5224/stat : 5224 (java) S 5212 5212 5123 0 -1 1077944384 847 0 0 0 1 0 0 0 20 0 15 0 9817501 14316269568 54804 18446744073709551615 4194304 4196468 140725431098464 140122643114384 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5225] ppid=5212 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5215/task/5225/stat : 5225 (java) S 5212 5212 5123 0 -1 1077944384 1438 0 0 0 1 0 0 0 20 0 15 0 9817501 14316269568 54804 18446744073709551615 4194304 4196468 140725431098464 140122642061840 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5226] ppid=5212 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5215/task/5226/stat : 5226 (java) S 5212 5212 5123 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 15 0 9817501 14316269568 54804 18446744073709551615 4194304 4196468 140725431098464 140122641009296 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5228] ppid=5212 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5215/task/5228/stat : 5228 (java) S 5212 5212 5123 0 -1 1077944384 1098 0 0 0 1 0 0 0 20 0 15 0 9817510 14316269568 54804 18446744073709551615 4194304 4196468 140725431098464 140121910016496 140122724764290 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5230] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5230/stat : 5230 (java) S 5212 5212 5123 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 54804 18446744073709551615 4194304 4196468 140725431098464 140121908962720 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5231] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5231/stat : 5231 (java) S 5212 5212 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 54804 18446744073709551615 4194304 4196468 140725431098464 140121907910128 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5233] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5233/stat : 5233 (java) S 5212 5212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817514 14316269568 54804 18446744073709551615 4194304 4196468 140725431098464 140121906858704 140122724771739 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5235] ppid=5212 vsize=13980732 CPUtime=2.68 cores=0,2,4,6
/proc/5215/task/5235/stat : 5235 (java) S 5212 5212 5123 0 -1 1077944384 18538 0 0 0 266 2 0 0 20 0 15 0 9817514 14316269568 54804 18446744073709551615 4194304 4196468 140725431098464 140121905805296 140122724764290 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5236] ppid=5212 vsize=13980732 CPUtime=2.77 cores=0,2,4,6
/proc/5215/task/5236/stat : 5236 (java) S 5212 5212 5123 0 -1 1077944384 20424 0 0 0 275 2 0 0 20 0 15 0 9817514 14316269568 54804 18446744073709551615 4194304 4196468 140725431098464 140121904752752 140122724764290 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5238] ppid=5212 vsize=13980732 CPUtime=0.56 cores=0,2,4,6
/proc/5215/task/5238/stat : 5238 (java) S 5212 5212 5123 0 -1 1077944384 7047 0 0 0 56 0 0 0 20 0 15 0 9817514 14316269568 54804 18446744073709551615 4194304 4196468 140725431098464 140121903700208 140122724764290 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5241] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5241/stat : 5241 (java) S 5212 5212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817515 14316269568 54804 18446744073709551615 4194304 4196468 140725431098464 140121902647904 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5244] ppid=5212 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/5215/task/5244/stat : 5244 (java) S 5212 5212 5123 0 -1 1077944384 1331 0 0 0 2 1 0 0 20 0 15 0 9817528 14316269568 54804 18446744073709551615 4194304 4196468 140725431098464 140121901595440 140122724764290 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
Current children cumulated CPU time (s) 167.68
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.82 1.05 0.46 4/212 5253
/proc/meminfo: memFree=31591452/32770624 swapFree=0/178044
[pid=5212] ppid=5206 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5212/stat : 5212 (xcsp3-exec) S 5206 5212 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9817474 9740288 345 18446744073709551615 4194304 5098028 140737269258224 140737269256328 140007420834428 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 13979648 140737269264795 140737269264999 140737269264999 140737269268459 0
/proc/5212/statm: 2378 345 289 221 0 87 0
[pid=5215] ppid=5212 vsize=13980732 CPUtime=227.75 cores=0,2,4,6
/proc/5215/stat : 5215 (java) S 5212 5212 5123 0 -1 1077944320 69100 0 6 0 22756 19 0 0 20 0 15 0 9817482 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140725431081008 140122724753143 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
/proc/5215/statm: 3495183 53147 3226 1 0 3483484 0
[pid=5215/tid=5217] ppid=5212 vsize=13980732 CPUtime=221.46 cores=0,2,4,6
/proc/5215/task/5217/stat : 5217 (java) R 5212 5212 5123 0 -1 4202560 14683 0 3 0 22140 6 0 0 20 0 15 0 9817498 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140122728989440 140122324148945 0 4 1 16800974 0 0 0 -1 4 0 0 49 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5223] ppid=5212 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5215/task/5223/stat : 5223 (java) S 5212 5212 5123 0 -1 1077944384 962 0 0 0 1 1 0 0 20 0 15 0 9817501 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140122644166928 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5224] ppid=5212 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5215/task/5224/stat : 5224 (java) S 5212 5212 5123 0 -1 1077944384 855 0 0 0 1 0 0 0 20 0 15 0 9817501 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140122643114384 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5225] ppid=5212 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5215/task/5225/stat : 5225 (java) S 5212 5212 5123 0 -1 1077944384 1536 0 0 0 1 0 0 0 20 0 15 0 9817501 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140122642061840 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5226] ppid=5212 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5215/task/5226/stat : 5226 (java) S 5212 5212 5123 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 15 0 9817501 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140122641009296 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5228] ppid=5212 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5215/task/5228/stat : 5228 (java) S 5212 5212 5123 0 -1 1077944384 1280 0 0 0 1 0 0 0 20 0 15 0 9817510 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140121910016496 140122724764290 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5230] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5230/stat : 5230 (java) S 5212 5212 5123 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140121908962720 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5231] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5231/stat : 5231 (java) S 5212 5212 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140121907910128 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5233] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5233/stat : 5233 (java) S 5212 5212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817514 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140121906858704 140122724771739 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5235] ppid=5212 vsize=13980732 CPUtime=2.69 cores=0,2,4,6
/proc/5215/task/5235/stat : 5235 (java) S 5212 5212 5123 0 -1 1077944384 18726 0 0 0 267 2 0 0 20 0 15 0 9817514 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140121905805296 140122724764290 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5236] ppid=5212 vsize=13980732 CPUtime=2.79 cores=0,2,4,6
/proc/5215/task/5236/stat : 5236 (java) S 5212 5212 5123 0 -1 1077944384 20659 0 0 0 277 2 0 0 20 0 15 0 9817514 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140121904752752 140122724764290 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5238] ppid=5212 vsize=13980732 CPUtime=0.57 cores=0,2,4,6
/proc/5215/task/5238/stat : 5238 (java) S 5212 5212 5123 0 -1 1077944384 7490 0 0 0 57 0 0 0 20 0 15 0 9817514 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140121903700208 140122724764290 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5241] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5241/stat : 5241 (java) S 5212 5212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817515 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140121902647904 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5244] ppid=5212 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5215/task/5244/stat : 5244 (java) S 5212 5212 5123 0 -1 1077944384 1337 0 0 0 3 3 0 0 20 0 15 0 9817528 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140121901595440 140122724764290 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
Current children cumulated CPU time (s) 227.75
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.86 1.10 0.49 4/212 5253
/proc/meminfo: memFree=31591452/32770624 swapFree=0/178052
[pid=5212] ppid=5206 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5212/stat : 5212 (xcsp3-exec) S 5206 5212 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9817474 9740288 345 18446744073709551615 4194304 5098028 140737269258224 140737269256328 140007420834428 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 13979648 140737269264795 140737269264999 140737269264999 140737269268459 0
/proc/5212/statm: 2378 345 289 221 0 87 0
[pid=5215] ppid=5212 vsize=13980732 CPUtime=245.44 cores=0,2,4,6
/proc/5215/stat : 5215 (java) S 5212 5212 5123 0 -1 1077944320 69103 0 6 0 24525 19 0 0 20 0 15 0 9817482 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140725431081008 140122724753143 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
/proc/5215/statm: 3495183 53147 3226 1 0 3483484 0
[pid=5215/tid=5217] ppid=5212 vsize=13980732 CPUtime=239.16 cores=0,2,4,6
/proc/5215/task/5217/stat : 5217 (java) R 5212 5212 5123 0 -1 4202560 14686 0 3 0 23909 7 0 0 20 0 15 0 9817498 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140122728992272 140122324233850 0 4 1 16800974 0 0 0 -1 4 0 0 49 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5223] ppid=5212 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5215/task/5223/stat : 5223 (java) S 5212 5212 5123 0 -1 1077944384 962 0 0 0 1 1 0 0 20 0 15 0 9817501 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140122644166928 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5224] ppid=5212 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5215/task/5224/stat : 5224 (java) S 5212 5212 5123 0 -1 1077944384 855 0 0 0 1 0 0 0 20 0 15 0 9817501 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140122643114384 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5225] ppid=5212 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5215/task/5225/stat : 5225 (java) S 5212 5212 5123 0 -1 1077944384 1536 0 0 0 1 0 0 0 20 0 15 0 9817501 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140122642061840 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5226] ppid=5212 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5215/task/5226/stat : 5226 (java) S 5212 5212 5123 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 15 0 9817501 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140122641009296 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5228] ppid=5212 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5215/task/5228/stat : 5228 (java) S 5212 5212 5123 0 -1 1077944384 1280 0 0 0 1 0 0 0 20 0 15 0 9817510 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140121910016496 140122724764290 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5230] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5230/stat : 5230 (java) S 5212 5212 5123 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140121908962720 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5231] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5231/stat : 5231 (java) S 5212 5212 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140121907910128 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5233] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5233/stat : 5233 (java) S 5212 5212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817514 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140121906858704 140122724771739 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5235] ppid=5212 vsize=13980732 CPUtime=2.69 cores=0,2,4,6
/proc/5215/task/5235/stat : 5235 (java) S 5212 5212 5123 0 -1 1077944384 18726 0 0 0 267 2 0 0 20 0 15 0 9817514 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140121905805296 140122724764290 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5236] ppid=5212 vsize=13980732 CPUtime=2.79 cores=0,2,4,6
/proc/5215/task/5236/stat : 5236 (java) S 5212 5212 5123 0 -1 1077944384 20659 0 0 0 277 2 0 0 20 0 15 0 9817514 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140121904752752 140122724764290 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5238] ppid=5212 vsize=13980732 CPUtime=0.57 cores=0,2,4,6
/proc/5215/task/5238/stat : 5238 (java) S 5212 5212 5123 0 -1 1077944384 7490 0 0 0 57 0 0 0 20 0 15 0 9817514 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140121903700208 140122724764290 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5241] ppid=5212 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5215/task/5241/stat : 5241 (java) S 5212 5212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817515 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140121902647904 140122724763349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
[pid=5215/tid=5244] ppid=5212 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5215/task/5244/stat : 5244 (java) S 5212 5212 5123 0 -1 1077944384 1337 0 0 0 3 3 0 0 20 0 15 0 9817528 14316269568 53147 18446744073709551615 4194304 4196468 140725431098464 140121901595440 140122724764290 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140725431103956 140725431104131 140725431104131 140725431107535 0
Current children cumulated CPU time (s) 245.44
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 5215 sig 9
??? kill 5212 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 5212 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=862
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2127
# CPU time returned by wait4() is 0.002989
# while last known CPU time is 245.44
#
# 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): 245.44
CPU user time (s): 245.25
CPU system time (s): 0.19
CPU usage (%): 102.262
Max. virtual memory (cumulated for all children) (KiB): 13992540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000862
system time used= 0.002127
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511
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= 12
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.09247 second user time and 1.45025 second system time
The end