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-4254915-1501622826/watcher-4254915-1501622826 -o /tmp/evaluation-result-4254915-1501622826/solver-4254915-1501622826 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501617129-10652 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1073130954 HOME/instance-4254915-1501622826.xml
pid=14745
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: 1.83 1.90 1.84 4/199 14748
/proc/meminfo: memFree=31693128/32770624 swapFree=0/191344
[pid=14748] ppid=14745 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/14748/stat : 14748 (runsolver) D 14745 14748 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10097893 24240128 106 18446744073709551615 4194304 4338465 140720888579712 140720888577352 140339813077719 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 12316672 140720888586332 140720888586822 140720888586822 140720888590282 0
/proc/14748/statm: 5918 106 53 36 0 2156 0
[startup+0.106329 s]
/proc/loadavg: 1.83 1.90 1.84 4/199 14748
/proc/meminfo: memFree=31693128/32770624 swapFree=0/191344
[pid=14748] ppid=14745 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14748/stat : 14748 (xcsp3-exec) S 14745 14748 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10097893 9740288 344 18446744073709551615 4194304 5098028 140736314354736 140736314352840 139844713128572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 39284736 140736314356123 140736314356327 140736314356327 140736314359787 0
/proc/14748/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200209 s]
/proc/loadavg: 1.83 1.90 1.84 4/199 14748
/proc/meminfo: memFree=31693128/32770624 swapFree=0/191344
[pid=14748] ppid=14745 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14748/stat : 14748 (xcsp3-exec) S 14745 14748 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10097893 9740288 344 18446744073709551615 4194304 5098028 140736314354736 140736314352840 139844713128572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 39284736 140736314356123 140736314356327 140736314356327 140736314359787 0
/proc/14748/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.301673 s]
/proc/loadavg: 1.83 1.90 1.84 4/199 14748
/proc/meminfo: memFree=31693128/32770624 swapFree=0/191344
[pid=14748] ppid=14745 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14748/stat : 14748 (xcsp3-exec) S 14745 14748 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10097893 9740288 344 18446744073709551615 4194304 5098028 140736314354736 140736314352840 139844713128572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 39284736 140736314356123 140736314356327 140736314356327 140736314359787 0
/proc/14748/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.702004 s]
/proc/loadavg: 1.83 1.90 1.84 4/199 14748
/proc/meminfo: memFree=31693128/32770624 swapFree=0/191344
[pid=14748] ppid=14745 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14748/stat : 14748 (xcsp3-exec) S 14745 14748 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10097893 9740288 344 18446744073709551615 4194304 5098028 140736314354736 140736314352840 139844713128572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 39284736 140736314356123 140736314356327 140736314356327 140736314359787 0
/proc/14748/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5006 s]
/proc/loadavg: 1.83 1.90 1.84 5/215 14764
/proc/meminfo: memFree=31625948/32770624 swapFree=0/191344
[pid=14748] ppid=14745 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14748/stat : 14748 (xcsp3-exec) S 14745 14748 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10097893 9740288 344 18446744073709551615 4194304 5098028 140736314354736 140736314352840 139844713128572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 39284736 140736314356123 140736314356327 140736314356327 140736314359787 0
/proc/14748/statm: 2378 344 289 221 0 87 0
[pid=14750] ppid=14748 vsize=13980732 CPUtime=3.23 cores=0,2,4,6
/proc/14750/stat : 14750 (java) S 14748 14748 5228 0 -1 1077944320 19731 0 0 0 316 7 0 0 20 0 15 0 10097898 14316269568 21115 18446744073709551615 4194304 4196468 140722276599584 140722276582128 139690557820663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
/proc/14750/statm: 3495183 21115 3173 1 0 3483484 0
[pid=14750/tid=14751] ppid=14748 vsize=13980732 CPUtime=1.39 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (java) R 14748 14748 5228 0 -1 4202560 8881 0 0 0 135 4 0 0 20 0 15 0 10097898 14316269568 21115 18446744073709551615 4194304 4196468 140722276599584 139690562056744 139690204498848 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14752] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (java) S 14748 14748 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10097899 14316269568 21115 18446744073709551615 4194304 4196468 140722276599584 139690158328208 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14753] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (java) S 14748 14748 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10097899 14316269568 21115 18446744073709551615 4194304 4196468 140722276599584 139690157275408 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14754] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14754/stat : 14754 (java) S 14748 14748 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10097899 14316269568 21115 18446744073709551615 4194304 4196468 140722276599584 139690156223120 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14755] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14755/stat : 14755 (java) S 14748 14748 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10097899 14316269568 21115 18446744073709551615 4194304 4196468 140722276599584 139690155170320 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14756] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14756/stat : 14756 (java) S 14748 14748 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10097900 14316269568 21115 18446744073709551615 4194304 4196468 140722276599584 139690036390512 139690557831810 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14757] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14757/stat : 14757 (java) S 14748 14748 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10097901 14316269568 21115 18446744073709551615 4194304 4196468 140722276599584 139690035336480 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14758] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14758/stat : 14758 (java) S 14748 14748 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10097901 14316269568 21115 18446744073709551615 4194304 4196468 140722276599584 139690034284144 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14759] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14759/stat : 14759 (java) S 14748 14748 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10097903 14316269568 21115 18446744073709551615 4194304 4196468 140722276599584 139690033232464 139690557839259 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14760] ppid=14748 vsize=13980732 CPUtime=0.65 cores=0,2,4,6
/proc/14750/task/14760/stat : 14760 (java) R 14748 14748 5228 0 -1 4202560 4085 0 0 0 65 0 0 0 20 0 15 0 10097903 14316269568 21115 18446744073709551615 4194304 4196468 140722276599584 139690032179312 139690539348488 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14761] ppid=14748 vsize=13980732 CPUtime=0.72 cores=0,2,4,6
/proc/14750/task/14761/stat : 14761 (java) R 14748 14748 5228 0 -1 4202560 3505 0 0 0 72 0 0 0 20 0 15 0 10097904 14316269568 21115 18446744073709551615 4194304 4196468 140722276599584 139690031126512 139690539342372 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14762] ppid=14748 vsize=13980732 CPUtime=0.42 cores=0,2,4,6
/proc/14750/task/14762/stat : 14762 (java) S 14748 14748 5228 0 -1 1077944384 1952 0 0 0 42 0 0 0 20 0 15 0 10097904 14316269568 21115 18446744073709551615 4194304 4196468 140722276599584 139690030074224 139690557831810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14763] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14763/stat : 14763 (java) S 14748 14748 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10097904 14316269568 21115 18446744073709551615 4194304 4196468 140722276599584 139690029021664 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14764] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14764/stat : 14764 (java) S 14748 14748 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10097907 14316269568 21115 18446744073709551615 4194304 4196468 140722276599584 139690027969456 139690557831810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
Current children cumulated CPU time (s) 3.23
Current children cumulated vsize (KiB) 13990244
[startup+3.10069 s]
/proc/loadavg: 1.77 1.89 1.84 6/215 14764
/proc/meminfo: memFree=31624176/32770624 swapFree=0/191344
[pid=14748] ppid=14745 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14748/stat : 14748 (xcsp3-exec) S 14745 14748 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10097893 9740288 344 18446744073709551615 4194304 5098028 140736314354736 140736314352840 139844713128572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 39284736 140736314356123 140736314356327 140736314356327 140736314359787 0
/proc/14748/statm: 2378 344 289 221 0 87 0
[pid=14750] ppid=14748 vsize=13980732 CPUtime=6.05 cores=0,2,4,6
/proc/14750/stat : 14750 (java) S 14748 14748 5228 0 -1 1077944320 22938 0 0 0 596 9 0 0 20 0 15 0 10097898 14316269568 35394 18446744073709551615 4194304 4196468 140722276599584 140722276582128 139690557820663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
/proc/14750/statm: 3495183 35394 3185 1 0 3483484 0
[pid=14750/tid=14751] ppid=14748 vsize=13980732 CPUtime=2.99 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (java) R 14748 14748 5228 0 -1 4202560 10247 0 0 0 294 5 0 0 20 0 15 0 10097898 14316269568 35394 18446744073709551615 4194304 4196468 140722276599584 139690562057544 139690205800329 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14752] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (java) S 14748 14748 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10097899 14316269568 35394 18446744073709551615 4194304 4196468 140722276599584 139690158328208 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14753] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (java) S 14748 14748 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10097899 14316269568 35394 18446744073709551615 4194304 4196468 140722276599584 139690157275408 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14754] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14754/stat : 14754 (java) S 14748 14748 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10097899 14316269568 35394 18446744073709551615 4194304 4196468 140722276599584 139690156223120 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14755] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14755/stat : 14755 (java) S 14748 14748 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10097899 14316269568 35394 18446744073709551615 4194304 4196468 140722276599584 139690155170320 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14756] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14756/stat : 14756 (java) S 14748 14748 5228 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 10097900 14316269568 35397 18446744073709551615 4194304 4196468 140722276599584 139690036390512 139690557831810 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14757] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14757/stat : 14757 (java) S 14748 14748 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10097901 14316269568 35397 18446744073709551615 4194304 4196468 140722276599584 139690035336480 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14758] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14758/stat : 14758 (java) S 14748 14748 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10097901 14316269568 35397 18446744073709551615 4194304 4196468 140722276599584 139690034284144 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14759] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14759/stat : 14759 (java) S 14748 14748 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10097903 14316269568 35397 18446744073709551615 4194304 4196468 140722276599584 139690033232464 139690557839259 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14760] ppid=14748 vsize=13980732 CPUtime=1.25 cores=0,2,4,6
/proc/14750/task/14760/stat : 14760 (java) R 14748 14748 5228 0 -1 4202560 4861 0 0 0 124 1 0 0 20 0 15 0 10097903 14316269568 35397 18446744073709551615 4194304 4196468 140722276599584 139690032179312 139690550917566 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14761] ppid=14748 vsize=13980732 CPUtime=1.26 cores=0,2,4,6
/proc/14750/task/14761/stat : 14761 (java) S 14748 14748 5228 0 -1 1077944384 4063 0 0 0 126 0 0 0 20 0 15 0 10097904 14316269568 35397 18446744073709551615 4194304 4196468 140722276599584 139690031126512 139690557831810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14762] ppid=14748 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/14750/task/14762/stat : 14762 (java) S 14748 14748 5228 0 -1 1077944384 2382 0 0 0 51 1 0 0 20 0 15 0 10097904 14316269568 35397 18446744073709551615 4194304 4196468 140722276599584 139690030074224 139690557831810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14763] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14763/stat : 14763 (java) S 14748 14748 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10097904 14316269568 35397 18446744073709551615 4194304 4196468 140722276599584 139690029021664 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14764] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14764/stat : 14764 (java) S 14748 14748 5228 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 10097907 14316269568 35397 18446744073709551615 4194304 4196468 140722276599584 139690027969456 139690557831810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 13990244
[startup+6.30073 s]
/proc/loadavg: 1.77 1.89 1.84 3/215 14764
/proc/meminfo: memFree=31511528/32770624 swapFree=0/191356
[pid=14748] ppid=14745 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14748/stat : 14748 (xcsp3-exec) S 14745 14748 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10097893 9740288 344 18446744073709551615 4194304 5098028 140736314354736 140736314352840 139844713128572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 39284736 140736314356123 140736314356327 140736314356327 140736314359787 0
/proc/14748/statm: 2378 344 289 221 0 87 0
[pid=14750] ppid=14748 vsize=13980732 CPUtime=9.93 cores=0,2,4,6
/proc/14750/stat : 14750 (java) S 14748 14748 5228 0 -1 1077944320 25255 0 0 0 983 10 0 0 20 0 15 0 10097898 14316269568 49933 18446744073709551615 4194304 4196468 140722276599584 140722276582128 139690557820663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
/proc/14750/statm: 3495183 49933 3204 1 0 3483484 0
[pid=14750/tid=14751] ppid=14748 vsize=13980732 CPUtime=6.18 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (java) R 14748 14748 5228 0 -1 4202560 10348 0 0 0 612 6 0 0 20 0 15 0 10097898 14316269568 49933 18446744073709551615 4194304 4196468 140722276599584 139690562056448 139690206063276 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14752] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (java) S 14748 14748 5228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 10097899 14316269568 49933 18446744073709551615 4194304 4196468 140722276599584 139690158328208 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14753] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (java) S 14748 14748 5228 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 10097899 14316269568 49933 18446744073709551615 4194304 4196468 140722276599584 139690157275408 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14754] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14754/stat : 14754 (java) S 14748 14748 5228 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 15 0 10097899 14316269568 49933 18446744073709551615 4194304 4196468 140722276599584 139690156223120 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14755] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14755/stat : 14755 (java) S 14748 14748 5228 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 15 0 10097899 14316269568 49933 18446744073709551615 4194304 4196468 140722276599584 139690155170320 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14756] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14756/stat : 14756 (java) S 14748 14748 5228 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 15 0 10097900 14316269568 49933 18446744073709551615 4194304 4196468 140722276599584 139690036390512 139690557831810 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14757] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14757/stat : 14757 (java) S 14748 14748 5228 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10097901 14316269568 49933 18446744073709551615 4194304 4196468 140722276599584 139690035336480 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14758] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14758/stat : 14758 (java) S 14748 14748 5228 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10097901 14316269568 49933 18446744073709551615 4194304 4196468 140722276599584 139690034284144 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14759] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14759/stat : 14759 (java) S 14748 14748 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10097903 14316269568 49933 18446744073709551615 4194304 4196468 140722276599584 139690033232464 139690557839259 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14760] ppid=14748 vsize=13980732 CPUtime=1.6 cores=0,2,4,6
/proc/14750/task/14760/stat : 14760 (java) S 14748 14748 5228 0 -1 1077944384 5465 0 0 0 159 1 0 0 20 0 15 0 10097903 14316269568 49933 18446744073709551615 4194304 4196468 140722276599584 139690032179312 139690557831810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14761] ppid=14748 vsize=13980732 CPUtime=1.53 cores=0,2,4,6
/proc/14750/task/14761/stat : 14761 (java) S 14748 14748 5228 0 -1 1077944384 4312 0 0 0 153 0 0 0 20 0 15 0 10097904 14316269568 49933 18446744073709551615 4194304 4196468 140722276599584 139690031126512 139690557831810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14762] ppid=14748 vsize=13980732 CPUtime=0.56 cores=0,2,4,6
/proc/14750/task/14762/stat : 14762 (java) S 14748 14748 5228 0 -1 1077944384 2981 0 0 0 55 1 0 0 20 0 15 0 10097904 14316269568 49933 18446744073709551615 4194304 4196468 140722276599584 139690030074224 139690557831810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14763] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14763/stat : 14763 (java) S 14748 14748 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10097904 14316269568 49933 18446744073709551615 4194304 4196468 140722276599584 139690029021664 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14764] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14764/stat : 14764 (java) S 14748 14748 5228 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 10097907 14316269568 49933 18446744073709551615 4194304 4196468 140722276599584 139690027969456 139690557831810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
Current children cumulated CPU time (s) 9.93
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.87 1.91 1.84 3/214 14764
/proc/meminfo: memFree=31511228/32770624 swapFree=0/191364
[pid=14748] ppid=14745 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14748/stat : 14748 (xcsp3-exec) S 14745 14748 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10097893 9740288 344 18446744073709551615 4194304 5098028 140736314354736 140736314352840 139844713128572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 39284736 140736314356123 140736314356327 140736314356327 140736314359787 0
/proc/14748/statm: 2378 344 289 221 0 87 0
[pid=14750] ppid=14748 vsize=13980732 CPUtime=17.46 cores=0,2,4,6
/proc/14750/stat : 14750 (java) S 14748 14748 5228 0 -1 1077944320 31268 0 0 0 1735 11 0 0 20 0 15 0 10097898 14316269568 52185 18446744073709551615 4194304 4196468 140722276599584 140722276582128 139690557820663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
/proc/14750/statm: 3495183 52185 3210 1 0 3483484 0
[pid=14750/tid=14751] ppid=14748 vsize=13980732 CPUtime=12.56 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (java) R 14748 14748 5228 0 -1 4202560 11290 0 0 0 1250 6 0 0 20 0 15 0 10097898 14316269568 52185 18446744073709551615 4194304 4196468 140722276599584 139690562059648 139690206206125 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14752] ppid=14748 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (java) S 14748 14748 5228 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 15 0 10097899 14316269568 52185 18446744073709551615 4194304 4196468 140722276599584 139690158328208 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14753] ppid=14748 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (java) S 14748 14748 5228 0 -1 1077944384 102 0 0 0 1 0 0 0 20 0 15 0 10097899 14316269568 52185 18446744073709551615 4194304 4196468 140722276599584 139690157275408 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
################
# More data... #
################
[pid=14750/tid=14757] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14757/stat : 14757 (java) S 14748 14748 5228 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10097901 14316269568 39111 18446744073709551615 4194304 4196468 140722276599584 139690035336544 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14758] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14758/stat : 14758 (java) S 14748 14748 5228 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 10097901 14316269568 39111 18446744073709551615 4194304 4196468 140722276599584 139690034284160 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14759] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14759/stat : 14759 (java) S 14748 14748 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10097903 14316269568 39111 18446744073709551615 4194304 4196468 140722276599584 139690033232464 139690557839259 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14760] ppid=14748 vsize=13980732 CPUtime=2.58 cores=0,2,4,6
/proc/14750/task/14760/stat : 14760 (java) S 14748 14748 5228 0 -1 1077944384 14047 0 0 0 256 2 0 0 20 0 15 0 10097903 14316269568 39111 18446744073709551615 4194304 4196468 140722276599584 139690032179312 139690557831810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14761] ppid=14748 vsize=13980732 CPUtime=2.71 cores=0,2,4,6
/proc/14750/task/14761/stat : 14761 (java) S 14748 14748 5228 0 -1 1077944384 12308 0 0 0 270 1 0 0 20 0 15 0 10097904 14316269568 39111 18446744073709551615 4194304 4196468 140722276599584 139690031126512 139690557831810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14762] ppid=14748 vsize=13980732 CPUtime=0.73 cores=0,2,4,6
/proc/14750/task/14762/stat : 14762 (java) S 14748 14748 5228 0 -1 1077944384 8818 0 0 0 71 2 0 0 20 0 15 0 10097904 14316269568 39111 18446744073709551615 4194304 4196468 140722276599584 139690030074224 139690557831810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14763] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14763/stat : 14763 (java) S 14748 14748 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10097904 14316269568 39111 18446744073709551615 4194304 4196468 140722276599584 139690029021664 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14764] ppid=14748 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14750/task/14764/stat : 14764 (java) S 14748 14748 5228 0 -1 1077944384 468 0 0 0 1 2 0 0 20 0 15 0 10097907 14316269568 39111 18446744073709551615 4194304 4196468 140722276599584 139690027969456 139690557831810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
Current children cumulated CPU time (s) 108.75
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.24 1.67 1.77 3/215 14847
/proc/meminfo: memFree=31168016/32770624 swapFree=0/191520
[pid=14748] ppid=14745 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14748/stat : 14748 (xcsp3-exec) S 14745 14748 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10097893 9740288 344 18446744073709551615 4194304 5098028 140736314354736 140736314352840 139844713128572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 39284736 140736314356123 140736314356327 140736314356327 140736314359787 0
/proc/14748/statm: 2378 344 289 221 0 87 0
[pid=14750] ppid=14748 vsize=13980732 CPUtime=169.48 cores=0,2,4,6
/proc/14750/stat : 14750 (java) S 14748 14748 5228 0 -1 1077944320 66149 0 0 0 16917 31 0 0 20 0 15 0 10097898 14316269568 47936 18446744073709551615 4194304 4196468 140722276599584 140722276582128 139690557820663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
/proc/14750/statm: 3495183 47936 3218 1 0 3483484 0
[pid=14750/tid=14751] ppid=14748 vsize=13980732 CPUtime=161.67 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (java) R 14748 14748 5228 0 -1 4202560 16593 0 0 0 16161 6 0 0 20 0 15 0 10097898 14316269568 47936 18446744073709551615 4194304 4196468 140722276599584 139690562059856 139690207357758 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14752] ppid=14748 vsize=13980732 CPUtime=0.28 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (java) S 14748 14748 5228 0 -1 1077944384 652 0 0 0 24 4 0 0 20 0 15 0 10097899 14316269568 47936 18446744073709551615 4194304 4196468 140722276599584 139690158328208 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14753] ppid=14748 vsize=13980732 CPUtime=0.28 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (java) S 14748 14748 5228 0 -1 1077944384 1867 0 0 0 25 3 0 0 20 0 15 0 10097899 14316269568 47936 18446744073709551615 4194304 4196468 140722276599584 139690157275408 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14754] ppid=14748 vsize=13980732 CPUtime=0.28 cores=0,2,4,6
/proc/14750/task/14754/stat : 14754 (java) S 14748 14748 5228 0 -1 1077944384 1113 0 0 0 25 3 0 0 20 0 15 0 10097899 14316269568 47936 18446744073709551615 4194304 4196468 140722276599584 139690156223120 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14755] ppid=14748 vsize=13980732 CPUtime=0.28 cores=0,2,4,6
/proc/14750/task/14755/stat : 14755 (java) S 14748 14748 5228 0 -1 1077944384 1366 0 0 0 25 3 0 0 20 0 15 0 10097899 14316269568 47936 18446744073709551615 4194304 4196468 140722276599584 139690155170320 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14756] ppid=14748 vsize=13980732 CPUtime=0.17 cores=0,2,4,6
/proc/14750/task/14756/stat : 14756 (java) S 14748 14748 5228 0 -1 1077944384 1587 0 0 0 15 2 0 0 20 0 15 0 10097900 14316269568 47936 18446744073709551615 4194304 4196468 140722276599584 139690036390512 139690557831810 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14757] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14757/stat : 14757 (java) S 14748 14748 5228 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10097901 14316269568 47936 18446744073709551615 4194304 4196468 140722276599584 139690035336544 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14758] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14758/stat : 14758 (java) S 14748 14748 5228 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 10097901 14316269568 47936 18446744073709551615 4194304 4196468 140722276599584 139690034284160 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14759] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14759/stat : 14759 (java) S 14748 14748 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10097903 14316269568 47936 18446744073709551615 4194304 4196468 140722276599584 139690033232464 139690557839259 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14760] ppid=14748 vsize=13980732 CPUtime=2.68 cores=0,2,4,6
/proc/14750/task/14760/stat : 14760 (java) S 14748 14748 5228 0 -1 1077944384 15852 0 0 0 266 2 0 0 20 0 15 0 10097903 14316269568 47936 18446744073709551615 4194304 4196468 140722276599584 139690032179312 139690557831810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14761] ppid=14748 vsize=13980732 CPUtime=2.94 cores=0,2,4,6
/proc/14750/task/14761/stat : 14761 (java) S 14748 14748 5228 0 -1 1077944384 15271 0 0 0 293 1 0 0 20 0 15 0 10097904 14316269568 47936 18446744073709551615 4194304 4196468 140722276599584 139690031126512 139690557831810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14762] ppid=14748 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/14750/task/14762/stat : 14762 (java) S 14748 14748 5228 0 -1 1077944384 9940 0 0 0 73 2 0 0 20 0 15 0 10097904 14316269568 47936 18446744073709551615 4194304 4196468 140722276599584 139690030074224 139690557831810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14763] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14763/stat : 14763 (java) S 14748 14748 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10097904 14316269568 47936 18446744073709551615 4194304 4196468 140722276599584 139690029021664 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14764] ppid=14748 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/14750/task/14764/stat : 14764 (java) S 14748 14748 5228 0 -1 1077944384 531 0 0 0 2 3 0 0 20 0 15 0 10097907 14316269568 47936 18446744073709551615 4194304 4196468 140722276599584 139690027969456 139690557831810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
Current children cumulated CPU time (s) 169.48
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.75 1.73 1.78 3/215 14849
/proc/meminfo: memFree=30915952/32770624 swapFree=0/191552
[pid=14748] ppid=14745 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14748/stat : 14748 (xcsp3-exec) S 14745 14748 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10097893 9740288 344 18446744073709551615 4194304 5098028 140736314354736 140736314352840 139844713128572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 39284736 140736314356123 140736314356327 140736314356327 140736314359787 0
/proc/14748/statm: 2378 344 289 221 0 87 0
[pid=14750] ppid=14748 vsize=13980732 CPUtime=230.73 cores=0,2,4,6
/proc/14750/stat : 14750 (java) S 14748 14748 5228 0 -1 1077944320 75710 0 0 0 23029 44 0 0 20 0 15 0 10097898 14316269568 64581 18446744073709551615 4194304 4196468 140722276599584 140722276582128 139690557820663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
/proc/14750/statm: 3495183 64581 3218 1 0 3483484 0
[pid=14750/tid=14751] ppid=14748 vsize=13980732 CPUtime=221.31 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (java) R 14748 14748 5228 0 -1 4202560 19375 0 0 0 22124 7 0 0 20 0 15 0 10097898 14316269568 64581 18446744073709551615 4194304 4196468 140722276599584 139690562059856 139690205084570 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14752] ppid=14748 vsize=13980732 CPUtime=0.56 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (java) S 14748 14748 5228 0 -1 1077944384 1391 0 0 0 49 7 0 0 20 0 15 0 10097899 14316269568 64581 18446744073709551615 4194304 4196468 140722276599584 139690158328208 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14753] ppid=14748 vsize=13980732 CPUtime=0.57 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (java) S 14748 14748 5228 0 -1 1077944384 2132 0 0 0 51 6 0 0 20 0 15 0 10097899 14316269568 64581 18446744073709551615 4194304 4196468 140722276599584 139690157275408 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14754] ppid=14748 vsize=13980732 CPUtime=0.56 cores=0,2,4,6
/proc/14750/task/14754/stat : 14754 (java) S 14748 14748 5228 0 -1 1077944384 1452 0 0 0 50 6 0 0 20 0 15 0 10097899 14316269568 64581 18446744073709551615 4194304 4196468 140722276599584 139690156223120 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14755] ppid=14748 vsize=13980732 CPUtime=0.56 cores=0,2,4,6
/proc/14750/task/14755/stat : 14755 (java) S 14748 14748 5228 0 -1 1077944384 1894 0 0 0 50 6 0 0 20 0 15 0 10097899 14316269568 64581 18446744073709551615 4194304 4196468 140722276599584 139690155170320 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14756] ppid=14748 vsize=13980732 CPUtime=0.24 cores=0,2,4,6
/proc/14750/task/14756/stat : 14756 (java) S 14748 14748 5228 0 -1 1077944384 1882 0 0 0 21 3 0 0 20 0 15 0 10097900 14316269568 64581 18446744073709551615 4194304 4196468 140722276599584 139690036390512 139690557831810 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14757] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14757/stat : 14757 (java) S 14748 14748 5228 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10097901 14316269568 64581 18446744073709551615 4194304 4196468 140722276599584 139690035336544 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14758] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14758/stat : 14758 (java) S 14748 14748 5228 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 10097901 14316269568 64581 18446744073709551615 4194304 4196468 140722276599584 139690034284160 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14759] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14759/stat : 14759 (java) S 14748 14748 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10097903 14316269568 64581 18446744073709551615 4194304 4196468 140722276599584 139690033232464 139690557839259 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14760] ppid=14748 vsize=13980732 CPUtime=2.87 cores=0,2,4,6
/proc/14750/task/14760/stat : 14760 (java) S 14748 14748 5228 0 -1 1077944384 16941 0 0 0 285 2 0 0 20 0 15 0 10097903 14316269568 64581 18446744073709551615 4194304 4196468 140722276599584 139690032179312 139690557831810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14761] ppid=14748 vsize=13980732 CPUtime=3.13 cores=0,2,4,6
/proc/14750/task/14761/stat : 14761 (java) S 14748 14748 5228 0 -1 1077944384 17752 0 0 0 311 2 0 0 20 0 15 0 10097904 14316269568 64581 18446744073709551615 4194304 4196468 140722276599584 139690031126512 139690557831810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14762] ppid=14748 vsize=13980732 CPUtime=0.78 cores=0,2,4,6
/proc/14750/task/14762/stat : 14762 (java) S 14748 14748 5228 0 -1 1077944384 10894 0 0 0 76 2 0 0 20 0 15 0 10097904 14316269568 64581 18446744073709551615 4194304 4196468 140722276599584 139690030074224 139690557831810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14763] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14763/stat : 14763 (java) S 14748 14748 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10097904 14316269568 64581 18446744073709551615 4194304 4196468 140722276599584 139690029021664 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14764] ppid=14748 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/14750/task/14764/stat : 14764 (java) S 14748 14748 5228 0 -1 1077944384 620 0 0 0 3 4 0 0 20 0 15 0 10097907 14316269568 64581 18446744073709551615 4194304 4196468 140722276599584 139690027969456 139690557831810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
Current children cumulated CPU time (s) 230.73
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.59 1.69 1.77 3/215 14850
/proc/meminfo: memFree=30915356/32770624 swapFree=0/191576
[pid=14748] ppid=14745 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14748/stat : 14748 (xcsp3-exec) S 14745 14748 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10097893 9740288 344 18446744073709551615 4194304 5098028 140736314354736 140736314352840 139844713128572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 39284736 140736314356123 140736314356327 140736314356327 140736314359787 0
/proc/14748/statm: 2378 344 289 221 0 87 0
[pid=14750] ppid=14748 vsize=13980732 CPUtime=248.69 cores=0,2,4,6
/proc/14750/stat : 14750 (java) S 14748 14748 5228 0 -1 1077944320 76018 0 0 0 24823 46 0 0 20 0 15 0 10097898 14316269568 64577 18446744073709551615 4194304 4196468 140722276599584 140722276582128 139690557820663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
/proc/14750/statm: 3495183 64577 3218 1 0 3483484 0
[pid=14750/tid=14751] ppid=14748 vsize=13980732 CPUtime=238.88 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (java) R 14748 14748 5228 0 -1 4202560 19419 0 0 0 23881 7 0 0 20 0 15 0 10097898 14316269568 64577 18446744073709551615 4194304 4196468 140722276599584 139690562059984 139690205084411 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14752] ppid=14748 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (java) S 14748 14748 5228 0 -1 1077944384 1400 0 0 0 57 7 0 0 20 0 15 0 10097899 14316269568 64577 18446744073709551615 4194304 4196468 140722276599584 139690158328208 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14753] ppid=14748 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (java) S 14748 14748 5228 0 -1 1077944384 2141 0 0 0 58 6 0 0 20 0 15 0 10097899 14316269568 64577 18446744073709551615 4194304 4196468 140722276599584 139690157275408 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14754] ppid=14748 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/14750/task/14754/stat : 14754 (java) S 14748 14748 5228 0 -1 1077944384 1460 0 0 0 58 6 0 0 20 0 15 0 10097899 14316269568 64577 18446744073709551615 4194304 4196468 140722276599584 139690156223120 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14755] ppid=14748 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/14750/task/14755/stat : 14755 (java) S 14748 14748 5228 0 -1 1077944384 1903 0 0 0 58 6 0 0 20 0 15 0 10097899 14316269568 64577 18446744073709551615 4194304 4196468 140722276599584 139690155170320 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14756] ppid=14748 vsize=13980732 CPUtime=0.26 cores=0,2,4,6
/proc/14750/task/14756/stat : 14756 (java) S 14748 14748 5228 0 -1 1077944384 1882 0 0 0 23 3 0 0 20 0 15 0 10097900 14316269568 64577 18446744073709551615 4194304 4196468 140722276599584 139690036390512 139690557831810 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14757] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14757/stat : 14757 (java) S 14748 14748 5228 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10097901 14316269568 64577 18446744073709551615 4194304 4196468 140722276599584 139690035336544 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14758] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14758/stat : 14758 (java) S 14748 14748 5228 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 10097901 14316269568 64577 18446744073709551615 4194304 4196468 140722276599584 139690034284160 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14759] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14759/stat : 14759 (java) S 14748 14748 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10097903 14316269568 64577 18446744073709551615 4194304 4196468 140722276599584 139690033232464 139690557839259 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14760] ppid=14748 vsize=13980732 CPUtime=2.9 cores=0,2,4,6
/proc/14750/task/14760/stat : 14760 (java) S 14748 14748 5228 0 -1 1077944384 17039 0 0 0 288 2 0 0 20 0 15 0 10097903 14316269568 64577 18446744073709551615 4194304 4196468 140722276599584 139690032179312 139690557831810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14761] ppid=14748 vsize=13980732 CPUtime=3.14 cores=0,2,4,6
/proc/14750/task/14761/stat : 14761 (java) S 14748 14748 5228 0 -1 1077944384 17831 0 0 0 312 2 0 0 20 0 15 0 10097904 14316269568 64577 18446744073709551615 4194304 4196468 140722276599584 139690031126512 139690557831810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14762] ppid=14748 vsize=13980732 CPUtime=0.78 cores=0,2,4,6
/proc/14750/task/14762/stat : 14762 (java) S 14748 14748 5228 0 -1 1077944384 10945 0 0 0 76 2 0 0 20 0 15 0 10097904 14316269568 64577 18446744073709551615 4194304 4196468 140722276599584 139690030074224 139690557831810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14763] ppid=14748 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14763/stat : 14763 (java) S 14748 14748 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10097904 14316269568 64577 18446744073709551615 4194304 4196468 140722276599584 139690029021664 139690557830869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
[pid=14750/tid=14764] ppid=14748 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/14750/task/14764/stat : 14764 (java) S 14748 14748 5228 0 -1 1077944384 621 0 0 0 4 5 0 0 20 0 15 0 10097907 14316269568 64577 18446744073709551615 4194304 4196468 140722276599584 139690027969456 139690557831810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722276602324 140722276602499 140722276602499 140722276605903 0
Current children cumulated CPU time (s) 248.69
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 14750 sig 9
??? kill 14748 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 14748 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1851
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=116
# CPU time returned by wait4() is 0.001967
# while last known CPU time is 248.69
#
# 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): 248.69
CPU user time (s): 248.23
CPU system time (s): 0.46
CPU usage (%): 103.616
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001851
system time used= 0.000116
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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 1.33505 second user time and 1.25797 second system time
The end